Unvollständigkeit Und Unentscheidbarkeit - Stegmüller Wolfgang | Libro Springer 12/1973 - HOEPLI.it


home libri books ebook dvd e film 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
53,98 €
NICEPRICE
45,88 €
SCONTO
15%



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


Pagabile anche con App18 Bonus Cultura e Carta Docenti


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
Pagine Arabe: 116
Pagine Romane: viii






Utilizziamo i cookie di profilazione, anche di terze parti, per migliorare la navigazione, per fornire servizi e proporti pubblicità in linea con le tue preferenze. Se vuoi saperne di più o negare il consenso a tutti o ad alcuni cookie clicca qui. Chiudendo questo banner o proseguendo nella navigazione acconsenti all’uso dei cookie.

X