Mojżesz Presburger | |
---|---|
![]() Mojżesz Presburger, 1923 | |
Born | Warsaw | 27 December 1904
Died | c. 1943 |
Cause of death | Holocaust |
Nationality | Polish |
Known for | Presburger arithmetic |
Spouse | Rebeka Krejnes [2] |
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 [1]) |
Signature | |
![]() |
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]
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 . [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.
{{
cite book}}
: CS1 maint: location missing publisher (
link)
Presburger holocaust.
Mojżesz Presburger | |
---|---|
![]() Mojżesz Presburger, 1923 | |
Born | Warsaw | 27 December 1904
Died | c. 1943 |
Cause of death | Holocaust |
Nationality | Polish |
Known for | Presburger arithmetic |
Spouse | Rebeka Krejnes [2] |
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 [1]) |
Signature | |
![]() |
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]
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 . [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.
{{
cite book}}
: CS1 maint: location missing publisher (
link)
Presburger holocaust.