Journal Articles Matière première : revue d'épistémologie [2010-....] Year : 2008

Modèles et simulations : pluriformaliser, simuler, remathématiser

Abstract

A partir d'analyses de cas, cet article soutient trois thèses successsives et articulées au sujet de certaines tendances actuelles en modélisation intégrative : 1) Ce que nous proposons d'appeler du terme générique de pluriformalisation se substitue souvent à une modélisation monoformalisée (c'est-à-dire élaborée en usant d'un seul langage formel : géométrie, analyse, topologie, lois de probabilité, théorie des graphes, ...) et tend à devenir une phase courante, si ce n'est nécessaire, du processus plus général de modélisation des sytèmes complexes. 2) Cette pratique croissante de la pluriformalisation s'accompagne d'un passage de ce qu'on appelait les " méthodes des modèles " à un ensemble de pratiques de simulation informatique à tendance intégrative. 3) À la différence de la traditionnelle simulation numérique conçue comme calcul de modèle, la simulation informatique pluriformalisée inverse les instrumentalisations traditionnelles entre mathématiques et informatique. Elle donne en effet un rôle d'abord local et ancillaire aux mathématiques et aux construits logiques et algorithmiques associés (équations itératives, automates formels, grammaires génératives, etc.) co-implémentables (c'est-à-dire mutiples et codables de manière conjointe dans le programme informatique). Et c'est seulement par la suite, une fois construite, stabilisée et éventuellement calibrée, que la simulation intégrative peut servir de terrain d'enquête, cela pour une phase de remathématisation où des modèles mathématiques aux syntaxes renouvelées peuvent reprendre la main sur les simulations, sur le papier puis dans les programmes (qui s'en trouvent dès lors simplifiés).

Fichier principal
Vignette du fichier
Varenne_MP3_2008_Pluriformaliser.pdf (947.36 Ko) Télécharger le fichier
Origin Explicit agreement for this submission
Licence
Loading...

Dates and versions

hal-00594771 , version 1 (20-05-2011)

Licence

Identifiers

  • HAL Id : hal-00594771 , version 1

Cite

Franck Varenne. Modèles et simulations : pluriformaliser, simuler, remathématiser. Matière première : revue d'épistémologie [2010-..], 2008, I (3), pp. 153-180. ⟨hal-00594771⟩
459 View
804 Download

Share

  • More