Mojżesz Presburger

Un article de Wikipédia, l'encyclopédie libre.
Sauter à la navigation Sauter à la recherche
Page d'aide sur l'homonymie Pour les articles homonymes, voir Pressburger.
Mojżesz Presburger
une illustration sous licence libre serait bienvenue
Biographie
Naissance
Décès
Nationalité
Activités
Autres informations
Domaine
signature de Mojżesz Presburger
signature

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].

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[modifier | modifier le code]

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[modifier | modifier le code]

  1. M. Presburger, Comptes Rendus Premier Congrès des Mathématicienes des Pays Slaves, Varsovie 1929 / Sprawozdanie z I Kongresu matematyków krajów słowiańskich, Warszawa 1929, Warsaw, Lwów and Krakow, , 92–101, 395 p.
  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. a et b 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, (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, (ISBN 978-9027727497)
  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[modifier | modifier le code]