Unvollständigkeit und Unentscheidbarkeit: "Die Metamathematischen Resultate Von Gödel, Church, Kleene, Rosser Und Ihre Erkenntnistheoretische Bedeutung" - Taschenbuch
2013, ISBN: 9783211812082
Springer, Taschenbuch, Auflage: 3., verb. 128 Seiten, Publiziert: 2013-10-04T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 9783211812082, 0.18 kg, Verkaufsrang: 2732517, Lexika, Hand- &… Mehr…
amazon.de bookjinbocho Gut Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
Unvollständigkeit und Unentscheidbarkeit: "Die Metamathematischen Resultate Von Gödel, Church, Kleene, Rosser Und Ihre Erkenntnistheoretische Bedeutung" - Taschenbuch
2013, ISBN: 9783211812082
Springer, Taschenbuch, Auflage: 3., verb. 128 Seiten, Publiziert: 2013-10-04T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 9783211812082, 0.18 kg, Verkaufsrang: 2732517, Lexika, Hand- &… Mehr…
amazon.de |
Unvollständigkeit und Unentscheidbarkeit : Die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung - neues Buch
ISBN: 9783211812082
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Unvollständigkeit und Unentscheidbarkeit : Die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und… Mehr…
Biblio.co.uk |
Unvollständigkeit und Unentscheidbarkeit Die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung - neues Buch
1973, ISBN: 3211812083
3., verb. Aufl. Kartoniert / Broschiert Mathematik, Beweis; Entscheidbarkeit (Math.); Funktion; Gleichung; Lehrsatz, mit Schutzumschlag 11, [PU:Springer Vienna; Springer Wien]
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Unvollstandigkeit und Unentscheidbarkeit: Die metamathematischen Resultate von Godel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung - Taschenbuch
1973, ISBN: 9783211812082
Springer Vienna, 1973. Paperback ed. 116 pp. In a fine condition but a small name at first free endpaper. . ISBN 9783211812082., 0
Biblio.co.uk |
Unvollständigkeit und Unentscheidbarkeit: "Die Metamathematischen Resultate Von Gödel, Church, Kleene, Rosser Und Ihre Erkenntnistheoretische Bedeutung" - Taschenbuch
2013, ISBN: 9783211812082
Springer, Taschenbuch, Auflage: 3., verb. 128 Seiten, Publiziert: 2013-10-04T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 9783211812082, 0.18 kg, Verkaufsrang: 2732517, Lexika, Hand- &… Mehr…
Stegmüller, Wolfgang:
Unvollständigkeit und Unentscheidbarkeit: "Die Metamathematischen Resultate Von Gödel, Church, Kleene, Rosser Und Ihre Erkenntnistheoretische Bedeutung" - Taschenbuch2013, ISBN: 9783211812082
Springer, Taschenbuch, Auflage: 3., verb. 128 Seiten, Publiziert: 2013-10-04T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 9783211812082, 0.18 kg, Verkaufsrang: 2732517, Lexika, Hand- &… Mehr…
Unvollständigkeit und Unentscheidbarkeit : Die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung - neues Buch
ISBN: 9783211812082
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Unvollständigkeit und Unentscheidbarkeit : Die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und… Mehr…
Unvollständigkeit und Unentscheidbarkeit Die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung - neues Buch
1973, ISBN: 3211812083
3., verb. Aufl. Kartoniert / Broschiert Mathematik, Beweis; Entscheidbarkeit (Math.); Funktion; Gleichung; Lehrsatz, mit Schutzumschlag 11, [PU:Springer Vienna; Springer Wien]
Unvollstandigkeit und Unentscheidbarkeit: Die metamathematischen Resultate von Godel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung - Taschenbuch
1973, ISBN: 9783211812082
Springer Vienna, 1973. Paperback ed. 116 pp. In a fine condition but a small name at first free endpaper. . ISBN 9783211812082., 0
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Unvollständigkeit und Unentscheidbarkeit: "Die Metamathematischen Resultate Von Gödel, Church, Kleene, Rosser Und Ihre Erkenntnistheoretische Bedeutung"
EAN (ISBN-13): 9783211812082
ISBN (ISBN-10): 3211812083
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1973
Herausgeber: Springer
Buch in der Datenbank seit 2007-06-13T15:45:15+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-03-30T10:52:42+01:00 (Berlin)
ISBN/EAN: 3211812083
ISBN - alternative Schreibweisen:
3-211-81208-3, 978-3-211-81208-2
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: stegmüller wolfgang, stegmuller, stegmueller
Titel des Buches: unvollständigkeit und unentscheidbarkeit, unvollstaendigkeit und unentscheidbarkeit, resultate, gödel, die bedeutung von bedeutung, edition german, the, resultat
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: 1973-12-13
Vienna; AT
Gewicht: 0,200 kg
Sprache: Deutsch
59,99 € (DE)
61,68 € (AT)
66,50 CHF (CH)
POD
VIII, 116 S.
BC; Mathematics, general; Hardcover, Softcover / Mathematik; Mathematik; Verstehen; Beweis; Entscheidbarkeit (Math.); Funktion; Gleichung; Lehrsatz; Unvollständigkeit; Science, Humanities and Social Sciences, multidisciplinary; Mathematics; Humanities and Social Sciences; Interdisziplinäre Studien; BC; EA
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:
9783709135242 Unvollständigkeit und Unentscheidbarkeit (Wolfgang Stegmüller)
- 9783709135242 Unvollständigkeit und Unentscheidbarkeit (Wolfgang Stegmüller)
- 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)
- 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...