Mojżesz Presburger, or Prezburger, (; 27 December 1904 – 1943) was a Polish Jewish mathematician, logician, and philosopher. He was a student of Alfred Tarski, Jan Łukasiewicz, Kazimierz Ajdukiewicz, and Kazimierz Kuratowski. 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.
He was born in Warsaw on 27 December 1904 to Abram Chaim Prezburger and Joehwet Prezburger (née Aszenmil).Birth certificate at https://www.mimuw.edu.pl/~bojan/presburger On 28 May 1923 he got his matura from the .Matura document at https://www.mimuw.edu.pl/~bojan/presburger On 7 October 1930 he was awarded master in mathematics from Warsaw University.Graduation diploma at https://www.mimuw.edu.pl/~bojan/presburger He died in the Holocaust, probably 1943.; Here: p.48, footnote 128
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.
References
External links Mojżesz Presburger's Photograph and document of death Documents about Presburger and a Flash presentation by Mikołaj Bojańczyk Panel of the 1929 conference where Presburger presented his arithmetic Presburger award, European Association for Theoretical Computer Science.