Godel

Kurt Gödel and the Foundations of Mathematics: Horizons of Truth  eBooks & eLearning

Posted by arundhati at May 25, 2014
Kurt Gödel and the Foundations of Mathematics: Horizons of Truth

Matthias Baaz, Christos H. Papadimitriou, "Kurt Gödel and the Foundations of Mathematics: Horizons of Truth"
2011 | ISBN-10: 0521761441, 1107677998 | 540 pages | PDF | 3 MB

Godel's Proof  eBooks & eLearning

Posted by insetes at Jan. 28, 2021
Godel's Proof

Godel's Proof By Ernest Nagel, James R. Newman, Douglas R. Hofstadter
2001 | 82 Pages | ISBN: 0814758169 | DJVU | 3 MB

Kurt Godel and the Foundations of Mathematics: Horizons Of Truth  eBooks & eLearning

Posted by l3ivo at Nov. 21, 2020
Kurt Godel and the Foundations of Mathematics: Horizons Of Truth

Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper Jr, "Kurt Godel and the Foundations of Mathematics: Horizons Of Truth"
English | 2014 | ISBN: 1107677998, 0521761441 | 540 pages | True PDF | 3.8 MB
Douglas Hofstadter, "Gödel, Escher, Bach : Les Brins d'une guirlande éternelle"

Douglas Hofstadter, "Gödel, Escher, Bach : Les Brins d'une guirlande éternelle"
1985 | ISBN: 272960040X | Français | PDF | 884 pages | 22.4 MB

Quel rapport y a-t-il entre la musique de Jean-Sébastien Bach, les dessins du graveur néerlandais Maurits Escher, et le célèbre théorème du logicien autrichien Kurt Gödel ? Du premier, on connaît des pièces lisibles indifféremment dans les deux sens, ou répétant le même motif sous des formes toujours nouvelles ; Escher, lui, nous a laissé des images paradoxales de fontaines s'alimentant elles-mêmes, de bandes de Möbius infinies ou de mains s'autodessinant. De Gödel enfin, vient cet étrange théorème posant une limite à la capacité des mathématiques à démontrer leurs propres théorèmes. …

The Godel Operation  eBooks & eLearning

Posted by l3ivo at March 18, 2022
The Godel Operation

James L. Cambias, "The Godel Operation"
English | 2021 | ISBN: 1982191880, 198212556X | 288 pages | EPUB | 2.4 MB
Die Gödel'schen Unvollständigkeitssätze: Eine geführte Reise durch Kurt Gödels historischen Beweis (repost)

Die Gödel'schen Unvollständigkeitssätze: Eine geführte Reise durch Kurt Gödels historischen Beweis by Dirk W. Hoffmann
German | 2013 | ISBN-10: 3827429994 | 368 pages | PDF | 11,2 MB

Im Jahr 1931 erschien im Monatsheft für Mathematik und Physik ein Artikel mit dem geheimnisvoll klingenden Titel Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. In dieser Arbeit hat Kurt Gödel zwei Unvollständigkeitssätze bewiesen, die unseren Blick auf die Mathematik von Grund auf verändert haben.

An Introduction to Gödel's Theorems  eBooks & eLearning

Posted by ChrisRedfield at Aug. 26, 2014
An Introduction to Gödel's Theorems

Peter Smith - An Introduction to Gödel's Theorems
Published: 2007-08-06 | ISBN: 0521857848, 0521674530 | PDF | 376 pages | 5 MB

Thinking about Gödel and Turing: Essays on Complexity, 1970-2007  eBooks & eLearning

Posted by ChrisRedfield at Nov. 2, 2014
Thinking about Gödel and Turing: Essays on Complexity, 1970-2007

Gregory J. Chaitin - Thinking about Gödel and Turing: Essays on Complexity, 1970-2007
Published: 2007-08-06 | ISBN: 9812708952, 9812708960 | PDF | 368 pages | 3 MB

Godel's Proof by James R. Newman  eBooks & eLearning

Posted by Free butterfly at Feb. 17, 2015
Godel's Proof by James R. Newman

Godel's Proof by James R. Newman
English | Oct 1, 2001 | ISBN: 0814758169 | 125 Pages | PDF | 8 MB

In 1931 Kurt Gödel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic.

Godel's Incompleteness Theorems  eBooks & eLearning

Posted by step778 at April 17, 2015
Godel's Incompleteness Theorems

Raymond M. Smullyan, "Godel's Incompleteness Theorems"
1992 | pages: 151 | ISBN: 0195046722 | DJVU | 4,8 mb