Mojżesz Presburger
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 .
Honors
The European Association for Theoretical Computer Science has been presenting the Presburger Award named after him to young scientists since 2010 .
literature
- 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
Web links
- Java applet - Presburger arithmetic
- Automata theory of Presburg arithmetic - Viktor Rach (PDF file; 436 kB)
personal data | |
---|---|
SURNAME | Presburger, Mojżesz |
BRIEF DESCRIPTION | Polish mathematician, logician and philosopher |
DATE OF BIRTH | December 27, 1904 |
PLACE OF BIRTH | Warsaw |
DATE OF DEATH | 1943 |