Freistetter Formelwelt: Ist die Existenz Gottes logisch?

Kennen Sie schon …

Spektrum - Die Woche – Wer löst das Navier-Stokes-Problem – Mensch oder KI?

Spektrum der Wissenschaft – SdW 8/2026 Das Ende der Unendlichkeit

Eine Gruppe von Mathematikern fordert, das Unendliche aus der Mathematik zu verbannen – eine Position, die viele Fachleute für unhaltbar halten. Unser Titelthema beleuchtet die radikalen Thesen der Ultrafinitisten und die Kritik daran. Außerdem: Eine neue Theorie verleiht der Raumzeit eine faszinierende, nichtperiodische Ordnung – ähnlich wie bei Quasikristallen. Ein weiterer Beitrag mahnt vor den Folgen, wenn künstlich erzeugtes, spiegelbildliches Leben auf natürliche Organismen trifft. Und wir fragen: Könnte die Wiederbelebung ausgestorbener Arten tatsächlich der Artenschutz der Zukunft sein?

Spektrum - Die Woche – Warum der Ball der Fußball-WM gar nicht so rund ist

Der »rundeste Ball aller Zeiten« für die Fußball-WM 2010 verhielt sich zum Leidwesen der Spieler, nicht so wie sie es gewohnt waren. Lesen Sie warum perfekte Kugeln nicht immer von Vorteil sind und welche Bedenken der aktuelle, von einem Tetraeder abgeleitete, WM-Ball »Trionda« aufwirft.

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