Mojżesz Presburger

Mojżesz Presburger, or Prezburger,^[3] (27 December 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]

Mojżesz Presburger
Mojżesz Presburger, 1923
Born	(1904-12-27)27 December 1904 Warsaw
Died	c. 1943
Cause of death	Holocaust
Nationality	Polish
Known for	Presburger arithmetic
Spouse	Rebeka Krejnes[1]
Scientific career
Thesis	O zupełności pewnego systemu arytmetyki liczb całkowitych (About the completeness of a certain system of integer arithmetic in which addition is the only operation)  (M.A. Diploma, 1930[2])
Signature

He was born in Warsaw on 27 December 1904 to Abram Chaim Prezburger and Joehwet Prezburger (née Aszenmil).^[8] On 28 May 1923 he got his matura from the School of Commerce of the Merchants' Meeting of Warsaw [pl].^[9] On 7 October 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.