Mojzesz Presburger

Un article de Wikipédia, l'encyclopédie libre.

Mojżesz Presburger (1904 - 1943) est un mathématicien polonais, logicien et philosophe. Elève de Tarski, il est connu pour avoir démontré la décidabilité de l'arithmétique de Presburger.

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