Andrzej Mostowski

mathématicien polonais

Andrzej Mostowski () était un mathématicien polonais. En 1938, il reçoit le doctorat en mathématiques de l'université de Varsovie.

Andrzej Mostowski
Image dans Infobox.
Biographie
Naissance
Décès
Voir et modifier les données sur Wikidata (à 61 ans)
VancouverVoir et modifier les données sur Wikidata
Nationalité
Formation
Activités
Autres informations
A travaillé pour
Domaine
Directeurs de thèse

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 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 a travaillé également en théorie des modèles et en théorie de la calculabilité.

BibliographieModifier

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

Liens externesModifier