Kazimierz Kuratowski

Il obtient son doctorat en 1921 à l'université de Varsovie sous la direction de Stefan Mazurkiewicz et Zygmunt Janiszewski[1]. Il devient professeur à l'université nationale polytechnique de Lviv en 1927, puis à l'université de Varsovie en 1934.

Kuratowski était membre d'un groupe de mathématiciens qui se réunissaient au Café écossais. Il fut un temps directeur de la Société polonaise de mathématiques.

Les recherches de Kuratowski portaient principalement sur la topologie abstraite et les structures d'espace métrique. Avec Alfred Tarski et Wacław Sierpiński, il a développé la théorie des espaces polonais (nommés ainsi en hommage au groupe de mathématiciens polonais à l'origine de cette théorie).

Ses autres contributions aux mathématiques comptent notamment :

• une caractérisation des graphes planaires souvent appelée théorème de Kuratowski ;
• une preuve du lemme de Kuratowski-Zorn ;
• une axiomatisation des espaces topologiques connue désormais sous le nom d'axiomes de fermeture de Kuratowski ;
• l'algorithme de Tarski-Kuratowski (en), pour les formules de la hiérarchie arithmétique en théorie de la complexité (informatique théorique) ;
• la définition axiomatique d'un couple (x, y) comme étant l'ensemble {{x}, {x, y}}.