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

Naissance | |
---|---|
Décès |
(à 61 ans) Vancouver |
Nom de naissance |
Andrzej Stanisław Mostowski |
Nationalité | |
Formation |
Stefan Batory Gymnasium and Lyceum (en) (- Université de Varsovie (- |
Activités | |
Enfant |
Tadeusz Mostowski (d) |
Parentèle |
Marcin Mostowski (d) (neveu) |
A travaillé pour | |
---|---|
Membre de | |
Dir. de thèse | |
Distinctions |
Lemme de contraction de Mostowski, Mostowski model (d), Ehrenfeucht–Mostowski theorem (d) |
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é.
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
- CiNii
- 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 nationale de Pologne
- Bibliothèque nationale d’Israël
- Bibliothèque universitaire de Pologne
- Réseau des bibliothèques de Suisse occidentale
- Base de bibliothèque norvégienne
- 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