Mojżesz_Presburger
Mojżesz Presburger, or Prezburger,[3] (December 27, 1904 – c. 1943) was a Polish Jewish mathematician, logician, and philosopher. He was a student of Alfred Tarski, Jan Łukasiewicz, Kazimierz Ajdukiewicz, and Kazimierz Kuratowski.[3] He is known for, among other things, having invented Presburger arithmetic as a student in 1929 – a form of arithmetic in which one allows induction but removes multiplication, to obtain a decidable theory.[4][5][6][7]
He was born in Warsaw on December 27, 1904 to Abram Chaim Prezburger and Joehwet Prezburger (née Aszenmil).[8] On May 28, 1923, he got his matura from the School of Commerce of the Merchants' Meeting of Warsaw .[9] On October 7, 1930, he was awarded master in mathematics from Warsaw University.[3][10] He died in the Holocaust, probably 1943.[11][12][13][3]
In 2010, the European Association for Theoretical Computer Science began conferring the annual Presburger Award named after him to a young scientist (in exceptional cases to several young scientists) for outstanding contributions in theoretical computer science. Mikołaj Bojańczyk was the first recipient.