Computational mechanisms and models of computation

Marcin Miłkowski

pp. 215-228

in: Peter Schroeder-Heister (ed), Logic and Philosophy of Science in Nancy (I), Philosophia Scientiae 18 (3), 2014.

Abstract

Dans la plupart des descriptions de la réalisation des processus computationnels par des mécanismes physiques, on présuppose une correspondance terme à terme entre les états causalement actifs des processus physiques et les états de la computation. Cependant, soit de telles propositions stipulent qu’un seul modèle de computation est implémenté, soit elles ne reflètent pas la diversité des modèles qui pourraient être implémentés physiquement. Dans ce texte, je soutiens que les descriptions mécanistes de la computation devraient autoriser une large variété de modèles de computation. En particulier, certains modèles non-standard ne devraient pas être exclus a priori. On étudie de façon plus détaillée la relation entre des modèles mathématiques de la computation et des modèles adéquats du point de vue mécaniste.