MODÉLISATION, mathématique
Théorie des modèles
La notion de modèle en logique s'attache à établir le lien précis entre les formules – qui sont des objets finis purement syntaxiques – et les structures elles-mêmes (construites de manière ensembliste), qui pourront posséder ou non les propriétés exprimées par les formules.
Choisissons par exemple le langage composé des symboles =, + et s (en plus des symboles purement logiques). Des formules de ce langage seront par exemple : pour tout x : x + s(y) = s(x + y) ; pour tout x, pour tout y, pour tout z : (x + y) + z = x + (y + z).
Un modèle de ces deux formules sera une structure vérifiant les formules. Un tel modèle pourrait être ici la donnée de (ℕ, s',+') avec ℕ l'ensemble des entiers, s' la fonction successeur de ℕ dans ℕ, +' l'addition entre entiers (il faut distinguer les symboles s et + des objets ensemblistes qui constituent le modèle et qu'on note s' et +'). Il existe bien d'autres possibilités, par exemple prenant comme ensembles d'objets de base des ensembles finis ou infinis non dénombrables.
Parmi ses résultats, la théorie des modèles indique pour le calcul des prédicats du premier ordre (un seul type d'objet est envisagé pour les quantifications « quel que soit » et « il existe ») que :
– si un ensemble de formules F possède un modèle, alors F possède aussi un modèle dont la base est infinie dénombrable (théorème de Löwenheim et Skolem, 1915 et 1920) ;
– si un ensemble de formules F ne possède pas de modèle, alors il existe un sous-ensemble fini de F qui n'en possède pas (théorème de finitude) ;
– un ensemble de formules F possède un modèle, si et seulement si on ne peut déduire de F (en utilisant les règles de raisonnement du calcul des prédicats) une contradiction (théorème de complétude de Kurt Gödel, 1930).
La suite de cet article est accessible aux abonnés
- Des contenus variés, complets et fiables
- Accessible sur tous les écrans
- Pas de publicité
Déjà abonné ? Se connecter
Écrit par
- Jean-Paul DELAHAYE : professeur à l'université des sciences et technologies de Lille
Classification
Autres références
-
AUTOMATIQUE
- Écrit par Hisham ABOU-KANDIL et Henri BOURLÈS
- 11 647 mots
...peut obtenir de diverses manières, par exemple grâce à des techniques fondées sur la logique floue ou les réseaux de neurones (cf. automatisation). Mais, dans ce qui suit, nous nous placerons dans le cas, le plus fréquent, où la « mise en équation » du système peut être réalisée. La modélisation... -
BARRAGES
- Écrit par Claude BESSIÈRE et Pierre LONDE
- 15 837 mots
- 17 médias
Lamodélisation mathématique, en particulier l'utilisation de la méthode des éléments finis tridimensionnels, a remplacé les moyens précédents et la modélisation physique (modèles en plâtre). Les développements de la programmation sur ordinateur de différentes méthodes de calcul (avec génération de... -
BIG DATA
- Écrit par François PÊCHEUX
- 6 148 mots
- 3 médias
...dimensions finies), cela afin d’isoler les enregistrements de la base qui correspondent à un critère de recherche donné. Les méthodes traditionnelles de modélisation de données ainsi que les systèmes de gestion de base de données ont été conçus pour des volumes de données très inférieurs à ceux du big... -
GRANGER GILLES GASTON (1920-2016)
- Écrit par Elisabeth SCHWARTZ
- 1 689 mots
...travail au lecteur, à supposer que celui-ci n’ait pas été rebuté d’emblée par le profil d’un philosophe apparemment limité à l’étude de la logique et des systèmes formels, purs ou appliqués aux sciences humaines et à l’histoire de la philosophie des sciences et de la logique formelle d’un Aristote, un... - Afficher les 10 références
