Pages that link to "Item:Q5119164"
From MaRDI portal
The following pages link to Can Mathematics Be Proved Consistent? (Q5119164):
Displaying 4 items.
- Von Neumann explains his game theory to Gödel, September 1940 (Q2663660) (← links)
- KURT GÖDEL ON LOGICAL, THEOLOGICAL, AND PHYSICAL ANTINOMIES (Q5019782) (← links)
- GÖDEL ON MANY-VALUED LOGIC (Q6074936) (← links)
- John von Neumann’s Discovery of the 2<sup>nd</sup>Incompleteness Theorem (Q6650610) (← links)
