Mojżesz Presburger

Mojżesz Presburger, also known as Prezburger, was a Polish Jewish mathematician, logician, and philosopher. He was born on December 27, 1904, in Warsaw, Poland. He was a student of distinguished scholars including Alfred Tarski, Jan Łukasiewicz, Kazimierz Ajdukiewicz, and Kazimierz Kuratowski. Presburger is most famously known for his work in logic, particularly for inventing Presburger arithmetic as a student in 1929. This system of arithmetic allows for induction but omits multiplication, a feature that makes the theory decidable. He received his Master of Science degree in mathematics from Warsaw University on October 7, 1930. Sadly, Presburger died during the Holocaust, with his death estimated to be around 1943. In recognition of his contributions, the European Association for Theoretical Computer Science established the annual Presburger Award in his honor, which is given to young scientists for outstanding contributions in theoretical computer science.