Après les « lois mathématiques » (19ème siècle) et les « modèles mathématiques » (années 1930), les sciences dites « non-exactes » recourent aux simulations numériques (années 1950) puis informatiques (années 1970). À cela, plusieurs raisons : la complexité des objets, l'évolution de la référence que représente la physique avec ses nouveaux formalismes, l'évolution conjointe des techniques de calcul (matérielles et formelles), enfin l'émergence de l'ordinateur et des langages évolués. Or, la modélisation puis la simulation imposèrent des réévaluations du rôle épistémique dévolu aux formalismes depuis la mécanique rationnelle. Pour livrer un pan d'histoire des sciences et des techniques de modélisation, une histoire intégrative et compréhensive est nécessaire. Avec cet angle de vue, sensible aux philosophies de l'époque, aux ontologies des acteurs, comme aux contraintes techniques des formalismes, des instruments et des institutions, on peut voir trois grandes époques dans le destin récent des formalisations des plantes : un déracinement par rapport à la classique supposition d'un fondement dans le réel des lois mathématiques (1922-1937) ; une dispersion des formalismes et une expansion des modèles théoriques et pragmatiques (1938-1967) ; enfin une convergence des formalismes et des axiomatiques autour des infrastructures informatiques pluriformalisées (à partir de 1967). Notre thèse historique et épistémologique est celle-ci : l'ordinateur, après avoir amplifié la dispersion des formalismes, tend à la neutraliser en offrant un nouveau terrain d'expérimentation. Le rejet des représentations fidèles (iconoclasme) des actuelles épistémologies est à rectifier en profondeur.
| Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00008810 |
| Date | 29 November 2004 |
| Creators | Varenne, Franck |
| Publisher | Université Lumière - Lyon II |
| Source Sets | CCSD theses-EN-ligne, France |
| Language | French |
| Detected Language | French |
| Type | PhD thesis |
Page generated in 0.0021 seconds