Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Théorie complète
Résumé
En logique mathématique, une théorie complète est une théorie qui est équivalente à un ensemble maximal cohérent de propositions ; ceci signifie qu'elle est cohérente et que toute extension propre ne l'est plus. Pour des théories logiques qui contiennent la logique propositionnelle classique, ceci équivaut à la condition que pour toute proposition φ du langage de la théorie, soit elle contient φ, soit elle contient sa négation ¬φ.
Comme le montrent les théorèmes d'incomplétude de Gödel, les théories du premier ordre qui sont récursivement axiomatisables et qui sont assez riches pour exprimer l'arithmétique ne peuvent pas être complètes.
L'usage du mot complet dans théorie complète est à différencier de celui utilisé lorsque l'on dit qu'une logique est complète, ce qui exprime que tous les énoncés sémantiquement valides sont des théorèmes prouvables (pour une définition appropriée du sens de « sémantiquement valide »). Le théorème de complétude de Gödel utilise cette notion de complétude.
Les théories complètes sont fermées pour un certain nombre de propriétés qui modélisent le :
pour un ensemble , on a si et seulement si et ;
pour un ensemble , on a si et seulement si ou .
Les ensembles complets maximaux constituent un outil fondamental dans la théorie des modèles de la logique classique et de la logique modale. Leur existence dans un cas particulier est en général une conséquence immédiate du lemme de Zorn et est basée sur l'idée qu'une contradiction implique d'un nombre fini de prémisses.
En logique modale, la collection des ensembles cohérents maximaux étendant une théorie T (fermée pour la règle d'inférence de nécessitation) peut être munie d'une structure de modèle de sémantique de Kripke de T, appelé le modèle canonique.
Quelques exemples de théories complètes :
Arithmétique de Presburger ;
Les axiomes de Tarski pour la géométrie euclidienne ;
La théorie des ;
La théorie des corps algébriquement clos de caractéristique donnée ;
La théorie des corps réel clos ;
Toute théorie sans modèle fini qui est k-catégorique pour un cardinal infini k supérieur ou égal à celui de son langage (Théorème de Łoś-Vaught).
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.