Recursion Theory for Metamathematics
| Autor: | SMULLYAN RAYMOND M |
|---|---|
| EAN: | 9780195344813 |
| eBook Format: | |
| Sprache: | Englisch |
| Produktart: | eBook |
| Veröffentlichungsdatum: | 15.07.1993 |
| Kategorie: |
123,19 €*
Versandkostenfrei
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
In 1931, Princeton mathematician Kurt G",odel startled the scientific world with his Theorem of Undecidability, which showed that some statements in mathematics are inherently `undecidable'. This volume of the Oxford Logic Guides is a sequel to Smullyan's G",odel's Incompleteness Theorems (Oxford Logic Guides No. 19, 1992), but it can be read independently by anyone familiar with at least one proof of G",odel's incompleteness theorem for Peano Arithmetic. This volume was written for mathematicians, philosphers, and computer scientists who are curious about G",odel's incompleteness theorems. The only prerequisite would be a first course in mathematical logic.
Weitere Produkte vom selben Autor