La notion de modèle en mathématiques se présente sous un double aspect : d'une part, les mathématiques permettent de modéliser, c'est-à-dire de représenter, toutes sortes de situations, d'objets et de structures du monde réel, l'étude mathématique ou les simulations informatiques de ces représentations nous informant – lorsque les représentations sont bonnes – sur le monde réel ; d'autre part, une notion précise et formelle de modèle est définie et étudiée en logique mathématique par la théorie des modèles, ce qui établit un lien précis entre objets syntaxiques (les formules) et structures mathématiques, puis produit sous la forme de théorèmes toutes sortes d'informations sur la nature de ce lien, le tout constituant une théorie abstraite de l'activité de modélisation au sens précédent.
Utiliser les mathématiques pour modéliser le monde ou certains de ses aspects particuliers est évidemment au cœur même de l'activité du mathématicien appliqué. Le mot « modèle » est alors pris dans le sens de représentation : les objets mathématiques jouent le rôle des objets réels, et de leur […]
