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
Sind Quantentechnologien gefährlich?
Physik kann gefährlich sein. Das hat die Welt beispielsweise mit der Entwicklung der Atombombe auf die harte Tour gelernt. Schon lange gibt es deshalb internationale Regelungen und Abkommen, um die Nutzung von Kernwaffen einzuschränken. Seit Kurzem sorgt man sich in der Verteidigungspolitik aber auch um die Gefahren eines anderen...
Wissenschaft
Rettung für kostbare Wracks
Viele historisch bedeutsame Schiffswracks aus Holz liegen noch auf Grund, weil Bergung und Konservierung bislang zu riskant und zu teuer waren. Nun haben Forscher eine Lösung gefunden – auf der Basis von Nanotechnik. von Rolf Heßbrügge Majestätisch überragt der haushohe und über 60 Meter lange Rumpf der „Vasa“ alle anderen...
