Andrzej Mostowski (1er novembre 1913 – 22 août 1975) était un mathématicien 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 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.

Property Value
dbo:abstract
  • Andrzej Mostowski (1er novembre 1913 – 22 août 1975) était un mathématicien 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 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é. (fr)
  • Andrzej Mostowski (1er novembre 1913 – 22 août 1975) était un mathématicien 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 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é. (fr)
dbo:almaMater
dbo:birthPlace
dbo:citizenship
dbo:deathPlace
dbo:discipline
dbo:doctoralAdvisor
dbo:doctoralStudent
dbo:employer
dbo:occupation
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 2830318 (xsd:integer)
dbo:wikiPageLength
  • 1749 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 171733714 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
dct:subject
rdf:type
rdfs:comment
  • Andrzej Mostowski (1er novembre 1913 – 22 août 1975) était un mathématicien 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 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. (fr)
  • Andrzej Mostowski (1er novembre 1913 – 22 août 1975) était un mathématicien 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 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. (fr)
rdfs:label
  • Andrzej Mostowski (fr)
  • Andrzej Mostowski (pt)
  • Мостовский, Анджей (ru)
  • Andrzej Mostowski (fr)
  • Andrzej Mostowski (pt)
  • Мостовский, Анджей (ru)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:doctoralAdvisor of
is dbo:doctoralStudent of
is dbo:influenced of
is dbo:namedAfter of
is dbo:wikiPageWikiLink of
is prop-fr:étudiantsThèse of
is oa:hasTarget of
is foaf:primaryTopic of