8. Théories métalogiques
Les deux principales théories de la logique formelle sont :
la théorie de la démonstration (de nature syntactique) ;
la théorie des modèles (de nature sémantique).
8.1 Théorie de la démonstration
La théorie de la démonstration , aussi connue sous le nom de théorie de la preuve ( proof theory ), est une branche de la logique mathématique fondée par le mathématicien allemand D. Hilbert au début du XX e siècle avec pour objectif de démontrer la cohérence des mathématiques. Cet objectif a été invalidé par le célèbre théorème d’incomplétude...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Théories métalogiques
Logique et disciplines associées
Sources bibliographiques
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Quiz et tests de validation présents dans cet article
Entraînez-vous autant que vous le voulez avec les quiz d'entraînement.
Article inclus dans l'offre
"Mathématiques"
(
228 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
