Gödel, Kurt
Kurt Friedrich Gödel (*28. April 1906, Brünn, Österreich‑Ungarn – †14. Januar 1978, Princeton, New Jersey, USA) war ein österreichisch‑amerikanischer Mathematiker und Logiker. Er gilt als einer der bedeutendsten Denker der modernen Logik und prägte mit seinen Arbeiten die Grundlagen der theoretischen Informatik und der formalen Systeme.
Gödel wurde durch seine Unvollständigkeitssätze weltberühmt. Darin zeigte er, dass jedes hinreichend komplexe formale System Aussagen enthält, die innerhalb des Systems weder beweisbar noch widerlegbar sind. Diese Erkenntnis erschütterte die damalige Vorstellung, mathematische Systeme könnten vollständig und widerspruchsfrei sein.
Seine Arbeiten beeinflussten später die Entwicklung der Informatik und die Diskussion über künstliche Intelligenz.
Im TerranianStar‑Universum bilden Gödels Erkenntnisse einen der theoretischen Grundpfeiler der Asimovschen‑KI‑Axiomatik (ASKA), da sie die Grenzen rein regelbasierter Maschinenlogik sichtbar machen.
Gödel emigrierte 1940 in die Vereinigten Staaten und arbeitete bis zu seinem Tod am Institute for Advanced Study in Princeton, wo er eng mit Albert Einstein befreundet war.
Wikipedialink
Quelle
...
| »Erstellt durch Mitarbeiter der Sokradia.« |