About: Mojżesz Presburger     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatPrisonersOfNaziConcentrationCamps, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FMoj%C5%BCesz_Presburger

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.

AttributesValues
rdf:type
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)
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)
foaf:depiction
  • http://commons.wikimedia.org/wiki/Special:FilePath/Mojżesz_Presburger.jpg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Mojżesz_Presburger_(signature).jpg
birth place
  • Warsaw (en)
birth date
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Link from a Wikipage to an external page
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (61 GB total memory, 56 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software