Andrzej Mostowski
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.
Andrzej Mostowski
Andrzej Mostowski (1er novembre 1913 – 22 août 1975) était un mathematicien polonais.
En 1938, il reçoit le doctorat en mathématiques de l'université de Varsovie.
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 orginellement à 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é.
Bibliographie |
Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Godel, North-Holland, Amsterdam, 1952. (ISBN 978-0313231513)
Liens externes |
Notices d'autorité : Fichier d’autorité international virtuel • International Standard Name Identifier • Bibliothèque nationale de France (données) • Système universitaire de documentation • Bibliothèque du Congrès • Gemeinsame Normdatei • Bibliothèque royale des Pays-Bas • Bibliothèque universitaire de Pologne • Bibliothèque nationale tchèque • WorldCat
Biographie Mac Tutor, J J O'Connor and E F Robertson.
Portail de la logique 
Portail des mathématiques
