| dbo:abstract
|
- 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 (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. Bien que la motivation de l'article de Presburger fût de prouver la complétude de la théorie, la méthode de preuve utilisée était constructive et produisait une procédure de décision, autrement dit un algorithme qui détermine si une formule de l'arithmétique de Presburger est vraie ou fausse. L'un des premiers programmes de démonstration de théorèmes utilisait cet algorithme pour prouver les théorèmes de l'arithmétique de Presburger et avait été écrit par Martin Davis au cours de l'été 1954 pour un ordinateur avec une mémoire de seulement 1024 mots. M. Rabin et M. Fischer ont démontré en 1974 que la complexité de cet algorithme est super-exponentielle. Presburger a présenté son article au Congrès des Mathématiciens de Varsovie, mais il n'a pas soutenu de thèse, apparemment Tarski les considérait comme uneapplication évidente de la technique d'élimination des quantificateurs que Thoralf Skolem avait utilisée bien plus tôt : c'est l'opinion de John Newsome Crossley, rapportée par Ryan Stansifer. Presburger a travaillé dans une compagnie d'assurance. Il est mort dans un camp de concentration vers 1943. (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. He was born in Warsaw on December 27, 1904 to Abram Chaim Prezburger and Joehwet Prezburger (née Aszenmil). On May 28, 1923, he got his matura from the . On October 7, 1930, he was awarded master in mathematics from Warsaw University. He died in the Holocaust, probably 1943. In 2010, the European Association for Theoretical Computer Science began conferring the annual Presburger Award named after him to a young scientist (in exceptional cases to several young scientists) for outstanding contributions in theoretical computer science. Mikołaj Bojańczyk was the first recipient. (en)
- 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)
|
| dbo:birthDate
| |
| dbo:deathCause
| |
| dbo:knownFor
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 6586 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:birthDate
| |
| dbp:birthPlace
| |
| dbp:caption
|
- Mojżesz Presburger, 1923 (en)
|
| dbp:deathCause
| |
| dbp:deathDate
| |
| dbp:knownFor
| |
| dbp:nationality
| |
| dbp:signature
|
- Mojżesz Presburger .jpg (en)
|
| dbp:spouse
| |
| dbp:thesisTitle
|
- O zupełności pewnego systemu arytmetyki liczb całkowitych (en)
|
| dbp:thesisYear
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| 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)
|
| rdfs:label
|
- Mojżesz Presburger (de)
- Mojżesz Presburger (fr)
- Mojżesz Presburger (it)
- Mojżesz Presburger (en)
- Mojżesz Presburger (pl)
- Mojżesz Presburger (pt)
- Пресбургер, Мойжеш (ru)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:notableStudent
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:notableStudents
of | |
| is foaf:primaryTopic
of | |
.jpg){kind=link}