Mojżesz Presburger (* 27. Dezember 1904 in Warschau; † 1943) war ein polnischer Mathematiker, Logiker und Philosoph. Er war Student von Alfred Tarski und erfand 1929 die Presburger-Arithmetik, eine rein additive Arithmetik ohne Multiplikation, für die er einen Vollständigkeitssatz bewies.
Mojżesz Presburger starb in einem deutschen Konzentrationslager, vermutlich 1943.
Ehrungen
Die European Association for Theoretical Computer Science verleiht seit 2010 den nach ihm benannten Presburger Award an junge Wissenschaftler.
Literatur
- Mojżesz Presburger: Über die Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt. 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
Weblinks
- Automatentheorie der Presburger Arithmetik - Viktor Rach (PDF-Datei; 436 kB)
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.