- Computers Are Syntax All the Way Down: Reply to Bozşahin.William J. Rapaport - 2019 - Minds and Machines 29 (2):227-237.details
|
|
Is there any real substance to the claims for a 'new computationalism'?Alberto Hernandez-Espinosa, Hernandez-Quiroz Francisco & Zenil Hector - forthcoming - In Hernandez-Espinosa Alberto, Francisco Hernandez-Quiroz & Hector Zenil (eds.), CiE Computability in Europe 2017. Springer Verlag.details
|
|
Universality, Invariance, and the Foundations of Computational Complexity in the light of the Quantum Computer.Michael Cuffaro - 2018 - In Hansson Sven Ove (ed.), Technology and Mathematics: Philosophical and Historical Investigations. Cham, Switzerland: Springer Verlag. pp. 253-282.details
|
|
Constructivity and Computability in Historical and Philosophical Perspective.Jacques Dubucs & Michel Bourdeau (eds.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
What Is Nature-Like Computation? A Behavioural Approach and a Notion of Programmability.Hector Zenil - 2013 - Philosophy and Technology (3):1-23.details
|
|
What Is Nature-Like Computation? A Behavioural Approach and a Notion of Programmability.Hector Zenil - 2014 - Philosophy and Technology 27 (3):399-421.details
|
|
Godel on computability.W. Sieg - 2006 - Philosophia Mathematica 14 (2):189-207.details
|
|
Parallel architectures and mental computation.Andrew Wells - 1993 - British Journal for the Philosophy of Science 44 (3):531-542.details
|
|
Can Ai be Intelligent?Kazimierz Trzęsicki - 2016 - Studies in Logic, Grammar and Rhetoric 48 (1):103-131.details
|
|
Choice sequences and informal rigour.A. S. Troelstra - 1985 - Synthese 62 (2):217 - 227.details
|
|
Mathematical realism and gödel's incompleteness theorems.Richard Tieszen - 1994 - Philosophia Mathematica 2 (3):177-201.details
|
|
Set theory and physics.K. Svozil - 1995 - Foundations of Physics 25 (11):1541-1560.details
|
|
Logically possible machines.Eric Steinhart - 2002 - Minds and Machines 12 (2):259-280.details
|
|
Turing oracle machines, online computing, and three displacements in computability theory.Robert I. Soare - 2009 - Annals of Pure and Applied Logic 160 (3):368-399.details
|
|
Computability and recursion.Robert I. Soare - 1996 - Bulletin of Symbolic Logic 2 (3):284-321.details
|
|
Gödel’s Philosophical Challenge.Wilfried Sieg - 2020 - Studia Semiotyczne 34 (1):57-80.details
|
|
Two dogmas of computationalism.Oron Shagrir - 1997 - Minds and Machines 7 (3):321-44.details
|
|
Physical hypercomputation and the church–turing thesis.Oron Shagrir & Itamar Pitowsky - 2003 - Minds and Machines 13 (1):87-101.details
|
|
The scope of Turing's analysis of effective procedures.Jeremy Seligman - 2002 - Minds and Machines 12 (2):203-220.details
|
|
Evolved Computing Devices and the Implementation Problem.Lukáš Sekanina - 2007 - Minds and Machines 17 (3):311-329.details
|
|
When physical systems realize functions.Matthias Scheutz - 1999 - Minds and Machines 9 (2):161-196.details
|
|
Implicit and Explicit Examples of the Phenomenon of Deviant Encodings.Paula Quinon - 2020 - Studies in Logic, Grammar and Rhetoric 63 (1):53-67.details
|
|
Can Church’s thesis be viewed as a Carnapian explication?Paula Quinon - 2019 - Synthese 198 (Suppl 5):1047-1074.details
|
|
Quantum Speed‐up of Computations.Itamar Pitowsky - 2002 - Philosophy of Science 69 (S3):S168-S177.details
|
|
Quantum speed-up of computations.Itamar Pitowsky - 2002 - Proceedings of the Philosophy of Science Association 2002 (3):S168-S177.details
|
|
The Physical Church–Turing Thesis: Modest or Bold?Gualtiero Piccinini - 2011 - British Journal for the Philosophy of Science 62 (4):733-769.details
|
|
Alan Turing and the mathematical objection.Gualtiero Piccinini - 2003 - Minds and Machines 13 (1):23-48.details
|
|
How to Make a Meaningful Comparison of Models: The Church–Turing Thesis Over the Reals.Maël Pégny - 2016 - Minds and Machines 26 (4):359-388.details
|
|
Effective Computation by Humans and Machines.Shagrir Oron - 2002 - Minds and Machines 12 (2):221-240.details
|
|
Practical Intractability: A Critique of the Hypercomputation Movement. [REVIEW]Aran Nayebi - 2014 - Minds and Machines 24 (3):275-305.details
|
|
Paper machines.Daniele Mundici & Wilfried Seig - 1995 - Philosophia Mathematica 3 (1):5-30.details
|
|
On the Possibilities of Hypercomputing Supertasks.Vincent C. Müller - 2011 - Minds and Machines 21 (1):83-96.details
|
|
Transcending Turing computability.B. J. Maclennan - 2003 - Minds and Machines 13 (1):3-22.details
|
|
Is the human mind a Turing machine?D. King - 1996 - Synthese 108 (3):379-89.details
|
|
Quantum hypercomputation.Tien D. Kieu - 2002 - Minds and Machines 12 (4):541-561.details
|
|
Thinking machines: Some fundamental confusions. [REVIEW]John T. Kearns - 1997 - Minds and Machines 7 (2):269-87.details
|
|
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
|
|
On the parallel computation thesis.Nachum Dershowitz & Evgenia Falkovich-Derzhavetz - 2016 - Logic Journal of the IGPL 24 (3):346-374.details
|
|
Explication as a Three-Step Procedure: the case of the Church-Turing Thesis.Matteo De Benedetto - 2021 - European Journal for Philosophy of Science 11 (1):1-28.details
|
|
Informal and Absolute Proofs: Some Remarks from a Gödelian Perspective.Gabriella Crocco - 2019 - Topoi 38 (3):561-575.details
|
|
Hypercomputation and the Physical Church‐Turing Thesis.Paolo Cotogno - 2003 - British Journal for the Philosophy of Science 54 (2):181-223.details
|
|
What is computation?B. Jack Copeland - 1996 - Synthese 108 (3):335-59.details
|
|
Physical Computation: How General are Gandy’s Principles for Mechanisms?B. Jack Copeland & Oron Shagrir - 2007 - Minds and Machines 17 (2):217-231.details
|
|