In diesem Jahr feiern wir den 90. Jahrestag von Kurt Gödels bahnbrechender Arbeit, die 1931 die moderne theoretische Informatik und die Theorie der Künstlichen Intelligenz (KI) begründete. Gödel sandte seinerzeit Schockwellen durch die akademische Gemeinschaft, als er die fundamentalen Grenzen des Rechnens, der KI, der Logik und der Mathematik selbst aufzeigte. Dies hatte enorme Auswirkungen auf Wissenschaft und Philosophie des 20. Jahrhunderts.
Gödel konstruierte berühmte, selbstbezügliche, unentscheidbare formale Aussagen, die implizieren, dass ihr Wahrheitsgehalt nicht durch eine Rechnung ermittelbar ist.
Gödel wurde oft als größter Logiker seit Aristoteles bezeichnet. Am Ende des letzten Jahrtausends bezeichnete das Time Magazine ihn als einflussreichsten Mathematiker des 20. Jahrhunderts, obwohl manche Mathematiker meinen, seine wichtigstes Ergebnis drehe sich vor allem um Logik und Berechenbarkeit und weniger um Mathematik. Andere nennen es die grundlegende Einsicht der theoretischen Informatik, einer Disziplin, die damals noch nicht offiziell existierte – aber durch Gödels Bemühungen ins Leben gerufen wurde.
https://www.faz.net/aktuell/wirtschaft/digitec/...newtab-global-de-DE
|