Skip to main

Mathématiques (thésaurus)

Search from vocabulary

Concept information

Término preferido

déduction naturelle  

Definición

  • 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.
    (Wikipedia, L'Encylopédie Libre, https://fr.wikipedia.org/wiki/D%C3%A9duction_naturelle)

Concepto genérico

En otras lenguas

URI

http://data.loterre.fr/ark:/67375/PSR-FG3QCS7L-N

Descargue este concepto:

RDF/XML TURTLE JSON-LD Creado 28/7/23, última modificación 18/10/24