Une contribution a l'etude des fondements de l'informatique

A contribution to the study of the foundations of computer science

• Auteur / Autrice : DIDIER VAUDENE
• Direction : Maurice Nivat
• Type : Thèse de doctorat
• Discipline(s) : Sciences. Mathématiques. Informatique
• Date : Soutenance en 1992
• Etablissement(s) : Paris 6

Résumé

Diverses evidences impliquees par la conception habituelle de l'ecriture bloquent le denouement de plusieurs problematiques liees, par exemple, aux transformations de programmes, aux niveaux de representation, d'abstraction et de specification, ainsi qu'a l'articulation entre l'informatique, les sciences experimentales et les sciences exactes. Compte-tenu de l'omnipresence de l'ecriture dans les sciences, et plus particulierement de son role mediateur a l'egard des theories formalisees (les theories de la calculabilite entre autres), le reexamen du rapport entre le savoir et l'ecriture implique un reexamen de plusieurs evidences ou postulats relatifs au fondement des sciences. En montrant que la possibilite de reinterpreter des theories, deja familiere aux physiciens depuis un siecle, est un trait structural des theories fondees (et non pas une particularite des sciences experimentales), il devient concevable d'en generaliser le principe a toute theorie scientifique (mathematiques et logique y compris) pour conjuguer la recuperation de l'acquis tangible anterieurement obtenu, et une reinterpretation de cet acquis relativement a de nouveaux postulats. La reinterpretation proposee dans cette these conduit a mettre en evidence l'utilisation de regressions sans fin, de traces indecelables et de glissements d'ecritures pour amorcer le denouement de plusieurs problematiques actuellement ouvertes d'un point de vue theorique, celle des changements de niveaux en particulier