Prädikatenlogik

Prä|di|ka|ten|lo|gik

〈f.; –; unz.; Philos.〉

Teilgebiet der mathematischen Logik, das sich mit der formalen Analyse von Aussagen befasst u. dabei die Aussageform als eine Funktion mit Konstanten u. Variablen betrachtet

Gesundheit

Schlaf, Raumklima, Ergonomie: Wie Komfort auf die Gesundheit wirkt

Schlafwissenschaftliche Perspektiven

Erholsamer Schlaf hängt eng mit der Balance verschiedener Schlafphasen zusammen. Besonders die Tiefschlafphase gilt als entscheidend für körperliche Regeneration und Gedächtnisprozesse. Studien zeigen, dass bereits kleine Unterschiede bei Matratzenhärte und Stützeigenschaften spürbare Effekte haben. Zu weiche Unterlagen lassen Muskeln und Wirbelsäule...

Wissenschaft

Wie die KI genügsamer wird

Künstliche neuronale Netze sind die Basis des aktuellen KI-Booms. Doch ihre Anwendung und ihr Training verschlingen Unmengen an elektrischer Energie. Forscher suchen deshalb nach Möglichkeiten, sie effizienter zu machen. von THOMAS BRANDSTETTER Schätzungen zufolge benötigt eine einfache Anfrage an den Chatbot „ChatGPT“ etwa 10-...

Illustration eines technischen Bauteils mit blauen und gelben Farbspritzern.

Wissenschaft

KI-Revolution in der Mathematik?

Seit Ende des vergangenen Jahres wurde in den Medien vermehrt darüber berichtet, dass Künstliche Intelligenz erstmals eigenständig mathematische Theoreme gelöst habe, die zuvor jahrzehntelang unbewiesen waren. Und auf den ersten Blick scheinen diese Leistungen einen beachtlichen Fortschritt im Bereich der KI-Forschung...

Natur & Umwelt

Nordsee: Spült das Meer die Inseln weg?

Sturmserien, wie "Ylenia", "Zeynep" und "Antonia", die Mitte Februar 2022 über Norddeutschland fegten, richten nicht nur auf dem Land und in den Wäldern erheblichen Schäden an. Auch die Strände an den Küsten und Inseln der Nordsee müssen nach solchen Stürmen herbe Verluste einstecken oder verschwinden sogar komplett. Die Insel Wangerooge verlor bei den Stürmen fast 90 Prozent ihres...