Zum Hauptinhalt springen
Dekorationsartikel gehören nicht zum Leistungsumfang.
The Unknowable
Buch von Gregory J. Chaitin
Sprache: Englisch

157,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:
Beschreibung
This essential companion volume to Chaitin's highly successful "The Limits of Mathematics", also published by Springer, gives a brilliant historical survey of the work of this century on the foundations of mathematics, in which the author was a major participant. The Unknowable is a very readable and concrete introduction to Chaitin's ideas, and it includes a detailed explanation of the programming language used by Chaitin in both volumes. It will enable computer users to interact with the author's proofs and discover for themselves how they work. The software for The Unknowable can be downloaded from the author's Web site.
This essential companion volume to Chaitin's highly successful "The Limits of Mathematics", also published by Springer, gives a brilliant historical survey of the work of this century on the foundations of mathematics, in which the author was a major participant. The Unknowable is a very readable and concrete introduction to Chaitin's ideas, and it includes a detailed explanation of the programming language used by Chaitin in both volumes. It will enable computer users to interact with the author's proofs and discover for themselves how they work. The software for The Unknowable can be downloaded from the author's Web site.
Inhaltsverzeichnis
I. A Hundred Years of Controversy Regarding the Foundations of Mathematics.- II. LISP: A Formalism for Expressing Mathematical Algorithms.- III. Gödel's Proof of his Incompleteness Theorem.- IV. Turing's Proof of the Unsolvability of the Halting Problem.- V. My Proof that You Can Show that a LISP Expression is Elegant.- VI. Information & Randomness: A Survey of Algorithmic Information Theory.- VII. Mathematics in the Third Millennium?- Bibliography.
Details
Erscheinungsjahr: 1999
Genre: Importe, Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
Reihe: Discrete Mathematics and Theoretical Computer Science
Inhalt: ix
124 S.
ISBN-13: 9789814021722
ISBN-10: 9814021725
Sprache: Englisch
Ausstattung / Beilage: HC runder Rücken kaschiert
Einband: Gebunden
Autor: Chaitin, Gregory J.
Hersteller: Springer Singapore
Springer Nature Singapore
Discrete Mathematics and Theoretical Computer Science
Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße: 241 x 160 x 13 mm
Von/Mit: Gregory J. Chaitin
Erscheinungsdatum: 01.07.1999
Gewicht: 0,383 kg
Artikel-ID: 106673937
Inhaltsverzeichnis
I. A Hundred Years of Controversy Regarding the Foundations of Mathematics.- II. LISP: A Formalism for Expressing Mathematical Algorithms.- III. Gödel's Proof of his Incompleteness Theorem.- IV. Turing's Proof of the Unsolvability of the Halting Problem.- V. My Proof that You Can Show that a LISP Expression is Elegant.- VI. Information & Randomness: A Survey of Algorithmic Information Theory.- VII. Mathematics in the Third Millennium?- Bibliography.
Details
Erscheinungsjahr: 1999
Genre: Importe, Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
Reihe: Discrete Mathematics and Theoretical Computer Science
Inhalt: ix
124 S.
ISBN-13: 9789814021722
ISBN-10: 9814021725
Sprache: Englisch
Ausstattung / Beilage: HC runder Rücken kaschiert
Einband: Gebunden
Autor: Chaitin, Gregory J.
Hersteller: Springer Singapore
Springer Nature Singapore
Discrete Mathematics and Theoretical Computer Science
Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße: 241 x 160 x 13 mm
Von/Mit: Gregory J. Chaitin
Erscheinungsdatum: 01.07.1999
Gewicht: 0,383 kg
Artikel-ID: 106673937
Sicherheitshinweis

Ähnliche Produkte

Ähnliche Produkte