Metodo

International Studies in Phenomenology and Philosophy

Journal | Volume | Article

175065

Cleland on Church's thesis and the limits of computation

Clayton Peterson François Lepage

pp. 69-85

Abstract

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

Published in:

Vidal-Rosset Joseph (2012) Alan Turing. Philosophia Scientiae 16 (3).

Pages: 69-85

DOI: 10.4000/philosophiascientiae.772

Full citation:

Peterson Clayton, Lepage François (2012) „Cleland on Church's thesis and the limits of computation“. Philosophia Scientiae 16 (3), 69–85.