Andrzej Mostowski

Andrzej Mostowski Biografi

Fødsel	1 st november 1913 Lviv
Død	22. august 1975(61 år) Vancouver
Nationalitet	Polere
Uddannelse	Universitetet i Warszawa
Aktiviteter	Matematiker , filosof

Andre oplysninger

Arbejdede for	University of Warsaw , Jagiellonian University
Mark	Matematik
Specialedirektører	Alfred Tarski , Kazimierz Kuratowski

Andrzej Mostowski (1 st november 1913 - 22. august 1975) var en polsk matematiker . I 1938 modtog han en doktorgrad i matematik fra universitetet i Warszawa .

Han var primært specialiseret i matematisk logik . I sætteori arbejdede han blandt andet på den relative sammenhæng i negationen af ​​det valgte aksiom , perfektionerede og generaliserede en metode, der oprindeligt skyldtes Abraham Fraenkel og i dag kendt som Permenkationsmetoden Fraenkel-Mostowski. Selvom denne metode i det væsentlige bruger en sætteori med atomer , kunne den kombineret med tvang af Paul Cohen overføres til ZFC-sætteori .

Mostowski også arbejdet i model teori og beregnelighed teori .

Bibliografi

• Sætninger, der ikke kan træffes i formaliseret aritmetik: en udstilling af teorien om Kurt Godel , Nordholland, Amsterdam, 1952. ( ISBN  978-0313231513 )

eksterne links

• Myndighedsposter  :
  • Virtuel international myndighedsfil
  • International standardnavnidentifikator
  • CiNii
  • Frankrigs Nationalbibliotek ( data )
  • Universitetsdokumentationssystem
  • Library of Congress
  • Gemeinsame Normdatei
  • Royal Netherlands Library
  • Polens universitetsbibliotek
  • Western Swiss Library Network
  • Norsk biblioteksbase
  • Det Tjekkiske Nationalbibliotek
  • WorldCat-id
  • WorldCat
• Biografi Mac Tutor , JJ O'Connor og EF Robertson.