Kurt, Why Did You Bring a Snake into Arithmetic?
Sorting statements into true and false buckets works until a snake says "I cannot be proven true." Kurt Gödel insists the snake was already in arithmetic: his incompleteness theorem.
Transcript
[1] [Buckets: TRUE (7×9 = 63, umbrellas look silly, baby pigs are cute), FALSE (dogs can smell time, dancing caused WWII, lettuce is a vehicle)] "We'll put everything in these two buckets!" "Uh… what about this?" [A snake:] "I CANNOT BE PROVEN TRUE"
[2] "KURT WHY DID YOU BRING A SNAKE INTO ARITHMETIC" "I didn't! It was already in here, I swear!" Snake: "HOW DID YOU MISSSSSSS ME? I'M SO CONSPICUOUSSSS…"
Use this cartoon
Free for classrooms, worksheets, slides and other non-commercial use under CC BY-NC 4.0, with credit to Ben Orlin.
Cartoon by Ben Orlin, Math with Bad Drawings. https://cartoons.mathwithbaddrawings.com/2022-04-05-kurt-why-did-you-bring-a-snake-into-arithmetic/ (CC BY-NC 4.0)