Zur Startseite gehen
0,00 €*
Cover: 9780981550725 | Computability | Richard L. Epstein (u. a.) | Buch | Englisch | 2008
Dekorationsartikel gehören nicht zum Leistungsumfang.
Computability
Computable Functions, Logic, and the Foundations of Mathematics
Buch von Richard L. Epstein (u. a.)
Sprache: Englisch

50,70 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:
Beschreibung
The classic presentation of the theory of computable functions in the context of the foundations of mathematics. Part I motivates the study of computability with discussions and readings about the crisis in the foundations of mathematics in the early 20th century, while presenting the basic ideas of whole number, function, proof, and real number. Part II starts with readings from Turing and Post leading to the formal theory of recursive functions. Part III presents sufficient formal logic to give a full development of Gödel's incompleteness theorems. Part IV considers the significance of the technical work with a discussion of Church's Thesis and readings on the foundations of mathematics. This new edition contains the timeline "Computability and Undecidability" as well as the essay "On mathematics".
The classic presentation of the theory of computable functions in the context of the foundations of mathematics. Part I motivates the study of computability with discussions and readings about the crisis in the foundations of mathematics in the early 20th century, while presenting the basic ideas of whole number, function, proof, and real number. Part II starts with readings from Turing and Post leading to the formal theory of recursive functions. Part III presents sufficient formal logic to give a full development of Gödel's incompleteness theorems. Part IV considers the significance of the technical work with a discussion of Church's Thesis and readings on the foundations of mathematics. This new edition contains the timeline "Computability and Undecidability" as well as the essay "On mathematics".
Details
Empfohlen (bis): 18
Empfohlen (von): 18
Erscheinungsjahr: 2008
Fachbereich: Grundlagen
Genre: Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
ISBN-13: 9780981550725
ISBN-10: 098155072X
Sprache: Englisch
Ausstattung / Beilage: HC gerader Rücken kaschiert
Einband: Gebunden
Autor: Epstein, Richard L.
Carnielli, Walter A
Hersteller: Advanced Reasoning Forum
Maße: 240 x 161 x 25 mm
Von/Mit: Richard L. Epstein (u. a.)
Erscheinungsdatum: 01.06.2008
Gewicht: 0,742 kg
Artikel-ID: 101788853
Details
Empfohlen (bis): 18
Empfohlen (von): 18
Erscheinungsjahr: 2008
Fachbereich: Grundlagen
Genre: Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
ISBN-13: 9780981550725
ISBN-10: 098155072X
Sprache: Englisch
Ausstattung / Beilage: HC gerader Rücken kaschiert
Einband: Gebunden
Autor: Epstein, Richard L.
Carnielli, Walter A
Hersteller: Advanced Reasoning Forum
Maße: 240 x 161 x 25 mm
Von/Mit: Richard L. Epstein (u. a.)
Erscheinungsdatum: 01.06.2008
Gewicht: 0,742 kg
Artikel-ID: 101788853
Warnhinweis

Ähnliche Produkte

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...