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
Kosmische Kollision
Die Zukunft der Milchstraße ist turbulent: Erst kommt es zum Crash mit der Andromeda-Galaxie, dann fusionieren beide Sterneninseln. von RÜDIGER VAAS Seit dem Urknall vor 13,8 Milliarden Jahren dehnt sich der Weltraum aus, und die Galaxienhaufen entfernen sich voneinander. Doch im kleineren kosmischen Maßstab, in der Größenordnung...
Wissenschaft
Eine für alle
Ameisen und Menschen leben in großen Gemeinschaften. Doch während wir unser Glück in verschiedenen Lebensformen suchen, folgen alle Ameisen dieser Welt einem altruistischen Verhalten als Leitmotiv. Das Kollektiv steht über allem. von PHOEBE KOPPENDORFER Sie riechen den Alarm. Wie ein Lauffeuer verbreitet sich das olfaktorische...
Weitere Artikel auf wissenschaft.de
Wasserstoff wie Erdgas fördern
Besser als ihr Ruf
Eine für alle
Energielieferant Meer
Das Leben vermessen
Pflanzen als Biofilter