Тёмный

SWR Geniale Mathematiker (2/3) Kurt Gödel und die Grenzen der Erkenntnis 

Kalenderblatt
Подписаться 9 тыс.
Просмотров 35 тыс.
50% 1

Von Aeneas Rooch
1931 fand der junge, unbekannte Logiker Kurt Gödel etwas Bahnbrechendes heraus, das die Logik und die Mathematik für immer verändern sollte: Es gibt nicht nur "wahr" und "falsch", sondern in jedem sinnvollen logischen System existieren Aussagen, die man innerhalb dieses Systems weder beweisen noch widerlegen kann. Auf der Landkarte der Mathematik werden deshalb immer weiße Flecken bleiben. Kurt Gödel hat die Grenzen der Erkenntnis ausgelotet, unser Verständnis von Wahrheit im Fundament erschüttert, er hat die Grundlagen für die moderne Informatik geschaffen und die Mathematik in ihre größte Krise gestürzt. Er gilt als der bedeutendste Logiker des 20. Jahrhunderts, und so extrem wie seine Forschung war er auch als Person.
Kurt Gödel widerlegte somit auch den Ansatz des berühmten Mathematikers David Hilbert. Der hatte in seiner berühmten Radioansprache 1930 die These vertreten, dass alles, was wahr ist, auch beweisbar ist: "Wir müssen wissen, wir werden wissen!"
1930: David Hilberts Radioansprache
David Hilbert ist einer der wichtigsten Mathematiker der Neuzeit. Seine Bedeutung liegt weniger in einzelnen Entdeckungen oder Beweisen, sondern in seinem Grundverständnis, in der Programmatik, die er der Mathematik verpasste.
Gegen das "Ignorabimus"
Hilbert, der Mathematik in Göttingen lehrte, wollte sein Fach streng systematisieren. Er verlangte, dass selbst scheinbare mathematische Banalitäten nicht einfach hingenommen werden und sich beweisen lassen müssen, aus einfachen Axiomen, also Grundannahmen.
Und er wollte klare Kriterien, was als Beweis anzuerkennen ist und was nicht. Vor allem aber war er überzeugt, dass sich alle mathematischen Probleme so lösen lassen. Platt gesagt, alle Wahrheiten, jedenfalls alle mathematischen, lassen sich auch irgendwie beweisen.
Gödels Unvollständigkeitssatz zeigte Irrtum Hilberts
Diese Auffassung brachte er auch am 8. September 1930 in einer berühmten Radioansprache zum Ausdruck. Auch wenn sich später heraus stellten sollte, dass Hilbert daneben lag, ist dies der historisch wohl bedeutendste Radiovortrag eines deutschsprachigen Mathematikers überhaupt. Hilbert war zu diesem Zeitpunkt 68 Jahre alt.
Ein Jahr nach diesem Vortrag, im Dezember 1931, veröffentlichte Hilberts österreichischer Kollege Kurt Gödel einen Aufsatz, der zeigte, dass Hilbert sich geirrt hatte. Gödel zeigte in seinem berühmten Unvollständigkeitssatz, dass es kein vollständiges mathematisches Wissen gibt. Dass es Wahrheiten gibt, die sich schlicht nicht beweisen lassen. Damit muss sich die Mathematik bis heute abfinden.

Опубликовано:

 

26 сен 2024

Поделиться:

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист
Посмотреть позже
Комментарии : 18   
@kresobetaorionis3400
@kresobetaorionis3400 2 года назад
Schade, dass das nur ein Podcast ist.
@focushing
@focushing 11 месяцев назад
Wenn sich doch die Hintergrundsmusik nur unterdrücken liesse!
@krakraichbinda
@krakraichbinda Месяц назад
Ich kenne eine Aussage, die sich innerhalb des Systems weder beweisen noch widerlegen lässt. Sie ist aber wahr.
@lknr6847
@lknr6847 Месяц назад
Dann hast du den Zusammenhang zwischen Beweis und Wahrheit nicht verstanden. Wenn Du behauptest, sie ist wahr, musst Du auch einen Beweis dafür angeben, um das mit Sicherheit sagen zu können.
@udomatthiasdrums5322
@udomatthiasdrums5322 4 года назад
love it!!
@-Bodybuilding-
@-Bodybuilding- 2 года назад
👍
@alestbest
@alestbest 3 года назад
32:00 was soll das? Hilbert hat sich nicht "geirrt", er hat doch erklärt, dass er das philosophisch meint, da der Geist im Sinne von "das kann man schaffen" mehr erstrebt wie der "ja nu, man kann nicht immer gewinnen" Mensch. Oder: als Sportler willst du als Trainer Hilbert, keinen Gödel.
@henrymeyer7588
@henrymeyer7588 Год назад
Hilbert, ein Logiker, so wie auch Russell wurden von Gödel offen widerlegt. Russell zum Beispiel 1934 glaub ich
@auurbjarnadottir6138
@auurbjarnadottir6138 5 лет назад
27:25 Axiome, per definitionem also verbindliche Grundannahmen, sind ja genau genommen nichts weiter als Dogmen und somit letztlich religiösen Glaubensursprungs. Denn welche logisch-kausalen Rückbindungen sind denn dem entsprechenden Axiom letztlich implizit?
@globaldigitaldirectsubsidi4493
Man kann aber so nichts wissen.
@b.biermann6841
@b.biermann6841 5 лет назад
Was ist Geist. Wir sagen Zeitgeist und glauben nicht daran. So what. Wen wundert der Rest, auf dem wir heute noch sitzen?
@TheDummbob
@TheDummbob 5 лет назад
Ich glaube die mathematiker haben inzwischen verstanden dass man sich die xiome selber auswählen miss und dass man wahre aussagen nur in relation zu diesen ableiten kann. Axiome werden nicht so dogmatischbehandelt wie verschiedene religiöse grundsätze. Es gibt verschieden axiomensysteme, welche dann jeweils für sich erforscht werden können. Zb in der geometrie, ein system welches das parallelen axiom enthält (euklids geometrie) und systeme welche die geometrie ohne dieses axiom erforschen. Es wird nicht auif der absoluten richtigkeit eines systems gepocht
@diegrossenundkleinenrattileins
@diegrossenundkleinenrattileins 4 года назад
Absolut wird es dann wenn Definitionen in allen bezugssystemen gültig sind. Das ist möglich aber nicht mit allem es gibt sowohl relative als auch absolute Wahrheiten. Sagt ja auch schon die Relativitätstheorie. In meinem Buch die meisten sind schlecht steht das genauer. Triplove.de
@auurbjarnadottir6138
@auurbjarnadottir6138 4 года назад
@@TheDummbob Dein Beispiel mit den beiden Geometrien hat mir sehr gefallen und war mir eindringlich. Danke.
Далее
So hilft uns indigenes Wissen | Gert Scobel
26:41
Просмотров 65 тыс.
Limits of Logic: The Gödel Legacy
58:16
Просмотров 204 тыс.
Die Formel Albert Einsteins
54:23
Просмотров 208 тыс.