théorie des modèles

Français modifier

Étymologie modifier

Étymologie manquante ou incomplète. Si vous la connaissez, vous pouvez l’ajouter en cliquant ici.

Locution nominale modifier

théorie des modèles \te.ɔ.ʁi de mɔ.dɛl\ féminin

  1. (Mathématiques) Branche de la logique mathématique qui traite de la construction et de la classification des structures.
    • La théorie des modèles, nouvelle branche de la logique, étudie donc comment une même « vérité » couchée dans le langage peut se réaliser dans des mondes mathématiques variables, comment elle se laisse projeter de manière plurielle dans des situations mathématiques. — (Jean-Michel Salanskis, Crépuscule du théorique ?, Les Belles Lettres, collection « encre marine », 2016, page 44)

Traductions modifier

Voir aussi modifier