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.
image illustrant un mathématicien image illustrant un philosophe
Cet article est une ébauche concernant un mathématicien et un philosophe.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

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]

Liens externes[modifier | modifier le code]