Mojżesz Presburger

Mojżesz Presburger (1904 - 1943) est un mathématicien polonais, logicien et philosophe. Élève de Tarski, il est connu pour avoir démontré la décidabilité de l'arithmétique de Presburger alors qu'il était encore étudiant[1],[2],[3].

Pour les articles homonymes, voir Pressburger.

Il n'a pas soutenu de thèse et a travaillé dans une compagnie d'assurance[4],[5] et est mort dans un camp de concentration vers 1943[6],[5],[7],[8].

Prix

L'association européenne d'informatique théorique (EATCS) a institué en 2010 le Prix Presburger qui récompense un jeune scientifique (moins de 35 ans) qui a apporté des contributions exceptionnelles à l'informatique théorique.

Références
  1. M. Presburger, Über der Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchen die Addition als einzige Operation hervortritt, vol. 395, Warsaw, Lwów and Krakow, F. Leja, , p. 92–101
  2. Ryan Stansifer, Presburger's Article on Integer Arithmetic: Remarks and Translation, vol. TR84-639, Ithaca/NY, Dept. of Computer Science, Cornell University, (lire en ligne)
  3. Mojżesz Presburger and Dale Jacquette, « On the Completeness of a Certain System of Arithmetic of Whole Numbers in Which Addition Occurs as the Only Operation », History and Philosophy of Logic, vol. 12,‎ , p. 225–33 (DOI 10.1080/014453409108837187)
  4. Solomon Feferman et Anita Burdman Feferman, Alfred Tarski, Life and Logic, Cambridge University Press, (ISBN 0-521-80240-7). pp 73-74
  5. Jan Zygmunt, « Mojżesz Presburger: Life and Work », History and Philosophy of Logic, vol. 12,‎ , p. 211–223 (DOI 10.1080/014453409108837186)
  6. Anita Burdman Feferman et Solomon Feferman, Alfred Tarski : Life and Logic, Cambridge University Press, , 425 p. (ISBN 978-0-521-80240-6, lire en ligne), p. 74
  7. Jan Woleński, Logic and Philosophy in the Lvov-Warsaw School, Dordrecht, Reidel, , 392 p. (ISBN 978-90-277-2749-7)
  8. Claus-Peter Wirth and Jörg Siekmann and Christoph Benzmüller and Serge Autexier, Lectures on Jacques Herbrand as a Logician, (lire en ligne); Here: p.48, footnote 128

Liens externes
  • Portail des mathématiques
  • Portail de la philosophie
  • Portail de la logique
  • Portail de la Pologne
  • Portail de la Seconde Guerre mondiale
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.