Valerij Ivanovic Glivenko

Der russische Mathematikewr und Logiker Valerij Ivanovic Glivenko (auch: Waleri Iwanowitsch Gliwenko, * 2. Januar 1897 (21. Dezember 1896) in Kiew, † 15. Februar 1940 in Moskau) studierte in Moskau und wurde 1928 Professor im Pädagogischen Institut Karl Liebknecht in Moskau.

Er arbeitete u. a. zu den Grundlagen der Mathematik und zur konstruktiven Logik. Er entwickelte gleichzeitig mit Kolmogorov und Heyting ein formales System der konstruktiven Logik und zeigt, dass es keine dreiwertige Logik gibt, die als Interpretation der konstruktiven Logik geeignet ist.

Außerhalb der Logik ist er vor allem durch den sog. Glivenko-Cantelli-Satz bekannt geworden.

Werke

• Sur la logique de M. Brouwer. Academie Royale de Belgique, Bulletins de la classe des sciences, 15 (1929) 5, 183 – 188
• Sulla determinazione empirica di probabilita. G. Inst. Ital. Attuari, 4, 1933
• Théorie générale des structures (1938) (franz.)

Weblinks

• math.ru (russs.)

Heinrich Köselitz (geb. 1854)

Heinrich Köselitz begegnet uns häufig unter seinem Pseudonym Peter Gast.

Im Thematikon zu Peter Gasts Die heimliche Ehe schreibt Carl Fuchs in einem biographischen Vorwort:

"Peter Gast ist (10. Januar) 1854 zu Annaberg in Sachsen geboren, jener alten Veste des Silberbergbaues auf dem Erzgebirge, nahe der böhmischen Grenze. Wie dort auf dem Gebirgskamm nord- und süddeutsches Wesen zusammenstoßen, so kommen auch in ihm selbst durch Abkunft beide Elemente zusammen: sein Vater (Industrieller und Vizebürgermeister) entstammt einer einheimischen Patrzierfamilie, seine Mutter ist eine Wienerin." [zit. nach Janz, C. P. 1979, I, 693 f.].

Sein Vater Hermann Gustav Köselitz war Färbereibesitzer, Stadtrat, Ehrenbürger in Annaberg.

Als 15jähriger schrieb H. Köselitz Walzerkompositionen.

Schriften Jean Pauls und der Einfluss eines im Elternhaus verkehrenden Theologen regten seine geistige Entwicklung an.

1871 begann er in Leipzig eine kaufmännische Lehre.

Im Frühjahr 1872 bekam er die väterliche Einwilligung zum Musikstudium im Konservatorium der Musik zu Leipzig.

1878 ist H. Köselitz nach Venedig gezogen.

Nietzsche hatte sich ohne Erfolg an Bülow und Hermann Levi (1839 – 1900) gewandt – Levi war ein Dirigent aus dem Wagnerkreis -, um sie zur Aufführung seiner Oper Löwen von Venedig zu gewinnen.

Die Uraufführung des Löwen von Venedig erfolgt 1891 in Danzig (heute: Gdansk) unter dem Titel Die heimliche Ehe.

Die Oper Der Löwe von Venedig von H. Köselitz hatte am 11.02.1933 auch in Chemnitz Premiere und erlebte dort 8 Aufführungen.

Die Oper war mit den besten Solisten besetzt, die Chemnitz damals zu bieten hatte. Der Stil der Oper erinnert etwas an Albert Lortzing (1801 – 1851), ist handwerklich sauber gearbeitet.

Das Thematikon von Carl Fuchs erschien 1890 bei Naumann in Leipzig.

Literatur

• Janz, Curt Paul: Nietzsche. Biographie in 3 Bdn., München/Wien: Hanser 1978 ff.
• Lenzewski, Gustav: Artikel: Gast, Peter. In: Die Musik in Geschichte und Gegenwart. Allgemeine Enzyklopädie der Musik. Hg.: Friedrich Blume. Kassel/Basel: Bärenreiter o. J., Bd. 4. Sp. 1435 – 1437

Eugeniusz Geblewicz (1904 – 1974)

Eugeniusz Geblewicz ist ein Vertreter der Lwow-Warschau-Schule.

Gemina II (3. Jh.)

Gemina II war die Tochter von Gemina I.

Porphyros erwähnt beide in seinem Buch Plotinus und stellt fest, dass sie sich durch eine große Hingabe zur Philosophie auszeichneten.

Die Behauptung, dass sie mit Plotin in einem Haus lebte, kann man mit der Porphyros-Stelle nicht belegen, da unklar ist, ob sie im Haus ihrer Mutter lebte.

Es kann davon ausgegangen werden, dass Gemina II eine Schülerin Plotins war.

Die Stelle bei Porphyrios lautet:

"Auch Frauen gehörten zu seinen ergebenen Anhängerinnen, Gemina, in deren Hause er wohnte, und deren der Mutter gleichnamige Tochter Gemina; ferner Amphikleia, die Gattin des Ariston, des Sohnes des Iamblichos; sie waren leidenschaftlich der Philosophie ergeben." (Porphyrios: Das Leben Plotins, 9).

Weblinks

• Philosophinnen

Gerhard Gentzen (1909 – 1945)

Der Mathematiker und Logiker Gerhard Gentzen beschäftigte sich vor allem mit Problemen des logischen Schließens. Er entwickelte das allein auf Schlussregeln basierende natürliche Schließen und das Sequenzschließen.

Von Gentzen stammt auch ein Beweis für die Widerspruchsfreiheit der formalisierten Arithmetik der natürlichen Zahlen.