Time line Photos Money Stamps Sketch Search

Andrzej Mostowski

Birth date:

Birth place:

Date of death:

Place of death:

1 Nov 1913

Lvov, Poland (now Ukraine)

22 Aug 1975

Vancouver, Canada

Presentation Wikipedia
Andrzej Mostowski entered Warsaw University in 1931. He was influenced by Kuratowski , Lindenbaum and Tarski . His Ph.D. came in 1939, officially directed by Kuratowski but in practice directed by Tarski who was a young lecturer at that time. His studies at Warsaw had been broken by studies in Vienna (he attended a course by Gödel ) and Zurich (courses by Polya , Weyl and Bernays ).

He became an accountant after the Nazi invasion of Poland but continued working in the 'Underground Warsaw University'. After the uprising of 1944 the Nazis tried to put him in a concentration camp. With the help of some Polish nurses he escaped to a hospital, choosing to take bread with him rather than his notebook containing his research. some of the research he reconstructed after the War but much was lost.

This work was largely on recursion theory and undecidability. From 1946 until his death he worked at the University of Warsaw. Much of work during that time was on first order logic and model theory .

Source:School of Mathematics and Statistics University of St Andrews, Scotland