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ödelschen Satz, wonach u. a. die Widerspruchsfreiheit eines Axiomensystems nicht mit den Ausdrucksmitteln des Systems selbst beweisbar ist.
scienceb.jpg
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...

Samuel Heiniger, Wendelin Stark
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...

Weitere Artikel aus dem Wahrig Herkunftswörterbuch