Nascita |
1 ° novembre 1913 Lviv |
---|---|
Morte |
22 agosto 1975(61 anni) Vancouver |
Nazionalità | polacco |
Formazione | Università di Varsavia |
Attività | Matematico , filosofo |
Lavorato per | Università di Varsavia , Università Jagellonica |
---|---|
Campo | Matematica |
Direttori di tesi | Alfred Tarski , Kazimierz Kuratowski |
Andrzej Mostowski (1 ° novembre 1913 - 22 agosto 1975) era un matematico polacco . Nel 1938 ha conseguito un dottorato in matematica presso l' Università di Varsavia .
Era specializzato principalmente in logica matematica . In teoria degli insiemi ha lavorato tra l'altro sulla coerenza relativa della negazione dell'assioma della scelta , perfezionando e generalizzando un metodo originariamente dovuto ad Abraham Fraenkel e noto oggi come metodo di permutazione Fraenkel-Mostowski. Sebbene questo metodo utilizzi essenzialmente una teoria degli insiemi con atomi , potrebbe, combinato con la forzatura di Paul Cohen , essere trasposto alla teoria degli insiemi ZFC .
Mostowski ha lavorato anche nella teoria dei modelli e nella teoria della computabilità .