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
News der Woche 20.09.2024
Der Beitrag News der Woche 20.09.2024 erschien zuerst auf wissenschaft.de.
Wissenschaft
Ammoniak statt Wasserstoff?
Während für die Energiewende weiterhin große Hoffnungen auf Wasserstoff als Energieträger ruhen, rückt ein weiterer „Wundertreibstoff“ zunehmend in den Blick der Energiewirtschaft: Ammoniak. Diese chemische Verbindung aus einem Stickstoffatom und drei Wasserstoffatomen (kurz NH3), als Energieträger zu verwenden, ist keine ganz...