Andrzej Mostowski
mathématicien polonais / De Wikipedia, l'encyclopédie encyclopedia
Andrzej Mostowski ( – ) est un mathématicien polonais. En 1938, il reçoit le doctorat en mathématiques de l'université de Varsovie.
Cet article est une ébauche concernant un mathématicien.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Naissance | |
---|---|
Décès | |
Nom de naissance | |
Nationalité | |
Formation |
Lycée Étienne-Báthory de Varsovie (en) (- Université de Varsovie (- |
Activités | |
Enfant |
Tadeusz Mostowski (d) |
Parentèle |
Marcin Mostowski (d) (neveu) |
A travaillé pour | |
---|---|
Membre de | |
Directeurs de thèse | |
Distinctions |
Polish State Award (d) () Jurzykowski Prize (en) () Chevalier de l'ordre Polonia Restituta |
Lemme de contraction de Mostowski, Mostowski model (d), Ehrenfeucht–Mostowski theorem (d) |
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é.