rdfs:comment
| - Mojżesz Presburger (* 27. Dezember 1904 in Warschau; † 1943) war ein polnischer Mathematiker, Logiker und Philosoph. Er war Student von Alfred Tarski und erfand 1929 die Presburger-Arithmetik, eine rein additive Arithmetik ohne Multiplikation, für die er einen Vollständigkeitssatz bewies. Mojżesz Presburger starb in einem deutschen Konzentrationslager, vermutlich 1943. (de)
- Mojżesz Presburger (Varsavia, 27 dicembre 1904 – Olocausto, 1943?) è stato un matematico, logico e filosofo polacco ebreo, allievo di Alfred Tarski e noto per aver formulato l'aritmetica Presburger da studente nel 1929. (it)
- Mojżesz Presburger (ur. 1904, Warszawa; zm. 1943 [?]) - polski logik, matematyk i filozof żydowskiego pochodzenia, związany ze szkołą lwowsko-warszawską. Udowodnił rozstrzygalność badania prawdziwości formuł arytmetyki Presburgera. (pl)
- Mojżesz Presburger (1904 — 1943) foi um matemático, lógico e filósofo polonês de origem judaica. Foi aluno de Alfred Tarski, sendo conhecido por, dentre outras coisas, por ter inventado a aritmética de Presburger quando estudante, em 1929. Nasceu em 1904 e morreu em um campo de concentração. Em 2010 a iniciou a concessão do , destinado a um jovem cientista (em casos excepcionais a diversos jovens cientistas) por contribuições fundamentais em ciência da computação. foi o primeiro laureado. (pt)
- Мойжеш Пресбургер (27 декабря 1904 года — прибл. 1943) — польский математик еврейского происхождения, логик и философ. Ученик Альфреда Тарски и др (Jan Łukasiewicz, Kazimierz Ajdukiewicz, and Kazimierz Kuratowski). Автор арифметики Пресбургера (1929). Погиб в Холокост. (ru)
- 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. Ce dernier résultat constitue le cœur des théorèmes d'incomplétude de Gödel. (fr)
- Mojżesz Presburger, or Prezburger, (December 27, 1904 – c. 1943) was a Polish Jewish mathematician, logician, and philosopher. He was a student of Alfred Tarski, Jan Łukasiewicz, Kazimierz Ajdukiewicz, and Kazimierz Kuratowski. He is known for, among other things, having invented Presburger arithmetic as a student in 1929 – a form of arithmetic in which one allows induction but removes multiplication, to obtain a decidable theory. (en)
|