Ebooks de Raymond M. Smullyan en PDF et EPUB

2 Livre(s)
Télécharger le livre : Recursion Theory for Metamathematics
Ajouter à ma liste d'envies
Recursion Theory for Metamathematics
Raymond M. Smullyan
This work is a sequel to the author's Gödel's Incompleteness Theorems, though it can be read independently by anyone familiar with Gödel's incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to...

Editeur : Oxford University Press
Parution : 1993-01-28

PDF

136,07 €
Télécharger le livre : Godel's Incompleteness Theorems
Ajouter à ma liste d'envies
Godel's Incompleteness Theorems
Raymond M. Smullyan
Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently "undecidable." His work on the completeness of logic, the incompleteness of...

Editeur : Oxford University Press
Parution : 1992-08-20

PDF, ePub

249,06 €