- From symbols to icons: the return of resemblance in the cognitive neuroscience revolution.Daniel Williams & Lincoln Colling - 2018 - Synthese 195 (5):1941-1967.details
|
|
What is Experimental Philosophy of Mathematics?Kazuhisa Todayama - 2015 - Annals of the Japan Association for Philosophy of Science 23:53-58.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
|
|
Turing's Fallacies.Timm Lampert - 2017details
|
|
Heuristics, Concepts, and Cognitive Architecture: Toward Understanding How The Mind Works.Sheldon J. Chow - unknowndetails
|
|
Computing with Numbers and Other Non-syntactic Things: De re Knowledge of Abstract Objects.Stewart Shapiro - 2017 - Philosophia Mathematica 25 (2):268-281.details
|
|
Computable and Continuous Partial Homomorphisms on Metric Partial Algebras.Viggo Stoltenberg-Hansen & John V. Tucker - 2003 - Bulletin of Symbolic Logic 9 (3):299-334.details
|
|
Hypercomputation and the Physical Church‐Turing Thesis.Paolo Cotogno - 2003 - British Journal for the Philosophy of Science 54 (2):181-223.details
|
|
Deviant encodings and Turing’s analysis of computability.B. Jack Copeland & Diane Proudfoot - 2010 - Studies in History and Philosophy of Science Part A 41 (3):247-252.details
|
|
Computation vs. information processing: why their difference matters to cognitive science.Gualtiero Piccinini & Andrea Scarantino - 2010 - Studies in History and Philosophy of Science Part A 41 (3):237-246.details
|
|
Copeland and Proudfoot on computability.Michael Rescorla - 2012 - Studies in History and Philosophy of Science Part A 43 (1):199-202.details
|
|
Mitä uutta modernissa logiikassa?Panu Raatikainen - 2004 - In Raatikainen Panu (ed.), Filosofisia tutkielmia – Philosophical Studies in honorem Leila Haaparanta. Tampere University Press.details
|
|
Chains of Life: Turing, Lebensform, and the Emergence of Wittgenstein’s Later Style.Juliet Floyd - 2016 - Nordic Wittgenstein Review 5 (2):7-89.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
|
|
Generating, solving and the mathematics of Homo Sapiens. Emil Post's views on computation.Liesbeth de Mol - unknowndetails
|
|
Quantum Deep Learning Triuniverse.Angus McCoss - 2016 - Journal of Quantum Information Science 6 (4).details
|
|
Simplicity, Inference and Modelling: Keeping It Sophisticatedly Simple.Arnold Zellner, Hugo A. Keuzenkamp & Michael McAleer (eds.) - 2001 - New York: Cambridge University Press.details
|
|
¿Qué es un algoritmo? Una respuesta desde la obra de Wittgenstein.Sergio Mota - 2015 - Endoxa 36:317.details
|
|
The Philosophy of Cognitive Science.Margaret A. Boden - 2001 - Royal Institute of Philosophy Supplement 48:209-226.details
|
|
For a dynamical approach to human computation.Marco Giunti & Simone Pinna - 2016 - Logic Journal of the IGPL 24 (4).details
|
|
Computably Isometric Spaces.Alexander G. Melnikov - 2013 - Journal of Symbolic Logic 78 (4):1055-1085.details
|
|
On Optimal Inverters.Yijia Chen & Jörg Flum - 2014 - Bulletin of Symbolic Logic 20 (1):1-23.details
|
|
Computation, hypercomputation, and physical science.Konstantine Arkoudas - 2008 - Journal of Applied Logic 6 (4):461-475.details
|
|
Computational creativity.Ramon López de Mántaras Badia - 2013 - Arbor 189 (764):a082.details
|
|
Alan Turing and the origins of complexity.Miguel Angel Martin-Delgado - 2013 - Arbor 189 (764):a083.details
|
|
Alan Turing: person of the XXth century?José M. Sánchez Ron - 2013 - Arbor 189 (764):a085.details
|
|
Computability of validity and satisfiability in probability logics over finite and countable models.Greg Yang - 2015 - Journal of Applied Non-Classical Logics 25 (4):324-372.details
|
|
The breadth of semantics: reply to critics.Ernie Lepore & Matthew Stone - 2016 - Inquiry: An Interdisciplinary Journal of Philosophy 59 (2):195-206.details
|
|
Wie Maschinen denken.Thomas Hainscho - 2016 - In Maja Soboleva (ed.), Das Denken des Denkens: Ein Philosophischer Überblick. Bielefeld: Transcript Verlag. pp. 197-220.details
|
|
Brains-in-vats, giant brains and world brains: the brain as metaphor in digital culture.Charlie Gere - 2004 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 35 (2):351-366.details
|
|
Turing's O-machines, Searle, Penrose and the brain.B. J. Copeland - 1998 - Analysis 58 (2):128-138.details
|
|
From Alan Turing to modern AI: practical solutions and an implicit epistemic stance.George F. Luger & Chayan Chakrabarti - 2017 - AI and Society 32 (3):321-338.details
|
|
Comprehension of Simple Quantifiers: Empirical Evaluation of a Computational Model.Jakub Szymanik & Marcin Zajenkowski - 2010 - Cognitive Science 34 (3):521-532.details
|
|
The Physical Church–Turing Thesis: Modest or Bold?Gualtiero Piccinini - 2011 - British Journal for the Philosophy of Science 62 (4):733-769.details
|
|
When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science.Liesbeth De Mol & Giuseppe Primiero - 2015 - History and Philosophy of Logic 36 (3):195-204.details
|
|
A Vindication of Program Verification.Selmer Bringsjord - 2015 - History and Philosophy of Logic 36 (3):262-277.details
|
|
Three forms of physical measurement and their computability.Edwin Beggs, José Félix Costa & John V. Tucker - 2014 - Review of Symbolic Logic 7 (4):618-646.details
|
|
Objective Computation Versus Subjective Computation.Nir Fresco - 2015 - Erkenntnis 80 (5):1031-1053.details
|
|
The machine as data: a computational view of emergence and definability.S. Barry Cooper - 2015 - Synthese 192 (7):1955-1988.details
|
|
What is the extension of the extended mind?Hajo Greif - 2017 - Synthese 194 (11):4311-4336.details
|
|
Rational Use of Cognitive Resources: Levels of Analysis Between the Computational and the Algorithmic.Thomas L. Griffiths, Falk Lieder & Noah D. Goodman - 2015 - Topics in Cognitive Science 7 (2):217-229.details
|
|
Behavioural Explanation in the Realm of Non-mental Computing Agents.Bernardo Aguilera - 2015 - Minds and Machines 25 (1):37-56.details
|
|
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems.Rod J. L. Adams & Roman Murawski - 1999 - Dordrecht, Netherland: Springer Verlag.details
|
|
The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories.Igor Oliveira & Walter Carnielli - 2008 - Logic Journal of the IGPL 16 (6):585-590.details
|
|
Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning.Anderson De Araújo & Walter Carnielli - 2012 - Logic Journal of the IGPL 20 (2):477-485.details
|
|
On What There is—Infinitesimals and the Nature of Numbers.Jens Erik Fenstad - 2015 - Inquiry: An Interdisciplinary Journal of Philosophy 58 (1):57-79.details
|
|
What Does ‘Depth’ Mean in Mathematics?John Stillwell - 2015 - Philosophia Mathematica 23 (2):215-232.details
|
|
Effective Computation by Humans and Machines.Shagrir Oron - 2002 - Minds and Machines 12 (2):221-240.details
|
|
Ein Blick zurück auf das 20. Jahrhundert.Peter Schreiber - 2002 - NTM Zeitschrift für Geschichte der Wissenschaften, Technik und Medizin 10 (1-3):40-48.details
|
|
Beyond the universal Turing machine.B. Jack Copeland & Richard Sylvan - 1999 - Australasian Journal of Philosophy 77 (1):46-66.details
|
|