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 - Die Woche – »Das fühlt sich an wie eine Narkose«

Menschen im Winterschlaf? Was in dieser Zeit mit dem Körper passieren würde und wieso die Raumfahrt daran so interessiert ist, lesen Sie im aktuellen Titelthema der »Woche«. Außerdem: Zwischen den Zeilen einer Heiligenschrift aus dem Jahr 510 lässt sich das Alltagsleben am Donaulimes entdecken.

Spektrum der Wissenschaft – Das Geheimnis der Dunklen Energie

Seit ihrer Entdeckung ist der Ursprung der Dunklen Energie rätselhaft. Neue Teleskope und Theorien sollen Antworten geben. Außerdem: Mit DNA-Spuren aus Luft oder Wasser lässt sich die Verbreitung verschiedenster Arten störungsfrei erfassen. Lassen sich riesigen Süßwasservorkommen, die unter mancherorts unter dem Meeresboden liegen, als Reserven nutzen? RNA-Ringe sind deutlich stabiler als lineare RNA-Moleküle und punkten daher als Arzneimittel der nächsten Generation. Ein Mathematiker ergründete auf Vanuatu, wie die Sandzeichnungen der Bewohner mit mathematischen Graphen zusammenhängen.

Spektrum - Die Woche – Zwei junge Forscher stellen die Mathematik auf den Kopf

Treten Sie ein in den Bonner Hörsaal, in dem zwei junge Mathematiker im Juni 2022 damit begannen, durch ihren revolutionären Ansatz der verdichteten Mengen die Regeln des Fachs neu zu schreiben! Außerdem in dieser Ausgabe: ein mutiger Vermittlungsansatz im ewigen Streit der Bewusstseinstheorien.

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!

  • 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

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