Mojżesz Presburger
Mojżesz Presburger, or Prezburger, 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. He was awarded master in mathematics on October 7, 1930.
He was born in Warsaw on 27 December 1904 and died in the Holocaust, probably 1943.
In 2010, the European Association for Theoretical Computer Science began conferring the annual Presburger Award to a young scientist for outstanding contributions in theoretical computer science. Mikołaj Bojańczyk was the first recipient.
