Math with Bad DrawingsCartoon Archive

Undecidable Ice Cream

November 16, 2017

A customer at an ice cream counter blames Gödel's undecidable statements for being unable to choose a flavor, holding up the line.

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/2017-11-16-undecidable-ice-cream/ (CC BY-NC 4.0)
Transcript

A: "Gödel identified statements he called 'undecidable.' Untrue and unfalse, they are beyond the reach of the axiomatic system. A philosopher could wrestle with them for eternity and reach no settled answer."

Server (at an ice cream counter): "That's very interesting, but which ice cream flavor do you want?"

A (holding up a long line): "CURSE YOU, GÖDEL"

Topics
Logic & Proof › IncompletenessLogic & Proof › UndecidabilityLogic & Proof › Foundations of MathMath Culture › History of MathMathematicians & Scientists › Kurt Gödel
Level
College
Themes
FoodMathematicians
People
Kurt Gödel