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
Biographie
Naissance
Voir et modifier les données sur Wikidata
Lviv (Autriche-Hongrie)Voir et modifier les données sur Wikidata
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é
polonaiseVoir et modifier les données sur Wikidata
Formation
Lycée Étienne-Báthory de Varsovie (en) (-)
Université de Varsovie (-)Voir et modifier les données sur Wikidata
Activités
Mathématicien, philosophe, professeur d'universitéVoir et modifier les données sur Wikidata
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
Alfred Tarski, Kazimierz KuratowskiVoir et modifier les données sur Wikidata
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

modifier - modifier le code - modifier WikidataDocumentation du modèle

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

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

Liens externes

  • Ressources relatives à la rechercheVoir et modifier les données sur Wikidata :
    • Digital Bibliography & Library Project
    • Mathematics Genealogy Project
  • Notices dans des dictionnaires ou encyclopédies généralistesVoir et modifier les données sur Wikidata :
    • Deutsche Biographie
    • Enciclopedia De Agostini
    • Polski Słownik Biograficzny
  • Notices d'autoritéVoir et modifier les données sur Wikidata :
    • VIAF
    • ISNI
    • BnF (données)
    • IdRef
    • LCCN
    • GND
    • CiNii
    • Pays-Bas
    • Pologne
    • Israël
    • NUKAT
    • Norvège
    • Tchéquie
    • WorldCat
  • Biographie Mac Tutor, J J O'Connor and E F Robertson.
  • icône décorative Portail de la logique
  • icône décorative Portail des mathématiques
  • icône décorative Portail de la Pologne