Property |
Value |
dbo:abstract
|
- En logique mathématique, le théorème de complétude du calcul des prédicats du premier ordre dresse une correspondance entre la sémantique et les démonstrations d'un système de déduction en logique du premier ordre. En termes intuitifs le théorème de complétude construit un pont entre vérité et démontrabilité formelle : tout énoncé vrai est démontrable. Plus précisément le théorème de complétude affirme que si un énoncé est conséquence sémantique d'une théorie que l'on peut décrire dans le formalisme du calcul des prédicats du premier ordre, c'est-à-dire qu'il est vrai dans tous les modèles de cette théorie, alors il est conséquence syntaxique de cette théorie : il existe une démonstration formelle qui déduit cet énoncé à partir des axiomes de la théorie en utilisant les règles d'un système de déduction comme la déduction naturelle, le calcul des séquents ou un système à la Hilbert. Théorème de complétude de la logique du premier ordre — Soit T une théorie de la logique du premier ordre. Soit une formule φ de la logique du premier ordre. Si φ est conséquence sémantique de T alors φ est conséquence syntaxique de T. (fr)
- En logique mathématique, le théorème de complétude du calcul des prédicats du premier ordre dresse une correspondance entre la sémantique et les démonstrations d'un système de déduction en logique du premier ordre. En termes intuitifs le théorème de complétude construit un pont entre vérité et démontrabilité formelle : tout énoncé vrai est démontrable. Plus précisément le théorème de complétude affirme que si un énoncé est conséquence sémantique d'une théorie que l'on peut décrire dans le formalisme du calcul des prédicats du premier ordre, c'est-à-dire qu'il est vrai dans tous les modèles de cette théorie, alors il est conséquence syntaxique de cette théorie : il existe une démonstration formelle qui déduit cet énoncé à partir des axiomes de la théorie en utilisant les règles d'un système de déduction comme la déduction naturelle, le calcul des séquents ou un système à la Hilbert. Théorème de complétude de la logique du premier ordre — Soit T une théorie de la logique du premier ordre. Soit une formule φ de la logique du premier ordre. Si φ est conséquence sémantique de T alors φ est conséquence syntaxique de T. (fr)
|
dbo:isPartOf
| |
dbo:namedAfter
| |
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 23059 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:nom
|
- Théorème (fr)
- Théorème de complétude de la logique du premier ordre (fr)
- Théorème (fr)
- Théorème de complétude de la logique du premier ordre (fr)
|
prop-fr:wikiPageUsesTemplate
| |
prop-fr:énoncé
|
- Soit T une théorie de la logique du premier ordre. Si T est cohérente, alors T admet un modèle. (fr)
- Soit T une théorie de la logique du premier ordre. Soit une formule φ de la logique du premier ordre. Si φ est conséquence sémantique de T alors φ est conséquence syntaxique de T. (fr)
- Soit T une théorie de la logique du premier ordre. Si T est cohérente, alors T admet un modèle. (fr)
- Soit T une théorie de la logique du premier ordre. Soit une formule φ de la logique du premier ordre. Si φ est conséquence sémantique de T alors φ est conséquence syntaxique de T. (fr)
|
dct:subject
| |
rdfs:comment
|
- En logique mathématique, le théorème de complétude du calcul des prédicats du premier ordre dresse une correspondance entre la sémantique et les démonstrations d'un système de déduction en logique du premier ordre. Théorème de complétude de la logique du premier ordre — Soit T une théorie de la logique du premier ordre. Soit une formule φ de la logique du premier ordre. Si φ est conséquence sémantique de T alors φ est conséquence syntaxique de T. (fr)
- En logique mathématique, le théorème de complétude du calcul des prédicats du premier ordre dresse une correspondance entre la sémantique et les démonstrations d'un système de déduction en logique du premier ordre. Théorème de complétude de la logique du premier ordre — Soit T une théorie de la logique du premier ordre. Soit une formule φ de la logique du premier ordre. Si φ est conséquence sémantique de T alors φ est conséquence syntaxique de T. (fr)
|
rdfs:label
|
- Gödel's completeness theorem (en)
- Gödelscher Vollständigkeitssatz (de)
- Teorema de completitud de Gödel (es)
- Teorema di completezza di Gödel (it)
- Théorème de complétude de Gödel (fr)
- Volledigheidsstelling van Gödel (nl)
- Теорема Геделя про повноту (uk)
- ゲーデルの完全性定理 (ja)
|
rdfs:seeAlso
| |
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:knownFor
of | |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is prop-fr:renomméPour
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |