Mojżesz Presburger

Un article de Wikipédia, l'encyclopédie libre.
(Redirigé depuis Mojzesz Presburger)
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
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.

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]