Mojżesz Presburger
From Wikipedia, the free encyclopedia
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]
Mojżesz Presburger | |
---|---|
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 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 [pl].[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.