Mojżesz Presburger
| Mojżesz Presburger | |
|---|---|
 Mojżesz Presburger, 1923 | |
| Born |
27 December 1904 Warsaw |
| Died |
1943? Holocaust |
| Nationality | Polish |
| Thesis | 0 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]) |
| Known for | Presburger arithmetic |
| Spouse | Rebeka Krejnes[2] |
|
Signature .jpg){kind=small} | |
Mojżesz Presburger (1904–1943?) was a Polish Jewish mathematician, logician, and philosopher. He was a student of Alfred Tarski and is known for, among other things, having invented Presburger arithmetic as a student in 1929.[3][4]
He was born in Warsaw on 27 December 1904 and died in the Holocaust, probably 1943.[5][6][7][8]
In 2010, the European Association for Theoretical Computer Science began conferring the annual Presburger Award (named after Mojżesz Presburger) 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.214
- ↑ Zygmunt (1991), p.222
- ↑ M. Presburger (1930). "Über der Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchen die Addition als einzige Operation hervortritt". Comptes Rendus Premier Congrès des Mathématicienes des Pays Slaves. Warsaw. 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.
- ↑ Burdman Feferman, Anita; Feferman, Solomon (2004). Alfred Tarski: Life and Logic. Cambridge University Press. p. 74. ISBN 978-0-521-80240-6.
- ↑ Jan Zygmunt (1991). "Mojżesz Presburger: Life and Work". History and Philosophy of Logic. 12: 211–223. doi:10.1080/014453409108837186.
- ↑ Jan Woleński (1988). Logic and Philosophy in the Lvov-Warsaw School. Dordrecht: Reidel. ISBN 978-9027727497.
- ↑ 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.; Here: p.48, footnote 128
External links
- Mojżesz Presburger's Photograph and document of death
- Documents about Presburger and a Flash presentation by Mikołaj Bojańczyk
- Presburger award, European Association for Theoretical Computer Science.
This article is issued from Wikipedia - version of the 11/3/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.