Loading AI tools
mathématicien polonais De Wikipédia, l'encyclopédie libre
Andrzej Mostowski ( – ) est un mathématicien polonais. En 1938, il reçoit le doctorat en mathématiques de l'université de Varsovie.
Naissance | |
---|---|
Décès | |
Nom de naissance |
Andrzej Stanisław Mostowski |
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é.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.