| Property |
Value |
| dbo:abstract
|
- En logique mathématique, la déduction naturelle est un système formel où les règles de déduction des démonstrations sont proches des façons naturelles de raisonner. C'est une étape importante de l'histoire de la théorie de la démonstration pour plusieurs raisons :
* contrairement aux systèmes à la Hilbert fondés sur des listes d'axiomes logiques plus ou moins ad hoc, la déduction naturelle repose sur un principe systématique de symétrie : pour chaque connecteur, on donne une paire de règles duales (introduction/élimination) ;
* elle a conduit Gentzen à inventer un autre formalisme très important en théorie de la démonstration, encore plus « symétrique » : le calcul des séquents ;
* elle a permis dans les années 1960 d'identifier la première instance de l'isomorphisme de Curry-Howard. La terminologie « déduction naturelle » a été suggérée, par Gentzen, eu égard à l'aspect peu intuitif des systèmes à la Hilbert. (fr)
- En logique mathématique, la déduction naturelle est un système formel où les règles de déduction des démonstrations sont proches des façons naturelles de raisonner. C'est une étape importante de l'histoire de la théorie de la démonstration pour plusieurs raisons :
* contrairement aux systèmes à la Hilbert fondés sur des listes d'axiomes logiques plus ou moins ad hoc, la déduction naturelle repose sur un principe systématique de symétrie : pour chaque connecteur, on donne une paire de règles duales (introduction/élimination) ;
* elle a conduit Gentzen à inventer un autre formalisme très important en théorie de la démonstration, encore plus « symétrique » : le calcul des séquents ;
* elle a permis dans les années 1960 d'identifier la première instance de l'isomorphisme de Curry-Howard. La terminologie « déduction naturelle » a été suggérée, par Gentzen, eu égard à l'aspect peu intuitif des systèmes à la Hilbert. (fr)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 23191 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1955 (xsd:integer)
- 1997 (xsd:integer)
|
| prop-fr:auteur
|
- Gerhard Gentzen (fr)
- Gerhard Gentzen (fr)
|
| prop-fr:isbn
| |
| prop-fr:langue
| |
| prop-fr:lieu
| |
| prop-fr:nom
|
- de Rougemont (fr)
- Lassaigne (fr)
- de Rougemont (fr)
- Lassaigne (fr)
|
| prop-fr:pagesTotales
| |
| prop-fr:prénom
|
- Michel (fr)
- Richard (fr)
- Michel (fr)
- Richard (fr)
|
| prop-fr:titre
|
- Logique et fondements de l'informatique (fr)
- Recherches sur la déduction logique (fr)
- Logique et fondements de l'informatique (fr)
- Recherches sur la déduction logique (fr)
|
| prop-fr:titreOriginal
|
- Untersuchungen über das logische schließen (fr)
- Untersuchungen über das logische schließen (fr)
|
| prop-fr:traducteur
|
- R. Feys et J. Ladrière (fr)
- R. Feys et J. Ladrière (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- Presses Universitaires de France (fr)
- Hermes Science Publications (fr)
- Presses Universitaires de France (fr)
- Hermes Science Publications (fr)
|
| dct:subject
| |
| rdfs:comment
|
- En logique mathématique, la déduction naturelle est un système formel où les règles de déduction des démonstrations sont proches des façons naturelles de raisonner. C'est une étape importante de l'histoire de la théorie de la démonstration pour plusieurs raisons : La terminologie « déduction naturelle » a été suggérée, par Gentzen, eu égard à l'aspect peu intuitif des systèmes à la Hilbert. (fr)
- En logique mathématique, la déduction naturelle est un système formel où les règles de déduction des démonstrations sont proches des façons naturelles de raisonner. C'est une étape importante de l'histoire de la théorie de la démonstration pour plusieurs raisons : La terminologie « déduction naturelle » a été suggérée, par Gentzen, eu égard à l'aspect peu intuitif des systèmes à la Hilbert. (fr)
|
| rdfs:label
|
- Deducción natural (es)
- Dedukcja naturalna (pl)
- Deduzione naturale (it)
- Déduction naturelle (fr)
- Systeme natürlichen Schließens (de)
- 自然演绎 (zh)
- Deducción natural (es)
- Dedukcja naturalna (pl)
- Deduzione naturale (it)
- Déduction naturelle (fr)
- Systeme natürlichen Schließens (de)
- 自然演绎 (zh)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
