Unvollständigkeit und Unentscheidbarkeit - neues Buch
ISBN: 9783709183526
*Unvollständigkeit und Unentscheidbarkeit* - Die metamathematischen Resultate von Gödel Church Kleene Rosser und ihre erkenntnistheoretische Bedeutung. 3. Aufl. 1973 / pdf eBook für 42.99… Mehr…
Hugendubel.de Versandkosten:In stock (Download), , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., Sofort Lieferbar, zzgl. Versandkosten. (EUR 3.95) Details... |
Unvollständigkeit und Unentscheidbarkeit - neues Buch
ISBN: 9783709183526
Unvollständigkeit und Unentscheidbarkeit - Die metamathematischen Resultate von Gödel Church Kleene Rosser und ihre erkenntnistheoretische Bedeutung. 3. Aufl. 1973: ab 42.99 € eBooks > Fa… Mehr…
eBook.de Versandkosten:in stock, , , DE. (EUR 0.00) Details... |
Unvollständigkeit und Unentscheidbarkeit - neues Buch
ISBN: 9783709183526
Unvollständigkeit und Unentscheidbarkeit - Die metamathematischen Resultate von Gödel Church Kleene Rosser und ihre erkenntnistheoretische Bedeutung. 3. Aufl. 1973: ab 33.49 € eBooks > Fa… Mehr…
eBook.de Versandkosten:in stock, , , zzgl. Versandkosten. Details... |
ISBN: 9783709183526
*Unvollständigkeit und Unentscheidbarkeit* - Die metamathematischen Resultate von Gödel Church Kleene Rosser und ihre erkenntnistheoretische Bedeutung. 3. Aufl. 1973 / pdf eBook für 46.99… Mehr…
Hugendubel.de Versandkosten:In stock (Download), , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
ISBN: 9783709183526
Unvollständigkeit und Unentscheidbarkeit - Die metamathematischen Resultate von Gödel Church Kleene Rosser und ihre erkenntnistheoretische Bedeutung. 3. Aufl. 1973: ab 46.99 € eBooks > Fa… Mehr…
eBook.de Versandkosten:in stock, , , DE. (EUR 0.00) Details... |
Unvollständigkeit und Unentscheidbarkeit - neues Buch
ISBN: 9783709183526
*Unvollständigkeit und Unentscheidbarkeit* - Die metamathematischen Resultate von Gödel Church Kleene Rosser und ihre erkenntnistheoretische Bedeutung. 3. Aufl. 1973 / pdf eBook für 42.99… Mehr…
Wolfgang Stegmüller:
Unvollständigkeit und Unentscheidbarkeit - neues BuchISBN: 9783709183526
Unvollständigkeit und Unentscheidbarkeit - Die metamathematischen Resultate von Gödel Church Kleene Rosser und ihre erkenntnistheoretische Bedeutung. 3. Aufl. 1973: ab 42.99 € eBooks > Fa… Mehr…
Unvollständigkeit und Unentscheidbarkeit - neues Buch
ISBN: 9783709183526
Unvollständigkeit und Unentscheidbarkeit - Die metamathematischen Resultate von Gödel Church Kleene Rosser und ihre erkenntnistheoretische Bedeutung. 3. Aufl. 1973: ab 33.49 € eBooks > Fa… Mehr…
ISBN: 9783709183526
*Unvollständigkeit und Unentscheidbarkeit* - Die metamathematischen Resultate von Gödel Church Kleene Rosser und ihre erkenntnistheoretische Bedeutung. 3. Aufl. 1973 / pdf eBook für 46.99… Mehr…
ISBN: 9783709183526
Unvollständigkeit und Unentscheidbarkeit - Die metamathematischen Resultate von Gödel Church Kleene Rosser und ihre erkenntnistheoretische Bedeutung. 3. Aufl. 1973: ab 46.99 € eBooks > Fa… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Unvollständigkeit und Unentscheidbarkeit
EAN (ISBN-13): 9783709183526
Erscheinungsjahr: 2013
Herausgeber: Springer-Verlag KG
Buch in der Datenbank seit 2017-01-16T15:15:04+01:00 (Berlin)
Detailseite zuletzt geändert am 2024-05-04T04:22:49+02:00 (Berlin)
ISBN/EAN: 9783709183526
ISBN - alternative Schreibweisen:
978-3-7091-8352-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: stegmüller wolfgang, wolfgang stegmuller
Titel des Buches: unvollständigkeit und unentscheidbarkeit
Daten vom Verlag:
Autor/in: Wolfgang Stegmüller
Titel: Unvollständigkeit und Unentscheidbarkeit - Die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung
Verlag: Springer; Springer Wien
116 Seiten
Erscheinungsjahr: 2013-03-08
Vienna; AT
Sprache: Deutsch
46,99 € (DE)
46,99 € (AT)
53,00 CHF (CH)
Available
VIII, 116 S.
EA; E107; eBook; Nonbooks, PBS / Mathematik; Mathematik; Verstehen; Beweis; Entscheidbarkeit (Math.); Funktion; Gleichung; Lehrsatz; Unvollständigkeit; B; Mathematics, general; Science, Humanities and Social Sciences, multidisciplinary; Mathematics; Humanities and Social Sciences; Mathematics and Statistics; Interdisziplinäre Studien; BC
A. Intuitiver Zugang zum Gödelschen Unvollständigkeitstheorem: Die Antinomie von Richard.- B. Die Gödelschen Theoreme.- 1. Das formale System ZL.- 2. Die Theoreme von Gödel.- 3. Primitiv rekursive Funktionen und Prädikate.- 4. Die Arithmetisierung der Metatheorie.- C. Die Unentscheidbarkeit der Quantifikationstheorie (Theorem von Church).- Vorbemerkungen.- 5. Allgemein-rekursive Funktionen.- 6. Der Gleichungskalkül von Kleene.- 7. Die schematische Funktionentheorie von Quine.- 8. Das Theorem von Church (nach Quine).- D. Die Verallgemeinerungen von Kleene.- 9. Das Kleenesche T-Prädikat.- 10. Das Aufzählungstheorem und seine Konsequenzen.- 11. Das Normalformentheorem.- 12. Algorithmische Theorien und das Theorem von Church in der Fassung von Kleene.- 13. Rekursive Aufzählbarkeit, Beweisverfahren und das verallgemeinerte Gödelsche Theorem.- 14. Die symmetrische Form des verallgemeinerten Gödelschen Theorems und die Unentscheidbarkeit der elementaren Zahlentheorie.- 15. Zusammenfassung.- E. Anhang.- 16. Die Gödelsche ?-Funktion.- 17. Primitiv rekursive und arithmetische Prädikate und der zahlentheoretische Formalismus.- 18. Einige Definitionen metamathematischer Prädikate.- Namen- und Sachverzeichnis.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783211809594 Unvollständigkeit und Unentscheidbarkeit: Die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung (Stegmüller, Wolfgang)
- 9783211809594 Unvollständigkeit und Unentscheidbarkeit: Die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung (Stegmüller, Wolfgang)
- 9780387812083 Unvollständigkeit und Unentscheidbarkeit. Die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung (Stegmüller, Wolfgang)
- 9783211812082 Unvollst�ndigkeit und Unentscheidbarkeit: Die metamathematischen Resultate von G�del, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeu (Stegmüller, Wolfgang)
- Unvollständigkeit und Unentscheidbarkeit (Stegmüller, Wolfgang)
- Unvollständigkeit und Unentscheidbarkeit. Die metamathematischen Resultate von Gödel, Church, Kleene, Rosser u. ihre erkenntnistheoretische Bedeutung. (Wolfgang Stegmüller)
< zum Archiv...