Lexikon

Lgikkalkü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.
Weltraum, Kollision, Welt
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 Lexikon Artikel

Weitere Artikel aus dem Wahrig Herkunftswörterbuch

Weitere Artikel aus dem Vornamenlexikon