MOSTOWSKI, Andrzej

MOSTOWSKI, Andrzej

Logico matematico polacco, nato a Leopoli il 1° novembre 1913. Dal 1947 professore di matematica all'università di Varsavia; dal 1956 membro dell'Accademia polacca delle scienze. Nel 1966 è stato insignito del premio di Stato polacco di prima classe. Nel 1971 è stato eletto presidente della International division of logic, methodology and philosophy of science. È uno dei massimi logici matematici. Nel 1939 dimostrò che l'assioma della scelta è indipendente dai rimanenti assiomi della teoria degl'insiemi, fornendo così la prima prova d'indipendenza nell'ambito della teoria degl'insiemi. Si è interessato dei fondamenti dell'aritmetica e dell'analisi, delle teorie dei modelli, di logiche polivalenti, di intuizionismo. Nel 1946 ha scoperto analogie tra la teoria delle funzioni ricorsive e quella degl'insiemi boreliani. Nel 1949 ha dimostrato l'insolubilità del problema della decisione per gli anelli e per gli anelli commutativi. Nel 1950 ha presentato un'originale formulazione del sistema assiomatico degl'insiemi di Zermelo-Fraenkel e nel 1951 ha elaborato la teoria impredicativa delle classi, nota come "teoria di Kelly-Morse-Mostowski".

Tra le opere: Über die Unabhängigkeit des Wohlordnungssatzes vom Ordnungsprinzip (1939), On absolute properties of relations (1947), Some impredicative definitions in the axiomatic set theory (1951), Undecidables theories (1953, con A. Tarski e M.R. Robinson), Models of axiomatic theories admitting automorphisms (1955, con A. Ehrenfeucht), On recursive model of formalized arithmetic (1957), On a generalization of quantifiers (1957), Axiomatizability of some many-valued predicate calculi (1961), Thirty years of fondational studies (1965), Constructible sets with applications (1970).