Lexikon
Gödel
Kurt, österreichischer Mathematiker und Logiker, * 28. 4. 1906 Brünn, † 14. 1. 1978 Princeton, Calif.; lehrte seit 1940 am Institute for Advanced Study in Princeton (USA); wichtige Arbeiten zur mathematischen Grundlagenforschung und Logik, darunter den Gödel’schen Satz, wonach u. a. die Widerspruchsfreiheit eines Axiomensystems nicht mit den Ausdrucksmitteln des Systems selbst beweisbar ist.
Wissenschaft
Der Weltuntergang kommt aus dem Schlauch
Wenn der Weltuntergang kommt, dann kommt er aus dem Schlauch. Aber nicht, weil irgendein geheimes Virenlabor großflächig die Erreger der nächsten Pandemie versprüht. Oder weil jemand den Gartenschlauch nicht zudreht und alles buchstäblich untergeht. Sondern weil ein Asteroid auf der Erde einschlägt. Doch wer treibt diese...
Wissenschaft
Sichere Depots für Wasserstoff
Wasserstoff, der etwa mit Solarstrom produziert wurde, über längere Zeit aufzubewahren, ist eine Herausforderung. Möglichkeiten dazu bieten Hohlräume in unterirdischen Salzstöcken – oder Eisenerz. von CHRISTIAN BERNHART(Eisenspeicher) und RALF BUTSCHER Am 9. Mai 2025 war es soweit: Auf einem Gelände bei Etzel, einem Teilort der...