Aller au contenu

Andrzej Mostowski

Un article de Wikipédia, l'encyclopédie libre.
Andrzej Mostowski
Biographie
Naissance
Décès
Voir et modifier les données sur Wikidata (à 61 ans)
VancouverVoir et modifier les données sur Wikidata
Nom de naissance
Andrzej Stanisław MostowskiVoir et modifier les données sur Wikidata
Nationalité
Formation
Lycée Étienne-Báthory de Varsovie (en) (-)
Université de Varsovie (-)Voir et modifier les données sur Wikidata
Activités
Enfant
Tadeusz Mostowski (d)Voir et modifier les données sur Wikidata
Parentèle
Marcin Mostowski (d) (neveu)Voir et modifier les données sur Wikidata
Autres informations
A travaillé pour
Membre de
Directeurs de thèse
Distinctions
Polish State Award (d) ()
Jurzykowski Prize (en) ()
Chevalier de l'ordre Polonia RestitutaVoir et modifier les données sur Wikidata
Œuvres principales
Lemme de contraction de Mostowski, Mostowski model (d), Ehrenfeucht–Mostowski theorem (d)Voir et modifier les données sur Wikidata

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

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

Liens externes

[modifier | modifier le code]