This HTML5 document contains 145 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n32https://www.ipsb.nina.gov.pl/a/foto/
dbpedia-dehttp://de.dbpedia.org/resource/
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n26https://global.dbpedia.org/id/
dbpedia-hehttp://he.dbpedia.org/resource/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
schemahttp://schema.org/
dbpedia-ruhttp://ru.dbpedia.org/resource/
n21http://arz.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n18http://www.mimuw.edu.pl/~bojan/presburger/
n13http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
freebasehttp://rdf.freebase.com/ns/
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-pthttp://pt.dbpedia.org/resource/
n33http://207.232.26.141/YADVASHEM/NEW_APP/200509041226_259_7974/
n25http://viaf.org/viaf/
n27http://commons.wikimedia.org/wiki/Special:FilePath/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-ithttp://it.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
n30http://www.eatcs.org/index.php/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Mojżesz_Presburger
rdf:type
yago:Object100002684 yago:Scholar110557854 yago:WikicatPolishMathematicians yago:WikicatAnalyticPhilosophers yago:Prisoner110476086 yago:WikicatPhilosophersWhoDiedInTheHolocaust yago:WikicatPeopleWhoDiedInNaziConcentrationCamps yago:Intellectual109621545 n13:NaturalPerson yago:PhysicalEntity100001930 yago:Wikicat20th-centuryPhilosophers yago:WikicatPolishLogicians yago:Expert109617867 yago:WikicatMathematiciansWhoDiedInTheHolocaust schema:Person wikidata:Q19088 yago:Unfortunate109630641 dbo:Scientist owl:Thing yago:WikicatPrisonersOfNaziConcentrationCamps yago:Philosopher110423589 yago:LivingThing100004258 dbo:Animal yago:CausalAgent100007347 yago:WikicatJewishPhilosophers dbo:Person dbo:Species yago:Scientist110560637 foaf:Person yago:Person100007846 yago:WikicatPolishPeople yago:Mathematician110301261 yago:Logician110269785 wikidata:Q5 yago:WikicatPolishPhilosophers wikidata:Q901 yago:Wikicat20th-centuryMathematicians yago:Organism100004475 wikidata:Q729 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Whole100003553 yago:WikicatLogicians dbo:Eukaryote wikidata:Q215627
rdfs:label
Mojżesz Presburger Mojżesz Presburger Mojżesz Presburger Mojżesz Presburger Пресбургер, Мойжеш Mojżesz Presburger Mojżesz Presburger
rdfs:comment
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. 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. 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. 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. Мойжеш Пресбургер (27 декабря 1904 года — прибл. 1943) — польский математик еврейского происхождения, логик и философ. Ученик Альфреда Тарски и др (Jan Łukasiewicz, Kazimierz Ajdukiewicz, and Kazimierz Kuratowski). Автор арифметики Пресбургера (1929). Погиб в Холокост. 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. 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.
foaf:depiction
n27:Mojżesz_Presburger.jpg n27:Mojżesz_Presburger_(signature).jpg
dbp:birthPlace
Warsaw
dbo:birthDate
1904-12-27
dcterms:subject
dbc:1904_births dbc:Jewish_philosophers dbc:Polish_Jews_who_died_in_the_Holocaust dbc:20th-century_Polish_mathematicians dbc:Polish_logicians dbc:20th-century_Polish_philosophers dbc:1943_deaths
dbo:wikiPageID
3968176
dbo:wikiPageRevisionID
1100183463
dbo:wikiPageWikiLink
dbc:1904_births dbr:Kazimierz_Ajdukiewicz dbr:Jew dbr:Jan_Łukasiewicz dbr:The_Holocaust dbc:Jewish_philosophers dbr:Holocaust dbr:Alfred_Tarski dbr:Mathematician dbr:European_Association_for_Theoretical_Computer_Science dbc:Polish_logicians dbr:Kazimierz_Kuratowski dbc:Polish_Jews_who_died_in_the_Holocaust dbc:20th-century_Polish_mathematicians dbc:20th-century_Polish_philosophers dbr:Decidability_(logic) dbr:Logician dbr:Master_of_Science dbr:Warsaw_University dbr:Presburger_Award dbr:Presburger_arithmetic dbc:1943_deaths dbr:Philosopher dbr:Mikołaj_Bojańczyk dbr:Matura
dbo:wikiPageExternalLink
n18: n30:presburger n32:kongres-matematykow-z-krajow-slowianskich-w-warszawie-23091929-r n33:238.jpg
owl:sameAs
dbpedia-ru:Пресбургер,_Мойжеш dbpedia-de:Mojżesz_Presburger n21:موسى_بريسبرجر dbpedia-pt:Mojżesz_Presburger freebase:m.0b9501 wikidata:Q473841 dbpedia-pl:Mojżesz_Presburger n25:166188301 n26:4PWQb dbpedia-it:Mojżesz_Presburger dbpedia-he:מויז'ש_פרסבורגר dbpedia-fr:Mojżesz_Presburger
dbp:thesisTitle
O zupełności pewnego systemu arytmetyki liczb całkowitych
dbp:thesisYear
M.A. Diploma, 1930
dbp:wikiPageUsesTemplate
dbt:Reflist dbt:Poland-mathematician-stub dbt:Birth_date dbt:Abbr dbt:Authority_control dbt:Poland-philosopher-stub dbt:Ill dbt:Infobox_scientist
dbo:thumbnail
n27:Mojżesz_Presburger.jpg?width=300
dbp:signature
Mojżesz Presburger .jpg
dbp:birthDate
1904-12-27
dbp:caption
Mojżesz Presburger, 1923
dbp:deathDate
1943
dbp:knownFor
dbr:Presburger_arithmetic
dbp:nationality
Polish
dbp:spouse
Rebeka Krejnes
dbo:abstract
Мойжеш Пресбургер (27 декабря 1904 года — прибл. 1943) — польский математик еврейского происхождения, логик и философ. Ученик Альфреда Тарски и др (Jan Łukasiewicz, Kazimierz Ajdukiewicz, and Kazimierz Kuratowski). Автор арифметики Пресбургера (1929). Погиб в Холокост. 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. 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. 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. 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. 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. 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.
dbp:deathCause
dbr:Holocaust
gold:hypernym
dbr:Mathematician
prov:wasDerivedFrom
wikipedia-en:Mojżesz_Presburger?oldid=1100183463&ns=0
dbo:wikiPageLength
6586
dbo:deathCause
dbr:Holocaust
dbo:knownFor
dbr:Presburger_arithmetic
foaf:isPrimaryTopicOf
wikipedia-en:Mojżesz_Presburger