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.

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

Download (kostenlos)

Kennen Sie schon …

Spektrum der Wissenschaft – Vielfältige Quanten

Wir tauchen ein in die Welt der Quanten, die uns noch immer zahlreiche Rätsel aufgibt. Forscher entwickeln ständig neue Modelle und hinterfragen Grundlegendes, wie beispielsweise das Konzept der Zeit. Gleichzeitig macht die Entwicklung neuer Quantencomputer große Fortschritte und könnte unsere Verschlüsselungssysteme bedrohen. Experten arbeiten an neuen Methoden, um unsere Daten zu schützen. Erfahren Sie, wie diese Herausforderungen gemeistert werden und ob Kryptografen den Wettlauf gegen die Zeit gewinnen können.

Spektrum - Die Woche – Süßes Gift?

Entdecken Sie die Vorteile und Risiken einer zuckerfreien Ernährung in unserem Artikel »Süßes Gift«. Plus: Erfahren Sie in unserer Kolumne, warum im amerikanischen Wahlsystem nicht immer die Partei mit den meisten Stimmen gewinnt. Jetzt mehr erfahren!

Spektrum - Die Woche – Neue Reben für den Weinbau

Von Klimawandel und Krankheiten bedroht, muss der Weinbau an die neuen Bedingungen angepasst werden. Die Genschere soll den Wein der Zukunft retten. Außerdem beobachtet »Die Woche«, wie Künstlerinnen und Künstler die Welt wahrnehmen und wie sich soziale Unsicherheiten durch Social Media verstärken.

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

Beitrag darf veröffentlicht werden

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!

Artikel zum Thema