Mojżesz Presburger (born December 27, 1904 in Warsaw ; † 1943 ) was a Polish mathematician , logician and philosopher . He was a student of Alfred Tarski and in 1929 he invented Presburger arithmetic , a purely additive arithmetic without multiplication, for which he proved a completeness theorem .
Mojżesz Presburger probably died in a German concentration camp in 1943 .
The European Association for Theoretical Computer Science has been presenting the Presburger Award named after him to young scientists since 2010 .
- Mojżesz Presburger: About the completeness of a certain system of arithmetic of integers in which addition is the only operation . In: Comptes-rendus du I Congrés des Mathématiciens des Pays Slaves, Varsovie 1929, 92-101.
- Jan Zygmunt: Mojżesz Presburger: Life and Work , History and Philosophy of Logic 12 (1991), 211-23
- Java applet - Presburger arithmetic
- Automata theory of Presburg arithmetic - Viktor Rach (PDF file; 436 kB)
|BRIEF DESCRIPTION||Polish mathematician, logician and philosopher|
|DATE OF BIRTH||December 27, 1904|
|PLACE OF BIRTH||Warsaw|
|DATE OF DEATH||1943|