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

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

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbpedia-shhttp://sh.dbpedia.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-cahttp://ca.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
n31http://g.co/kg/m/
dbpedia-behttp://be.dbpedia.org/resource/
dbpedia-ruhttp://ru.dbpedia.org/resource/
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-hrhttp://hr.dbpedia.org/resource/
dbpedia-svhttp://sv.dbpedia.org/resource/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-pthttp://pt.dbpedia.org/resource/
n14http://fr.dbpedia.org/resource/Modèle:
dbpedia-cshttp://cs.dbpedia.org/resource/
dbpedia-lahttp://la.dbpedia.org/resource/
dbpedia-simplehttp://simple.dbpedia.org/resource/
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n17http://www.thocp.net/biographies/papers/
dbpedia-arhttp://ar.dbpedia.org/resource/
owlhttp://www.w3.org/2002/07/owl#
dbpedia-ithttp://it.dbpedia.org/resource/
n18http://ma-graph.org/entity/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-nlhttp://nl.dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
dbpedia-rohttp://ro.dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Problème_de_la_décision
rdfs:label
Avgörbarhetsproblemet 可判定性 Проблема разрешения Задача розв'язності مسألة القرار (رياضيات) Entscheidungsproblem Problème de la décision
rdfs:comment
En logique mathématique, on appelle problème de la décision ou, sous son nom d'origine en allemand, Entscheidungsproblem, le fait de déterminer de façon mécanique (par un algorithme) si un énoncé est un théorème de la logique égalitaire du premier ordre, c’est-à-dire s'il se dérive dans un système de déduction sans autres axiomes que ceux de l'égalité (exemples : système à la Hilbert, calcul des séquents, déduction naturelle). De façon équivalente par le théorème de complétude, il s'agit finalement de savoir si un énoncé est universellement valide, c’est-à-dire vrai dans tous les modèles (de l'égalité).
owl:sameAs
dbpedia-la:Entscheidungsproblem dbpedia-be:Праблема_вырашальнасці dbpedia-simple:Entscheidungsproblem dbr:Entscheidungsproblem dbpedia-hr:Entscheidungsproblem dbpedia-pt:Entscheidungsproblem n18:206005988 dbpedia-sv:Avgörbarhetsproblemet dbpedia-sh:Entscheidungsproblem dbpedia-uk:Задача_розв'язності dbpedia-ru:Проблема_разрешения dbpedia-ar:مسألة_القرار_(رياضيات) dbpedia-nl:Entscheidungsproblem dbpedia-es:Entscheidungsproblem dbpedia-it:Entscheidungsproblem dbpedia-cs:Entscheidungsproblem dbpedia-ro:Problema_deciziei n31:02mvp dbpedia-ca:Entscheidungsproblem dbpedia-zh:可判定性 wikidata:Q11030584
dbo:wikiPageID
59778
dbo:wikiPageRevisionID
180760545
dbo:wikiPageWikiLink
category-fr:Décision dbpedia-fr:Déduction_naturelle category-fr:Logique_mathématique dbpedia-fr:Axiomes_de_Peano dbpedia-fr:Gottfried_Wilhelm_Leibniz dbpedia-fr:Problème_de_décision dbpedia-fr:Calcul_des_prédicats dbpedia-fr:Calcul_des_séquents dbpedia-fr:David_Hilbert dbpedia-fr:Théorèmes_d'incomplétude_de_Gödel dbpedia-fr:Alan_Turing dbpedia-fr:Théorème_de_complétude_de_Gödel dbpedia-fr:Système_à_la_Hilbert dbpedia-fr:Wilhelm_Ackermann dbpedia-fr:Logique_mathématique dbpedia-fr:Décidabilité dbpedia-fr:Arithmétique_de_Presburger dbpedia-fr:Algorithmique dbpedia-fr:Alonzo_Church
dbo:wikiPageExternalLink
n17:turing_oncomputablenumbers_1936.pdf
dbo:wikiPageLength
7402
dct:subject
category-fr:Logique_mathématique category-fr:Décision
prop-fr:wikiPageUsesTemplate
n14:P. n14:Commentaire_biblio n14:À_sourcer n14:Cori-Lascar_II n14:Énoncé n14:Portail n14:S- n14:Article n14:ISBN n14:Langue
prov:wasDerivedFrom
wikipedia-fr:Problème_de_la_décision?oldid=180760545&ns=0
prop-fr:année
1938 1936 1937
prop-fr:doi
10.1112
prop-fr:langue
en
prop-fr:lienAuteur
Alonzo Church Alan Turing
prop-fr:lienPériodique
London Mathematical Society#Publications
prop-fr:lireEnLigne
n17:turing_oncomputablenumbers_1936.pdf
prop-fr:nom
Turing Church
prop-fr:pages
40 245 230 544
prop-fr:prénom
Alonzo Alan
prop-fr:sousTitre
A Correction
prop-fr:série
2
prop-fr:titre
An Unsolvable Problem of Elementary Number Theory [idem] On Computable Numbers, with an Application to the Entscheidungsproblem A Note on the Entscheidungsproblem
prop-fr:volume
1 58 42 43
prop-fr:revue
Proc. London Math. Soc. Journal of Symbolic Logic American Journal of Mathematics
foaf:isPrimaryTopicOf
wikipedia-fr:Problème_de_la_décision
dbo:abstract
En logique mathématique, on appelle problème de la décision ou, sous son nom d'origine en allemand, Entscheidungsproblem, le fait de déterminer de façon mécanique (par un algorithme) si un énoncé est un théorème de la logique égalitaire du premier ordre, c’est-à-dire s'il se dérive dans un système de déduction sans autres axiomes que ceux de l'égalité (exemples : système à la Hilbert, calcul des séquents, déduction naturelle). De façon équivalente par le théorème de complétude, il s'agit finalement de savoir si un énoncé est universellement valide, c’est-à-dire vrai dans tous les modèles (de l'égalité). Le problème de la décision est un exemple de problème de décision : une question de décidabilité au sens algorithmique. Ici la question est celle de la décidabilité du calcul des prédicats égalitaire du premier ordre : l'ensemble des énoncés universellement valides du calcul des prédicats du premier ordre est-il décidable ? Le problème de la décision dépend en fait du choix du langage du premier ordre : sa signature, les « briques » de base qui permettent la construction des énoncés, les symboles de constantes, de fonctions (ou opérations), et de prédicat (par exemple 0, +, ≤…). Dans un langage donné (exemple : dans l'arithmétique de Peano, c'est le langage arithmétique), une solution positive AU problème de la décision fournit une solution positive AUX problèmes de la décision pour toutes les théories finiment axiomatisables de ce langage. En effet, un énoncé C se déduit d'un système fini d'axiomes si et seulement si on peut dériver en logique pure que la conjonction de ces axiomes entraîne C.