Andrzej Mostowski

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Andrzej Mostowski

Andrzej Mostowski (1er novembre 1913 – 22 août 1975) était un mathematicien polonais. En 1938, il reçoit le doctorat en mathématiques de l'université de Varsovie.

Il fut principalement spécialisé en logique mathématique. En théorie des ensembles il a entre autres travaillé sur la cohérence relative de la négation de l'axiome du choix, perfectionnant et généralisant une méthode due orginellement à Abraham Fraenkel et connue aujourd'hui sous le nom de méthode de permutation de Fraenkel-Mostowski. Bien que cette méthode utilise de façon essentielle une théorie des ensembles avec atomes, elle a pu, combinée avec le forcing de Paul Cohen, être transposée à la théorie des ensembles ZFC.

Mostowski a travaillé également en théorie des modèles et en théorie de la calculabilité.

Bibliographie[modifier | modifier le code]

  • Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Godel, North-Holland, Amsterdam, 1952. (ISBN 978-0313231513)