Gdel Hats

Description: anyone who says God can't be proven. The mathematician Kurt Gödel disagrees. Here is ontological proof for the existence of God.

Description: A dark background displays a table with two columns: 'Label' and 'Expression'. The expressions are mathematical logic notations, including quantifiers, implications, and symbols. Below the table, in large white font, is the statement "ie: God exists."

Description: "No consistent formal system rich enough for arithmetic can prove all truths. A solid structure of axioms with an empty slot at the top and a statement hovering above it makes one of the great results of logic tangible. Gödel's incompleteness theorem (1931): a pyramid of axioms with one gold block, G, floating out of reach. True but unprovable, with the self-referential formula G ↔ ¬Prov(⌜G⌝). For mathematicians, logicians, computer scientists, physics and philosophy students, and lovers of self-reference and paradox. A brilliant gift for anyone fascinated by the limits of proof.