Mostowski

Enciclopedia della Matematica (2013)

Mostowski


Mostowski Andrzej (Leopoli, oggi Lviv, Ucraina, 1913 - Vancouver 1975) matematico e logico polacco. Studiò all’università di Varsavia negli anni in cui vi insegnavano K. Kuratowski, A. Lindenbaum e il giovane A. Tarski. Dopo l’invasione tedesca della Polonia lavorò nella università clandestina di Varsavia e contro di lui venne emesso, dopo l’insurrezione di Varsavia del 1944, un ordine di arresto con l’ipotesi di trasferimento in campo di concentramento. Nella fuga molti degli appunti di Mostowski andarono persi; altri vennero da lui ricostruiti dopo la fine della seconda guerra mondiale. Dal 1947 professore all’università di Varsavia, si occupò di logica e teoria dei modelli, dando contributi notevoli in teoria della ricorsività e della decidibilità. In ambito logico si deve a lui, al matematico J. Barwise e al linguista computazionale R. Cooper la nozione di quantificatore generalizzato. Mostowski ricoprì prestigiosi incarichi nell’Accademia polacca delle scienze e in quella finlandese; fu inoltre tra i fondatori e coordinatori degli «Annals of Mathematical Logic».

TAG

Seconda guerra mondiale

Teoria dei modelli

Decidibilità

Ricorsività

Vancouver