Kurt Gödel
article-link
What links here
Raymond Smullyan
First-order logic
article-link
Computational complexity theory
article-link
Logic puzzle
article-link
Puzzle
article-link
Gödel's incompleteness theorems
article-link
Rudolf Carnap
article-link
Alonzo Church
article-link
Domenico Scarlatti
article-link
Humour
article-link
1919
article-link
Willard Van Orman Quine
article-link
Theodicy
article-link
Self-reference
article-link
Recreational mathematics
article-link
Martin Gardner
article-link