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

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

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n30http://commons.dbpedia.org/resource/Category:
n23http://g.co/kg/m/
dbpedia-hehttp://he.dbpedia.org/resource/
dbpedia-ruhttp://ru.dbpedia.org/resource/
schemahttp://schema.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n27http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
n7http://isni.org/isni/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n15https://zbmath.org/authors/?q=ai:
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-plhttp://pl.dbpedia.org/resource/
n8https://www.geni.com/people/
n10http://fr.dbpedia.org/resource/Modèle:
n18https://www.britannica.com/biography/
n14http://viaf.org/viaf/
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-ithttp://it.dbpedia.org/resource/
n16https://commons.wikimedia.org/wiki/Category:
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/

Statements

Subject Item
dbpedia-fr:Mojżesz_Presburger
rdf:type
dbo:Eukaryote dbo:Person schema:Person dbo:Species wikidata:Q5 wikidata:Q729 wikidata:Q19088 n27:NaturalPerson wikidata:Q215627 dbo:Animal foaf:Person owl:Thing
rdfs:label
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.
rdfs:seeAlso
n7:0000_0001_1371_1862 n8:346531082170011003 n15:presburger.mojzesz n16:Mojżesz_Presburger n18:M-Presburger
owl:sameAs
n14:166188301 wikidata:Q473841 dbpedia-pt:Mojżesz_Presburger dbpedia-ru:Пресбургер,_Мойжеш dbpedia-pl:Mojżesz_Presburger n23:0b9501 dbpedia-it:Mojżesz_Presburger dbr:Mojżesz_Presburger dbpedia-he:מויז'ש_פרסבורגר dbpedia-de:Mojżesz_Presburger n30:Mojżesz_Presburger
dbo:birthPlace
dbpedia-fr:Varsovie
dbo:birthDate
1904-12-27
dbo:wikiPageID
495942
dbo:wikiPageRevisionID
188788009
dbo:wikiPageWikiLink
dbpedia-fr:Problème_de_décision category-fr:Logicien_polonais category-fr:Décès_en_1943 dbpedia-fr:Mathématicien category-fr:Mort_en_camp_de_concentration dbpedia-fr:Camp_de_concentration dbpedia-fr:Alfred_Tarski category-fr:Naissance_en_décembre_1904 dbpedia-fr:Arithmétique_de_Presburger dbpedia-fr:Philosophe dbpedia-fr:1904 dbpedia-fr:1943 dbpedia-fr:Prix_Presburger dbpedia-fr:Thèse dbpedia-fr:European_Association_for_Theoretical_Computer_Science category-fr:Mathématicien_polonais dbpedia-fr:Axiomes_de_Peano dbpedia-fr:Informatique_théorique dbpedia-fr:Théorèmes_d'incomplétude_de_Gödel category-fr:Philosophe_polonais dbpedia-fr:Étudiant category-fr:Victime_de_la_Shoah dbpedia-fr:Logique
dbo:wikiPageLength
3811
dct:subject
category-fr:Naissance_en_décembre_1904 category-fr:Décès_en_1943 category-fr:Mort_en_camp_de_concentration category-fr:Philosophe_polonais category-fr:Mathématicien_polonais category-fr:Victime_de_la_Shoah category-fr:Logicien_polonais
prop-fr:wikiPageUsesTemplate
n10:, n10:Ébauche n10:Infobox_Biographie2 n10:Portail n10:Références n10:Autorité n10:Voir_homonymes
prov:wasDerivedFrom
wikipedia-fr:Mojżesz_Presburger?oldid=188788009&ns=0
foaf:isPrimaryTopicOf
wikipedia-fr:Mojżesz_Presburger
dbo:signature
Mojżesz Presburger (signature).jpg
dbo:abstract
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.
dbo:citizenship
dbpedia-fr:Pologne
dbo:occupation
dbpedia-fr:Philosophe dbpedia-fr:Mathématicien
dbo:discipline
dbpedia-fr:Mathématiques