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