Les deux formes de la thèse de Church-Turing et l’épistémologie du calcul
Work
Year: 2012
Type: article
Abstract: La thèse de Church-Turing stipule que toute fonction calculable est calculable par une machine de Turing. En distinguant, à la suite de nombreux auteurs, une forme algorithmique de la thèse de Church-... more
Source: Philosophia Scientae
Author Maël Pégny
Cites: 15
Cited by: 3
Related to: 10
FWCI:
Citation percentile (by year/subfield): 57.51
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze