Deducibility and Decidability
Seiten
2014
Routledge (Verlag)
978-0-415-75496-5 (ISBN)
Routledge (Verlag)
978-0-415-75496-5 (ISBN)
The works of Gödel, Tarski, Kleene and Church are fundamental to our understanding of the foundations of mathematics. In Deducibility and Decidability, their results and significance are presented in a new, unified manner.
R R Rockingham Gill (Author)
Chapter I: The Natural Numbers and their Conventional Ordering II: Addition, Multiplication and Exponentiation III: The Theory of ∑-Forms IV: Effectiveness V: Recursively Defined Predicates VI: The ‘Arithmetization of Syntax’ VII: Diagonalization VIII: Gödel’s Theorems, and their Relatives IX: The Limits of Representability X: The Arithmetical Hierarchy, Envoi
| Erscheint lt. Verlag | 24.4.2014 |
|---|---|
| Verlagsort | London |
| Sprache | englisch |
| Maße | 138 x 216 mm |
| Gewicht | 204 g |
| Themenwelt | Geisteswissenschaften ► Philosophie ► Logik |
| Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika | |
| ISBN-10 | 0-415-75496-8 / 0415754968 |
| ISBN-13 | 978-0-415-75496-5 / 9780415754965 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
ein Gegenentwurf zum kurzfristigen Denken : so werden wir zu den …
Buch | Hardcover (2023)
REDLINE (Verlag)
18,00 €
