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.
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Mojżesz_Presburger
Lien Wikidata : https://www.wikidata.org/wiki/Q473841
Propriétés
- date_deces
- +1943-01-0
- date_naissance
- +1904-12-2
- genre_personne
- masculin
- lieu_naissance
- {"qid": "Q270", "label": "Varsovie"}
- nationalite
- Pologne
- occupation
- mathématicien ou mathématicienne
- p106_all
- mathématicien ou mathématicienne, philosophe