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
Was ist Zeit?
Manche Fragen kann man problemlos formulieren. Und auf den ersten Blick sehen sie auch so aus, als könne man sie einfach beantworten. Aber wenn man ein bisschen genauer darüber nachdenkt, stellen sie sich schnell als extrem harte Nüsse heraus. „Was sollen wir denn heute essen?“ ist eine davon, wie alle bestätigen können, die...
Wissenschaft
Die bewegte Erde
Das Innere unseres Planeten beeinflusst unser Leben: Es lässt Vulkane ausbrechen, sorgt für Erdbeben und erzeugt das schützende Magnetfeld. Wie lässt sich herausfinden, was Hunderte Kilometer unter uns geschieht? von KLAUS JACOB Im Januar 1912 veröffentlichte Alfred Wegener seine Theorie der Kontinentalverschiebung. Der...
