Bestand wählen
Merken

Bernays, Gödel and Hilbert's consistency program

Zitierlink des Filmsegments
Embed Code

Für dieses Video liegen keine automatischen Analyseergebnisse vor.

Analyseergebnisse werden nur für Videos aus Technik, Architektur, Chemie, Informatik, Mathematik und Physik erstellt, bei denen dies rechtlich zulässig ist.

Metadaten

Formale Metadaten

Titel Bernays, Gödel and Hilbert's consistency program
Serientitel Paul Bernays Lectures 2012
Anzahl der Teile 4
Autor Feferman, Solomon
Lizenz CC-Namensnennung - keine kommerzielle Nutzung - keine Bearbeitung 2.5 Schweiz:
Sie dürfen das Werk bzw. den Inhalt in unveränderter Form zu jedem legalen und nicht-kommerziellen Zweck nutzen, vervielfältigen, verbreiten und öffentlich zugänglich machen, sofern Sie den Namen des Autors/Rechteinhabers in der von ihm festgelegten Weise nennen.
DOI 10.5446/36706
Herausgeber Eidgenössische Technische Hochschule (ETH) Zürich
Erscheinungsjahr 2012
Sprache Englisch

Inhaltliche Metadaten

Fachgebiet Mathematik
Abstract Paul Bernays was brought from Zurich to Göttingen in 1917 by David Hilbert - the leading mathematician of the time - to assist him in developing his consistency program for the foundations of mathematics. The major exposition of that work appeared in the 1930s in the two volume opus by Hilbert and Bernays, Grundlagen der Mathematik, whose preparation was due entirely to Bernays. In the meantime, Kurt Gödel, a precocious doctorate in Vienna, had discovered his remarkable incompleteness theorems which threatened to undermine Hilbert’s program. Though Hilbert refused to accept that, Bernays undertook to absorb the significance of those theorems through correspondence with Gödel. This led to a lifelong deep personal and intellectual relationship between the two of them whose high points will be traced in the lecture.

Ähnliche Filme

Loading...
Feedback