Blick ins Buch

Kurt Gödel (eBook)

The Princeton Lectures on Intuitionism

Maria Hämeen-Anttila, Jan Von Plato (Herausgeber)

eBook Download: PDF

2021 | 1st ed. 2021
IX, 133 Seiten
Springer International Publishing (Verlag)
978-3-030-87296-0 (ISBN)

Lese- und Medienproben

Ebook-Leseprobe (PDF)

Paris of the year 1900 left two landmarks: the Tour Eiffel, and David Hilbert's celebrated list of twenty-four mathematical problems presented at a conference opening the new century. Kurt Gödel, a logical icon of that time, showed Hilbert's ideal of complete axiomatization of mathematics to be unattainable. The result, of 1931, is called Gödel's incompleteness theorem. Gödel then went on to attack Hilbert's first and second Paris problems, namely Cantor's continuum problem about the type of infinity of the real numbers, and the freedom from contradiction of the theory of real numbers. By 1963, it became clear that Hilbert's first question could not be answered by any known means, half of the credit of this seeming faux pas going to Gödel. The second is a problem still wide open. Gödel worked on it for years, with no definitive results; The best he could offer was a start with the arithmetic of the entire numbers.

This book, Gödel's lectures at the famous Princeton Institute for Advanced Study in 1941, shows how far he had come with Hilbert's second problem, namely to a theory of computable functionals of finite type and a proof of the consistency of ordinary arithmetic. It offers indispensable reading for logicians, mathematicians, and computer scientists interested in foundational questions. It will form a basis for further investigations into Gödel's vast Nachlass of unpublished notes on how to extend the results of his lectures to the theory of real numbers. The book also gives insights into the conceptual and formal work that is needed for the solution of profound scientific questions, by one of the central figures of 20th century science and philosophy.

Erscheint lt. Verlag	15.12.2021
Reihe/Serie	Sources and Studies in the History of Mathematics and Physical Sciences
Reihe/Serie	Sources and Studies in the History of Mathematics and Physical Sciences
Zusatzinfo	IX, 133 p.
Sprache	englisch
Themenwelt	Geisteswissenschaften ► Philosophie ► Geschichte der Philosophie
	Geisteswissenschaften ► Philosophie ► Logik
	Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika
Schlagworte	Arbeitshefte • axiomatic intuitionistic logic • constructive reasoning • Dialectica paper • Heyting arithmetic • properties of partial recursive functions
ISBN-10	3-030-87296-3 / 3030872963
ISBN-13	978-3-030-87296-0 / 9783030872960

Haben Sie eine Frage zum Produkt?

PDF (Wasserzeichen)
Größe: 1,1 MB

DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasserzeichen und ist damit für Sie personalisiert. Bei einer missbräuchlichen Weitergabe des eBooks an Dritte ist eine Rückverfolgung an die Quelle möglich.

Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.

Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader oder Adobe Digital Editions.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür einen PDF-Viewer - z.B. die kostenlose Adobe Digital Editions-App.

Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.

Print-Ausgabe

Buch | Hardcover

117,69 €