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
Die Runderneuerung des Reifens
Der Bedarf an Reifen ist enorm – ebenso die Zahl ausrangierter Exemplare, die auf Deponien lagern. Die meisten Reifen bestehen aus einem komplexen Komponenten-Mix, der kaum zu recyceln ist. Doch nun entwickeln Forscher alternative Rohstoffe und Verfahren, die den Problemen mit den Pneus ein Ende bereiten sollen. von HARTMUT NETZ...
Wissenschaft
Kontakt und Konflikte
Fremde Wesen oder Geräte im Sonnensystem hätten einen Kulturschock mit unabsehbaren Risiken zur Folge. von RÜDIGER VAAS Werden wir jemals eine Nachricht von E.T. erhalten? Wir wissen es nicht. Wir wissen auch nicht, wann dies geschehen wird“, sagt John Elliot. „Aber wir wissen, dass wir es uns nicht leisten können, schlecht...
Weitere Artikel auf wissenschaft.de
Kampf dem Krach im Meer
Die Quanten-Arena
Sternzeichen Rindsroulade
Moore fürs Klima
Fisch statt Kuh
Moderne Schatzsuche