Lexikon
Tạrski
Alfred, polnischer Logiker, * 14. 1. 1901 Warschau, † 26. 10. 1983 Oakland, Calif.; 1942–1968 Professor in Berkeley (USA); Begründer der philosophischen Semantik. Hauptwerke: „Der Wahrheitsbegriff in den formalisierten Sprachen“ 1936; „Einführung in die mathematische Logik“ 1937.
Wissenschaft
Das mach ich doch im Schlaf
Eine geruhsame Nacht dient nicht nur der Erholung, sondern hilft auch beim Lernen – vorausgesetzt, man hat bereits tagsüber damit angefangen. Warum das so ist, erklärt Dr. med. Jürgen Brater. Es gibt eine ganze Reihe von Computerprogrammen, die versprechen, dass es mit ihrer Hilfe möglich sei, während des Schlafes zu lernen, das...
Wissenschaft
Lebenszeichen von der Venus?
Eine rätselhafte Entdeckung in der Atmosphäre unseres höllischen Nachbarplaneten. von RÜDIGER VAAS Die Idee, die der britische Atmosphärenforscher und Ökologe James Lovelock bereits in den 1960er-Jahren formuliert hat, klingt einfach: Wenn ein Molekül in einer Atmosphäre hauptsächlich von Organismen gebildet wird und die Beiträge...