Andrzej Mostowski ( – ) est un mathématicien polonais. En 1938, il reçoit le doctorat en mathématiques de l'université de Varsovie.
Il est 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 originellement à 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 travaille également en théorie des modèles et en théorie de la calculabilité.
Bibliographie Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Godel, North-Holland, Amsterdam, 1952.
Liens externes
Biographie Mac Tutor, J J O'Connor and E F Robertson.
Catégorie:Mathématicien polonais du XXe siècle Catégorie:Logicien polonais Catégorie:Personnalité en théorie des ensembles Catégorie:Étudiant de l'université de Varsovie Catégorie:Naissance en novembre 1913 Catégorie:Naissance à Lemberg Catégorie:Naissance dans le royaume de Galicie et de Lodomérie Catégorie:Décès en août 1975 Catégorie:Décès à Vancouver Catégorie:Décès à 61 ans Catégorie:Universitaire polonais du XXe siècle