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 FreistetterLaden...

»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 …

07/2021

Spektrum - Die Woche – 07/2021

Warum brechen Kinder den Kontakt zu ihren Eltern ab? Und wie können diese damit umgehen? Darüber lesen Sie mehr in dieser Ausgabe. Außerdem: Hilberts 13. Problem und ein erfolgreicher falscher Entdecker.

06/2021

Spektrum - Die Woche – 06/2021

Rapsöl ist das beliebteste Öl der Deutschen. Nachvollziehbar – denn es ist günstig, massentauglich und gesund, wie Sie in dieser Ausgabe lesen können. Außerdem erfahren Sie mehr über einen Mathematiker aus Silizium sowie einen gefräßigen Weißen Zwerg.

2/2021

Spektrum der Wissenschaft – 2/2021

In dieser Ausgabe widmet sich Spektrum der Wissenschaft dem Thema Größe unendlicher Mengen. Außerdem im Heft: Marserkundung mit drei Raumsonden, fünf Klimamodelle, Soziale Landkarten im Gehirn.

Lesermeinung

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, Leserzuschriften nicht zu veröffentlichen und Ihre Kommentare redaktionell zu bearbeiten. Die Leserzuschriften 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 Teilnehmer sich leichter auf Ihre Beiträge beziehen können. Ausgewählte Lesermeinungen können ohne separate Rücksprache auch in unseren gedruckten und digitalen Magazinen veröffentlicht werden. Vielen Dank!

  • 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