Bewertung:
Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 2 Stimmen.
Computability: Computable Functions, Logic, and the Foundations of Mathematics
Jetzt in einer neuen Auflage - die klassische Darstellung der Theorie der berechenbaren Funktionen im Kontext der Grundlagen der Mathematik. Teil I motiviert das Studium der Berechenbarkeit mit Diskussionen und Lektüre über die Krise in den Grundlagen der Mathematik im frühen 20.
Jahrhundert, während die grundlegenden Ideen von ganzen Zahlen, Funktionen, Beweisen und reellen Zahlen vorgestellt werden. Teil II beginnt mit der Lektüre von Turing und Post, die zur formalen Theorie der rekursiven Funktionen führt. Teil III stellt eine ausreichende formale Logik vor, um eine vollständige Entwicklung der Godelschen Unvollständigkeitssätze zu geben.
In Teil IV wird die Bedeutung der technischen Arbeit mit einer Diskussion der Church'schen Thesen und Lektüre über die Grundlagen der Mathematik erörtert. Diese Neuauflage enthält die Zeitleiste "Berechenbarkeit und Unentscheidbarkeit" sowie den Aufsatz "Über Mathematik".
| ISBN: | 9780981550725 |
| Autor: | |
| Verlag: | |
| Einband: | Hardcover |
Derzeit verfügbar, auf Lager.
