Repository | Journal | Volume | Articles
(2012) Philosophia Scientiae 16 (3).
Cet article se veut une critique de la thèse défendue par [Cleland 1993], laquelle soutient que la thèse de Church doit être rejetée puisque les limites du calcul dépendent de la structure physique du monde. Dans un premier temps, nous offrons un (très) bref aperçu de la thèse de Church puis nous présentons l argument de Cleland. Par la suite, nous proposons une analyse critique de son argument, ce qui nous amènera à faire quelques distinctions conceptuelles par rapport aux notions qui concernent la calculabilité. Finalement, nous montrons que les limites du calcul ne sont pas physiques mais bien logiques. En résumé, notre argument est que les limites du calcul sont déterminées en partie par le fait qu’une procédure effective doit pouvoir être décrite de manière finie.
Publication details
DOI: 10.4000/philosophiascientiae.772
Full citation:
Peterson, C. , Lepage, F. (2012). Cleland on Church's thesis and the limits of computation. Philosophia Scientiae 16 (3), pp. 69-85.
This document is available at an external location. Please follow the link below. Hold the CTRL button to open the link in a new window.
