Mojżesz Presburger

Un article de Wikipédia, l'encyclopédie libre.
(Redirigé depuis Mojzesz Presburger)
Aller à : navigation, rechercher
Page d'aide sur l'homonymie Pour les articles homonymes, voir Pressburger.

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.

Il n'a pas soutenu de thèse, a repris la gestion de l'entreprise de ses parents et est mort dans un camp de concentration vers 1943.

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]