Mojżesz Presburger

Mojżesz Presburger (1904 to about 1943) was a Polish Jewish mathematician, logician and philosopher, born in Warsaw. He studied at Warsaw University, where his teachers included Alfred Tarski, Jan Łukasiewicz, Kazimierz Ajdukiewicz and Kazimierz Kuratowski, and he received his master degree in mathematics in 1930. As a student in 1929 he introduced what is now called Presburger arithmetic, a form of arithmetic that allows induction but leaves out multiplication, and which in return gives a decidable theory. He died in the Holocaust, probably in 1943. The European Association for Theoretical Computer Science has awarded the annual Presburger Award in his name since 2010 to young scientists for outstanding contributions in theoretical computer science, and Mikołaj Bojańczyk was its first recipient.