. . "Moj\u017Cesz Presburger"@de . . "495942"^^ . "1904-12-27"^^ . . . "Moj\u017Cesz Presburger (signature).jpg" . "Moj\u017Cesz Presburger"@fr . . . . . . . . . . . . . . . . . "\u041F\u0440\u0435\u0441\u0431\u0443\u0440\u0433\u0435\u0440, \u041C\u043E\u0439\u0436\u0435\u0448"@ru . . . . . . "Moj\u017Cesz Presburger (1904 - 1943) est un math\u00E9maticien polonais, logicien et philosophe. \u00C9l\u00E8ve de Tarski, il est connu pour avoir d\u00E9montr\u00E9 la d\u00E9cidabilit\u00E9 de l'arithm\u00E9tique de Presburger alors qu'il \u00E9tait encore \u00E9tudiant. Ce r\u00E9sultat est math\u00E9matiquement tr\u00E8s important, car l'arithm\u00E9tique usuelle provenant des axiomes de Peano et comportant la multiplication que ne contient pas l'arithm\u00E9tique de Presburger, est elle ind\u00E9cidable et incompl\u00E8te. Ce dernier r\u00E9sultat constitue le c\u0153ur des th\u00E9or\u00E8mes d'incompl\u00E9tude de G\u00F6del. Bien que la motivation de l'article de Presburger f\u00FBt de prouver la compl\u00E9tude de la th\u00E9orie, la m\u00E9thode de preuve utilis\u00E9e \u00E9tait constructive et produisait une proc\u00E9dure de d\u00E9cision, autrement dit un algorithme qui d\u00E9termine si une formule de l'arithm\u00E9tique de Presburger est vraie ou fausse. L'un des premiers programmes de d\u00E9monstration de th\u00E9or\u00E8mes utilisait cet algorithme pour prouver les th\u00E9or\u00E8mes de l'arithm\u00E9tique de Presburger et avait \u00E9t\u00E9 \u00E9crit par Martin Davis au cours de l'\u00E9t\u00E9 1954 pour un ordinateur avec une m\u00E9moire de seulement 1024 mots. M. Rabin et M. Fischer ont d\u00E9montr\u00E9 en 1974 que la complexit\u00E9 de cet algorithme est super-exponentielle. Presburger a pr\u00E9sent\u00E9 son article au Congr\u00E8s des Math\u00E9maticiens de Varsovie, mais il n'a pas soutenu de th\u00E8se, apparemment Tarski les consid\u00E9rait comme uneapplication \u00E9vidente de la technique d'\u00E9limination des quantificateurs que Thoralf Skolem avait utilis\u00E9e bien plus t\u00F4t : c'est l'opinion de John Newsome Crossley, rapport\u00E9e par Ryan Stansifer. Presburger a travaill\u00E9 dans une compagnie d'assurance. Il est mort dans un camp de concentration vers 1943."@fr . . . . . . . . "Moj\u017Cesz Presburger (1904 - 1943) est un math\u00E9maticien polonais, logicien et philosophe. \u00C9l\u00E8ve de Tarski, il est connu pour avoir d\u00E9montr\u00E9 la d\u00E9cidabilit\u00E9 de l'arithm\u00E9tique de Presburger alors qu'il \u00E9tait encore \u00E9tudiant. Ce r\u00E9sultat est math\u00E9matiquement tr\u00E8s important, car l'arithm\u00E9tique usuelle provenant des axiomes de Peano et comportant la multiplication que ne contient pas l'arithm\u00E9tique de Presburger, est elle ind\u00E9cidable et incompl\u00E8te. Ce dernier r\u00E9sultat constitue le c\u0153ur des th\u00E9or\u00E8mes d'incompl\u00E9tude de G\u00F6del."@fr . . "Moj\u017Cesz Presburger"@pt . . . . . . . . . . . . . . . . . . "Moj\u017Cesz Presburger"@it . . . . . . "188788009"^^ . . . . . . "Moj\u017Cesz Presburger"@pl . . . . . . . . . . "3811"^^ . . .