Lexikon
Lọgikkalkül
[
das; griechisch + lateinisch
]eine Formalisierung (Kalkülisierung) der Logik durch Zeichensymbole und Operationsregeln, um mit diesen nach dem Vorbild der Arithmetik zu „rechnen“ (Formalismus, Kalkül). Im Einzelnen unterscheidet man den Aussagenkalkül, den Prädikaten- und den Klassenkalkül.
Wissenschaft
Clevere Technik für eine nachhaltige Zukunft
Der Epochenwandel droht die Welt zu überfordern: Kraftwerke, Gebäude und Verkehr müssen auf erneuerbare Energien umgestellt werden, die Industrie auf Ressourcenschonung, die Landwirtschaft auf Nachhaltigkeit. Hilfe kommt von Maschinen mit Künstlicher Intelligenz. von ULRICH EBERL Vor 265 Jahren beschrieb der Naturforscher Carl...
Wissenschaft
Künstliche Pause für menschliche Embryos
Viele Tierarten können die Entwicklung ihrer Embryos verzögern, damit der Nachwuchs zur gewünschten Zeit geboren wird. Eine Studie zeigt nun, dass diese Fähigkeit auch bei uns Menschen grundlegend vorhanden ist und aktiviert werden kann. An einem Blastozystenmodell aus menschlichen Stammzellen gelang es dem Forschungsteam, die...
