Freistetter Formelwelt: Ist die Existenz Gottes logisch?

Kennen Sie schon …

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.

Spektrum Kompakt – Mathe in der Popkultur

Die Simpsons sind bekannt dafür, Dinge vorherzusagen – wie die Masse des Higgs-Bosons. In vielen Filmen, Serien und Computerspielen steckt Mathematik, die begeistert oder im Fall von »Good Will Hunting« ärgert. Wie konnte ein Bug in »Doom« in der Zeit zurückreisen? Und sind Katzen eine Flüssigkeit?

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.

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