Direkt zum Inhalt

Freistetter Formelwelt: Ist die Existenz Gottes logisch?

Der Versuchung, den Gottesglauben mathematisch zu beweisen, konnten viele nicht widerstehen. Doch ihre Bemühungen sind zum Scheitern verurteilt.
Florian Freistetter

»Existenz Gottes mathematisch bewiesen«, verkündeten viele Schlagzeilen im Jahr 2014. Denn Christoph Benzmüller von der FU Berlin und Bruno Woltzenlogel Paleo damals an der TU Wien hatten eine 1941 erschienene Arbeit des berühmten Logikers Kurt Gödel mit neuen Computermethoden überprüft und ihre Gültigkeit bewiesen …

Kennen Sie schon …

Spektrum MINT – Rechnen mit Zukunft

Die neue Ausgabe »Spektrum MINT« mit diesen Themen: der Einfluss von Mathematik auf alle Lebensbereiche und die Industrie, E-Autos als Energiespeicher zur Unterstützung der Stromnetze, wie KI zukünftig unsere Arbeitswelt beeinflussen wird und die Renaturierung unserer Meere mit Weltraumtechnik.

Spektrum - Die Woche – Wenn KI der Mathematik den Takt vorgibt

Von Menschen erdachte Beweise und Argumente mit KI zu überprüfen, könnte Forschenden viel Zeit sparen. Jetzt wurde eine Lösung vorgestellt – die Fachwelt bleibt skeptisch. Außerdem: Neuseeländische Eulenpapageien, die Bibel der Psychiatrie und ein Alpensee offenbart Jahrtausende alte Geschichte.

Spektrum - Die Woche – »Wir können nur erahnen, was genau vor sich geht«

Statt von menschlichen Texten lernt KI inzwischen von KI generierten Daten. Warum das für Experten als eigentlicher Durchbruch gilt und was das für die neue KI-Ära bedeutet. Plus: Terminale Luzidität, CPT‑Symmetrie des Universums und das Comeback der Schreibschrift. Das und mehr in »Die Woche«.

  • Quellen

Benzmüller, C., Paleo, B. W.:Automating Gödel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers. Frontiers in Artificial Intelligence and Applications 263, 2014

Schreiben Sie uns!

Beitrag schreiben

Wir freuen uns über Ihre Beiträge zu unseren Artikeln und wünschen Ihnen viel Spaß beim Gedankenaustausch auf unseren Seiten! Bitte beachten Sie dabei unsere Kommentarrichtlinien.

Tragen Sie bitte nur Relevantes zum Thema des jeweiligen Artikels vor, und wahren Sie einen respektvollen Umgangston. Die Redaktion behält sich vor, Zuschriften nicht zu veröffentlichen und Ihre Kommentare redaktionell zu bearbeiten. Die Zuschriften können daher leider nicht immer sofort veröffentlicht werden. Bitte geben Sie einen Namen an und Ihren Zuschriften stets eine aussagekräftige Überschrift, damit bei Onlinediskussionen andere Teilnehmende sich leichter auf Ihre Beiträge beziehen können. Ausgewählte Zuschriften können ohne separate Rücksprache auch in unseren gedruckten und digitalen Magazinen veröffentlicht werden. Vielen Dank!

Bitte erlauben Sie Javascript, um die volle Funktionalität von Spektrum.de zu erhalten.