|
Kurt Gödel and the foundations of mathematics
|
Matthias Baaz |
"This volume commemorates the life, work, and foundational views of Kurt Gödel (1906-1978), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number t… |
OL16121300W |
|
|
Tutti pazzi per Gödel!
|
Francesco Berto |
Nel 1930 un ragazzo ventitreenne di nome Kurt Gödel dimostrò un teorema destinato a cambiare per sempre la nostra comprensione della matematica e, forse, di noi stessi: il Teorema di Incompletezza de… |
OL19908228W |
|
The Gödelian puzzle book
|
Raymond M. Smullyan |
These recreational logic puzzles provide entertaining variations on Godel's incompleteness theorems, offering ingenious challenges related to infinity, truth and provability, undecidability, and othe… |
OL21178370W |
|
Gödel's proof
|
James Roy Newman,Ernest Nagel |
In 1931 Kurt Godel published his fundamental paper, "On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems." This revolutionary paper challenged certain basic assumption… |
OL5567662W |