- 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
|
|
Johan van Benthem on Logic and Information Dynamics.Alexandru Baltag & Sonja Smets (eds.) - 2014 - Cham, Switzerland: Springer International Publishing.details
|
|
Effective Computation by Humans and Machines.Shagrir Oron - 2002 - Minds and Machines 12 (2):221-240.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
|
|
Effective Physical Processes and Active Information in Quantum Computing.Ignazio Licata - 2007 - Quantum Biosystems 1 (1):51-65.details
|
|
(1 other version)What Is Nature-Like Computation? A Behavioural Approach and a Notion of Programmability.Hector Zenil - 2013 - Philosophy and Technology (3):1-23.details
|
|
The Explanatory Role of Computation in Cognitive Science.Nir Fresco - 2012 - Minds and Machines 22 (4):353-380.details
|
|
On the Possibilities of Hypercomputing Supertasks.Vincent C. Müller - 2011 - Minds and Machines 21 (1):83-96.details
|
|
Godel on computability.W. Sieg - 2006 - Philosophia Mathematica 14 (2):189-207.details
|
|
Logical openness in cognitive models.Prof Ignazio Licata - 2008 - Epistemologia:177-192.details
|
|
Parallel architectures and mental computation.Andrew Wells - 1993 - British Journal for the Philosophy of Science 44 (3):531-542.details
|
|
Mathematical realism and gödel's incompleteness theorems.Richard Tieszen - 1994 - Philosophia Mathematica 2 (3):177-201.details
|
|
Computability and recursion.Robert I. Soare - 1996 - Bulletin of Symbolic Logic 2 (3):284-321.details
|
|
Computationalism under attack.Roberto Cordeschi & Marcello Frixione - 2007 - In M. Marraffa, M. Caro & F. Ferretti (eds.), Cartographies of the Mind: Philosophy and Psychology in Intersection. Springer.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
|
|
Evolved Computing Devices and the Implementation Problem.Lukáš Sekanina - 2007 - Minds and Machines 17 (3):311-329.details
|
|
Two dogmas of computationalism.Oron Shagrir - 1997 - Minds and Machines 7 (3):321-44.details
|
|
The broad conception of computation.Jack Copeland - 1997 - American Behavioral Scientist 40 (6):690-716.details
|
|
The church-Turing thesis and effective mundane procedures.Leon Horsten - 1995 - Minds and Machines 5 (1):1-8.details
|
|
Transcending Turing computability.B. J. Maclennan - 2003 - Minds and Machines 13 (1):3-22.details
|
|
Alan Turing and the mathematical objection.Gualtiero Piccinini - 2003 - Minds and Machines 13 (1):23-48.details
|
|
On the impossibility of using analogue machines to calculate non-computable functions.Robin O. Gandy - manuscript - Translated by Aran Nayebi.details
|
|
Constructivity and Computability in Historical and Philosophical Perspective.Jacques Dubucs & Michel Bourdeau (eds.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Computing, Modelling, and Scientific Practice: Foundational Analyses and Limitations.Filippos A. Papagiannopoulos - 2018 - Dissertation, University of Western Ontariodetails
|
|
Computing, Modelling, and Scientific Practice: Foundational Analyses and Limitations.Philippos Papayannopoulos - 2018 - Dissertation, details
|
|
Computers Aren’t Syntax All the Way Down or Content All the Way Up.Cem Bozşahin - 2018 - Minds and Machines 28 (3):543-567.details
|
|
Hypercomputation and the Physical Church‐Turing Thesis.Paolo Cotogno - 2003 - British Journal for the Philosophy of Science 54 (2):181-223.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
|
|
(1 other version)The philosophy of computer science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.details
|
|
Choice sequences and informal rigour.A. S. Troelstra - 1985 - Synthese 62 (2):217 - 227.details
|
|
What is church's thesis? An outline.Jon Doyle - 2002 - Minds and Machines 12 (4):519-520.details
|
|
When physical systems realize functions.Matthias Scheutz - 1999 - Minds and Machines 9 (2):161-196.details
|
|
What is computation?B. Jack Copeland - 1996 - Synthese 108 (3):335-59.details
|
|
Informal and Absolute Proofs: Some Remarks from a Gödelian Perspective.Gabriella Crocco - 2019 - Topoi 38 (3):561-575.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
|
|
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. Cham, Switzerland: Springer International Publishing. pp. 289-337.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
|
|
Hypercomputation.B. Jack Copeland - 2002 - Minds and Machines 12 (4):461-502.details
|
|
Proving church's thesis.Robert Black - 2000 - Philosophia Mathematica 8 (3):244--58.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
|
|
Properties of the atoms in finitely supported structures.Andrei Alexandru & Gabriel Ciobanu - 2020 - Archive for Mathematical Logic 59 (1-2):229-256.details
|
|
(1 other version)Computers Are Syntax All the Way Down: Reply to Bozşahin.William J. Rapaport - 2019 - Minds and Machines 29 (2):227-237.details
|
|
Set theory and physics.K. Svozil - 1995 - Foundations of Physics 25 (11):1541-1560.details
|
|
Turing-, human- and physical computability: An unasked question. [REVIEW]Eli Dresner - 2008 - Minds and Machines 18 (3):349-355.details
|
|
Logically possible machines.Eric Steinhart - 2002 - Minds and Machines 12 (2):259-280.details
|
|
Quantum hypercomputation.Tien D. Kieu - 2002 - Minds and Machines 12 (4):541-561.details
|
|
On effective procedures.Carol E. Cleland - 2002 - Minds and Machines 12 (2):159-179.details
|
|
The impact of the lambda calculus in logic and computer science.Henk Barendregt - 1997 - Bulletin of Symbolic Logic 3 (2):181-215.details
|
|
The dependence of computability on numerical notations.Ethan Brauer - 2021 - Synthese 198 (11):10485-10511.details
|
|