Mojżesz Presburger
personne mathématicien, logicien et philosophe polonais (1904-1943)
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. Ce résultat est mathématiquement très important, car l'arithmétique usuelle provenant des axiomes de Peano et comportant la multiplication que ne contient pas l'arithmétique de Presburger, est elle indécidable et incomplète. — Wikipédia (CC BY-SA)
Nature : être humain
- décès
- janvier 1943
- naissance
- décembre 1904
- genre
- masculin
- lieu de naissance
- Varsovie
- nationalité
- Pologne
- occupation
- mathématicien ou mathématicienne
Catégories : journalistes · mathématiciens · personnes · scientifiques