- Reflections on gödel's and Gandy's reflections on Turing's thesis.David Israel - 2002 - Minds and Machines 12 (2):181-201.details
|
|
The church-Turing thesis and effective mundane procedures.Leon Horsten - 1995 - Minds and Machines 5 (1):1-8.details
|
|
Computability of String Functions Over Algebraic Structures Armin Hemmerling.Armin Hemmerling - 1998 - Mathematical Logic Quarterly 44 (1):1-44.details
|
|
Quantum algorithms: Philosophical lessons.Amit Hagar - 2007 - Minds and Machines 17 (2):233-247.details
|
|
The Explanatory Role of Computation in Cognitive Science.Nir Fresco - 2012 - Minds and Machines 22 (4):353-380.details
|
|
Concrete Digital Computation: What Does it Take for a Physical System to Compute? [REVIEW]Nir Fresco - 2011 - Journal of Logic, Language and Information 20 (4):513-537.details
|
|
Turing-, human- and physical computability: An unasked question. [REVIEW]Eli Dresner - 2008 - Minds and Machines 18 (3):349-355.details
|
|
What is church's thesis? An outline.Jon Doyle - 2002 - Minds and Machines 12 (4):519-520.details
|
|
Johan van Benthem on Logic and Information Dynamics.Alexandru Baltag & Sonja Smets (eds.) - 2014 - Cham, Switzerland: Springer International Publishing.details
|
|
On the impossibility of using analogue machines to calculate non-computable functions.Robin O. Gandy - manuscript - Translated by Aran Nayebi.details
|
|
Péter on Church's Thesis, Constructivity and Computers.Mate Szabo - 2021 - In Liesbeth De Mol, Andreas Weiermann, Florin Manea & David Fernández-Duque (eds.), Connecting with Computability. Proceedings of Computability in Europe. pp. 434-445.details
|
|
The philosophy of computer science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.details
|
|
Computing, Modelling, and Scientific Practice: Foundational Analyses and Limitations.Filippos A. Papagiannopoulos - 2018 - Dissertation, University of Western Ontariodetails
|
|
The broad conception of computation.Jack Copeland - 1997 - American Behavioral Scientist 40 (6):690-716.details
|
|
Computationalism under attack.Roberto Cordeschi & Marcello Frixione - 2007 - In M. Marraffa, M. De Caro & F. Ferretti (eds.), Cartographies of the Mind: Philosophy and Psychology in Intersection. Springer.details
|
|
Constructive mathematics, Church's Thesis, and free choice sequences.David A. Turner - 2021 - In L. De Mol, A. Weiermann, F. Manea & D. Fernández-Duque (eds.), ) Connecting with Computability. CiE 2021. Lecture Notes in Computer Science, vol 12813.details
|
|
A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Springer International Publishing. pp. 289-337.details
|
|
Computing, Modelling, and Scientific Practice: Foundational Analyses and Limitations.Philippos Papayannopoulos - 2018 - Dissertation, details
|
|
Effective Physical Processes and Active Information in Quantum Computing.Ignazio Licata - 2007 - Quantum Biosystems 1 (1):51-65.details
|
|
Foundational analyses of computation.Yuri Gurevich - 2012 - In S. Barry Cooper (ed.), How the World Computes. pp. 264--275.details
|
|
Logical openness in cognitive models.Prof Ignazio Licata - 2008 - Epistemologia:177-192.details
|
|