home libri books Fumetti ebook dvd top ten sconti 0 Carrello


Torna Indietro

stegmüller wolfgang - unvollständigkeit und unentscheidbarkeit

Unvollständigkeit und Unentscheidbarkeit Die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung




Disponibilità: Normalmente disponibile in 15 giorni


PREZZO
60,98 €
NICEPRICE
57,93 €
SCONTO
5%



Questo prodotto usufruisce delle SPEDIZIONI GRATIS
selezionando l'opzione Corriere Veloce in fase di ordine.


Pagabile anche con Carta della cultura giovani e del merito, 18App Bonus Cultura e Carta del Docente


Facebook Twitter Aggiungi commento


Spese Gratis

Dettagli

Genere:Libro
Lingua: Tedesco
Editore:

Springer

Pubblicazione: 12/1973
Edizione: 3., verb. Aufl.





Sommario

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.










Altre Informazioni

ISBN:

9783211812082

Condizione: Nuovo
Dimensioni: 229 x 152 mm Ø 200 gr
Formato: Brossura
Illustration Notes:VIII, 116 S.
Pagine Arabe: 116
Pagine Romane: viii


Dicono di noi