See more Moj%C5%BCesz Presburger articles on AOD.

Powered by
Share this page on
Article provided by Wikipedia

( => ( => ( => Mojżesz Presburger [pageid] => 3968176 ) =>
Mojżesz Presburger
""Mojżesz Presburger.jpg
Mojżesz Presburger, 1923
Born (1904-12-27)27 December 1904
Died 1943?
Cause of death "Holocaust
Nationality Polish
Known for "Presburger arithmetic
Spouse(s) Rebeka Krejnes[1]
""Mojżesz Presburger (signature).jpg

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.


  1. ^ Zygmunt (1991), p.222
  2. ^ Zygmunt (1991), p.214
  3. ^ 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. 
  4. ^ 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. 
  5. ^ Burdman Feferman, Anita; "Feferman, Solomon (2004). Alfred Tarski: Life and Logic. "Cambridge University Press. p. 74. "ISBN "978-0-521-80240-6. 
  6. ^ Jan Zygmunt (1991). "Mojżesz Presburger: Life and Work". History and Philosophy of Logic. 12: 211–223. "doi:10.1080/014453409108837186. 
  7. ^ Jan Woleński (1988). Logic and Philosophy in the Lvov-Warsaw School. Dordrecht: Reidel. "ISBN "978-9027727497. 
  8. ^ 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[edit]

) )