Navigation – Plan du site
Logic and Philosophy of Science in Nancy (I)

Computational Mechanisms and Models of Computation

Marcin Miłkowski
p. 215-228

Résumés

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.

Haut de page

Accès au texte / extrait

Cairn

Texte intégral en libre accès disponible sur le portail Cairn. Le texte intégral en libre accès sera disponible à cette adresse en janvier 2018.
Consulter cet article

Plan

1 Models of computation
2 Modeling relationship
3 Mechanistically adequate models
4 Physarum machine
5 Conclusion
Acknowledgments

Aperçu du début du texte

In this paper, I analyze the relationship between computational mechanisms—physically instantiated computers—and models of computation. Models of computation are used in various fields, including, but not limited to, computer science, information technology, and computational modeling in cognitive science. They are used to analyze various relationships between algorithms, to determine computational capabilities of various machines, to prove theorems about computational complexity of algorithms, and so forth.

I distinguish a special class of models of computation, namely mechanistically interpretable models, and defend the claim that only some of the models usually perused in computer science can be mechanistically adequate models of physical computations; most of them need to be accompanied by additional specifications of the mechanism, which I call instantiation blueprints. It is plausible that both are needed in most computational explanations of cognitive phenomena.

The structure o...

Haut de page

Pour citer cet article

Référence électronique

Marcin Miłkowski, « Computational Mechanisms and Models of Computation », Philosophia Scientiæ [En ligne], 18-3 | 2014, mis en ligne le 19 janvier 2015, consulté le 27 mars 2017. URL : http://philosophiascientiae.revues.org/1019 ; DOI : 10.4000/philosophiascientiae.1019

Haut de page

Auteur

Marcin Miłkowski

Institute of Philosophy and Sociology, Polish Academy of Sciences (Poland)

Haut de page

Droits d’auteur

Tous droits réservés

Haut de page