# Posts Tagged Gödel’s Incompleteness Theorem

### Four of Spades: What Jane Knew

Jane knew she wasn’t supposed to feed chocolate to the lizard. That’s why she did it. She knew Mrs. Beagle always gave a chocolate to whoever got the best score in the maths quiz. That’s why she studied. She knew Mrs. Beagle always left straight after school on Wednesdays. That’s why she chose that day to sneak back into the classroom where the class lizard was kept.

What Jane did not know was what would happen to the lizard when it ate the chocolate.

Jane also did not know that Mrs. Beagle had left her keys behind. That’s why she jumped and dropped the lizard when Mrs. Beagle opened the classroom door. Jane did not know where the lizard went when she dropped it. That’s why she was surprised when it bit her on the ankle a few minutes later, while she was writing out ‘I will not feed chocolate to the lizard’ 100 times on the blackboard. Jane did not know that the chocolate lizard bite would make whatever she wrote come true. That’s why she kept writing. She did not know why she was writing it, since she had never fed chocolate to the lizard, and she wouldn’t, even though she wanted to. That’s why she stopped writing. Jane did not know what to do next. That’s why she started writing a story on the blackboard:

Once upon a time, there was a girl named Jane who knew everything and didn’t need to go to school.

And Jane knew everything. That’s why she wrote that some cake would appear. Jane knew that everything she wrote would come true, and stay true until the bite from the chocolate-fed lizard healed an hour later. That’s why she was worried. She knew that she would have to feed more chocolate to the lizard and let it bite her again when that happened. That’s one of the reasons she wrote that a lot of chocolate appeared. But she knew that she could not feed chocolate to the lizard after writing that she wouldn’t. That’s why she lived out her wildest dreams until the spell wore out just before Mrs. Beagle returned.

Mrs. Beagle still knew what Jane had done. That’s why she came to make sure she’d completed her punishment, even though she’d rather have gone to her mathematics society meeting. Mrs. Beagle did not know what the chocolate-fed-lizard bite had done. That’s why she was surprised by the faint smell of ponies and chocolate cake that disappeared just quickly enough to make her wonder whether she’d ever smelt it. Mrs. Beagle did not know that Jane wanted to feed the lizard again. That’s why she dismissed the girl and left.

Jane knew that Mrs. Beagle would write a disciplinary report detailing everything she’d done. That’s why she put the lizard in Mrs. Beagle’s bag, with her chocolates.

*

Mrs. Beagle knew that something was up when she saw what happened as she wrote about Jane feeding chocolate to the lizard. That’s why she wrote that Gödel’s Incompleteness Theorem could be disproven.