Misplaced Pages

The following pages link to Jean van Heijenoort

• (link count
• transclusion count
• sorted list) · See help page for transcluding these entries

Showing 50 items.

• Algorithm (links | edit)
• Axiom of choice (links | edit)
• Naive set theory (links | edit)
• David Hilbert (links | edit)
• Giuseppe Peano (links | edit)
• John von Neumann (links | edit)
• Kurt Gödel (links | edit)
• Law of excluded middle (links | edit)
• Leon Trotsky (links | edit)
• Intuitionism (links | edit)
• Mathematical logic (links | edit)
• Primitive notion (links | edit)
• Principia Mathematica (links | edit)
• Primitive recursive function (links | edit)
• Peano axioms (links | edit)
• Polish notation (links | edit)
• Haskell Curry (links | edit)
• Russell's paradox (links | edit)
• Gottlob Frege (links | edit)
• Axiom of pairing (links | edit)
• Axiom of union (links | edit)
• Gödel's incompleteness theorems (links | edit)
• History of logic (links | edit)
• Wilhelm Ackermann (links | edit)
• Norbert Wiener (links | edit)
• Fourth International (links | edit)
• Consistency (links | edit)
• Andrey Kolmogorov (links | edit)
• List of historians (links | edit)
• Combinatory logic (links | edit)
• Zermelo–Fraenkel set theory (links | edit)
• Hilbert's second problem (links | edit)
• Jacques Herbrand (links | edit)
• Intuitionistic logic (links | edit)
• L. E. J. Brouwer (links | edit)
• Ernst Zermelo (links | edit)
• Zermelo set theory (links | edit)
• Solomon Feferman (links | edit)
• Emil Leon Post (links | edit)
• Thoralf Skolem (links | edit)
• Abraham Fraenkel (links | edit)
• Jock Haston (links | edit)
• Leopold Löwenheim (links | edit)
• Moses Schönfinkel (links | edit)
• Wolfgang Paalen (links | edit)
• Begriffsschrift (links | edit)
• SKI combinator calculus (links | edit)
• Law of thought (links | edit)
• Skolem's paradox (links | edit)
• On Formally Undecidable Propositions of Principia Mathematica and Related Systems (links | edit)