Lexikon
Typentheorie
[griechisch]
Stufenlogikeine Theorie, die geschaffen wurde, um die Antinomien der Mengenlehre auszuschließen. Die Typentheorie geht nach B. Russell und A. M. Whitehead von der syntaktischen Regel aus, dass in Aussagen sich immer nur Prädikate des gleichen Typs vertreten können. So ist z. B. in den Sätzen „Das Kleid ist blau“ und „Blau ist eine Farbe“ das Individuum „Kleid“ vom Typus 0, das Prädikat „blau“ vom Typus 1 und das Prädikat „Farbe“ vom Typus 2. Der Satz „Das Kleid ist eine Farbe“ wäre unsinnig, da „blau“ und „Farbe“ nicht vom gleichen Typus sind. In der Mengenlehre haben Mengen 1. Stufe Elemente, die nicht selbst Mengen sind; Mengen 2. Stufe haben als Elemente Mengen 1. Stufe usw.
Wissenschaft
Tomatensaft nur im Flugzeug
Warum Tomatensaft über den Wolken viel besser schmeckt als auf dem Boden, erklärt Dr. med. Jürgen Brater. Wenn eine Boeing 737 mit rund 70 Tonnen Startgewicht zu einem Flug abhebt, tragen neben dem Flieger selbst, den Menschen an Bord mit ihrem Gepäck sowie dem Treibstoff auch rund 50 Kilogramm Tomatensaft zum Gesamtgewicht bei....
Wissenschaft
Die Musik der Sphären
Harmonice mundi“ – Fünf Bücher über die Harmonik der Welt hat Johannes Kepler im frühen 17. Jahrhundert verfasst und dabei vor allem geometrische Formen im Auge gehabt. Der Astronom gewann darüber hinaus die Überzeugung, dass die Planeten bei ihrer Umkreisung der Sonne Töne erzeugen, deren Klang er nach dem Vorbild des Pythagoras...
