Mojżesz Presburger
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(s) | 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 | |
![]() |
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.[4][5][6][7]
He was born in Warsaw on December 27, 1904 to Abram Chaim Prezburger and Joehwet Prezburger (nee Aszenmil).[8] On May 28, 1923, he got his matura from the .[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.
References[]
- ^ Zygmunt (1991), p.222
- ^ Zygmunt (1991), p.214
- ^ Jump up to: a b c d Claus-Peter Wirth and Jörg Siekmann and Christoph Benzmüller and Serge Autexier (2009). Lectures on Jacques Herbrand as a Logician (SEKI Report). DFKI. arXiv:0902.4682.; Here: p.48, footnote 128
- ^ M. Presburger (1930). "Über der Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchen die Addition als einzige Operation hervortritt". In F. Leja (ed.). Comptes Rendus Premier Congrès des Mathématicienes des Pays Slaves, Varsovie 1929 / Sprawozdanie z I Kongresu matematyków krajów słowiańskich, Warszawa 1929. Warsaw, Lwów and Krakow. pp. 92–101, 395.
- ^ Ryan Stansifer (Sep 1984). Presburger's Article on Integer Arithmetic: Remarks and Translation (PDF) (Technical Report). TR84-639. Ithaca/NY: Dept. of Computer Science, Cornell University.
- ^ Mojżesz Presburger and Dale Jacquette (1991). "On the Completeness of a Certain System of Arithmetic of Whole Numbers in Which Addition Occurs as the Only Operation". History and Philosophy of Logic. 12 (2): 225–33. doi:10.1080/014453409108837187.
- ^ Wolfram, Stephen (2002). A New Kind of Science. Wolfram Media, Inc. p. 1152. ISBN 1-57955-008-8.
- ^ Birth certificate at https://www.mimuw.edu.pl/~bojan/presburger
- ^ Matura document at https://www.mimuw.edu.pl/~bojan/presburger
- ^ Graduation diploma at https://www.mimuw.edu.pl/~bojan/presburger
- ^ Burdman Feferman, Anita; Feferman, Solomon (2004). Alfred Tarski: Life and Logic. Cambridge University Press. p. 74. ISBN 978-0-521-80240-6.
Presburger holocaust.
- ^ Jan Zygmunt (1991). "Mojżesz Presburger: Life and Work". History and Philosophy of Logic. 12 (2): 211–223. doi:10.1080/014453409108837186.
- ^ Jan Woleński (1988). Logic and Philosophy in the Lvov-Warsaw School. Dordrecht: Reidel. ISBN 978-9027727497.
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.
- 1904 births
- 1943 deaths
- 20th-century Polish mathematicians
- 20th-century Polish philosophers
- Jewish philosophers
- Polish Jews who died in the Holocaust
- Polish logicians
- Polish mathematician stubs
- European philosopher stubs
- Polish academic biography stubs