Moritz Presburger
Moritz Presburger · Sciences & médecine
Mojżesz (Moritz) Presburger fut un mathématicien et logicien polonais qui prouva en 1929 la décidabilité de la théorie du premier ordre des entiers naturels munis de l'addition, aujourd'hui appelée arithmétique de Presburger—un résultat fondateur en logique mathématique et en informatique.
1904, Varsovie, Pologne — 1943
Pologne
Mojżesz (Moritz) Presburger fut un mathématicien et logicien polonais qui prouva en 1929 la décidabilité de la théorie du premier ordre des entiers naturels munis de l'addition, aujourd'hui appelée arithmétique de Presburger—un résultat fondateur en logique mathématique et en informatique. Son unique article majeur devint une pierre angulaire des procédures de décision. Il était juif et aurait été assassiné pendant la Shoah, vers 1943.
Vérifiez et approfondissez avec ces références externes.
Source : Jinfo.org — Jews in Mathematics
Cette page paraît en sept langues à partir d'une source anglaise. Les traductions sont relues, mais une erreur peut passer. Si vous en repérez une sur cette fiche — un mot fautif, une date perdue, une phrase qui dit autre chose que l'anglais —, signalez-la-nous.
Mojżesz (Moritz) Presburger fut un mathématicien et logicien polonais qui prouva en 1929 la décidabilité de la théorie du premier ordre des entiers naturels munis de l'addition, aujourd'hui appelée arithmétique de Presburger—un résultat fondateur en logique mathématique et en informatique.
Source : Jinfo.org — Jews in Mathematics
Contributeurs similaires
Adolf Lindenbaum
Andrzej Mostowski
Barry Mazur
Georg Kreisel
