- 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
|
|
Reason, causation and compatibility with the phenomena.Basil Evangelidis - 2020 - Wilmington, Delaware, USA: Vernon Press.details
|
|
Sets, Logic, Computation: An Open Introduction to Metalogic.Richard Zach - 2021 - Open Logic Project.details
|
|
The Algorithm Concept, 1684–1958.Mingyi Yu - 2021 - Critical Inquiry 47 (3):592-609.details
|
|
Engineering Entanglement, Conceptualizing Quantum Information.Chen-Pang Yeang - 2011 - Annals of Science 68 (3):325-350.details
|
|
Can Ai be Intelligent?Kazimierz Trzęsicki - 2016 - Studies in Logic, Grammar and Rhetoric 48 (1):103-131.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
|
|
Alan Turing: person of the XXth century?José M. Sánchez Ron - 2013 - Arbor 189 (764):a085.details
|
|
Step by recursive step: Church's analysis of effective calculability.Wilfried Sieg - 1997 - Bulletin of Symbolic Logic 3 (2):154-180.details
|
|
Evolved Computing Devices and the Implementation Problem.Lukáš Sekanina - 2007 - Minds and Machines 17 (3):311-329.details
|
|
Representations and the Foundations of Mathematics.Sam Sanders - 2022 - Notre Dame Journal of Formal Logic 63 (1):1-28.details
|
|
Theory languages in designing artificial intelligence.Pertti Saariluoma & Antero Karvonen - forthcoming - AI and Society:1-10.details
|
|
Church's Thesis and the Conceptual Analysis of Computability.Michael Rescorla - 2007 - Notre Dame Journal of Formal Logic 48 (2):253-280.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
|
|
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
|
|
The “Slicing Problem” for Computational Theories of Consciousness.Chris Percy & Andrés Gómez-Emilsson - 2022 - Open Philosophy 5 (1):718-736.details
|
|
Gödel's Introduction to Logic in 1939.P. Cassou-Nogues - 2009 - History and Philosophy of Logic 30 (1):69-90.details
|
|
Practical Intractability: A Critique of the Hypercomputation Movement. [REVIEW]Aran Nayebi - 2014 - Minds and Machines 24 (3):275-305.details
|
|
Machine intelligence: a chimera.Mihai Nadin - 2019 - AI and Society 34 (2):215-242.details
|
|
La historia y la gramática de la recursión: una precisión desde la obra de Wittgenstein.Sergio Mota - 2014 - Pensamiento y Cultura 17 (1):20-48.details
|
|
From Computer Metaphor to Computational Modeling: The Evolution of Computationalism.Marcin Miłkowski - 2018 - Minds and Machines 28 (3):515-541.details
|
|
Beyond mind: How brains make up artificial cognitive systems. [REVIEW]Lorenzo Magnani - 2009 - Minds and Machines 19 (4):477-493.details
|
|
Knowledge transfer, templates, and the spillovers.Chia-Hua Lin - 2022 - European Journal for Philosophy of Science 12 (1):1-30.details
|
|
Turing's golden: How well Turing's work stands today.Justin Leiber - 2006 - Philosophical Psychology 19 (1):13-46.details
|
|
Machines, Logic and Wittgenstein.Srećko Kovač - 2021 - Philosophia 49 (5):2103-2122.details
|
|
Can Machines Think? An Old Question Reformulated.Achim Hoffmann - 2010 - Minds and Machines 20 (2):203-212.details
|
|
Kantian Antinomies in Digital Communications Media.Ejvind Hansen - 2010 - Telos: Critical Theory of the Contemporary 2010 (150):137-142.details
|
|
Consistency, Turing Computability and Gödel’s First Incompleteness Theorem.Robert F. Hadley - 2008 - Minds and Machines 18 (1):1-15.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
|
|
Martin-Löf Randomness Implies Multiple Recurrence in Effectively Closed Sets.Rodney G. Downey, Satyadev Nandakumar & André Nies - 2019 - Notre Dame Journal of Formal Logic 60 (3):491-502.details
|
|
Turing and the Serendipitous Discovery of the Modern Computer.Aurea Anguera de Sojo, Juan Ares, Juan A. Lara, David Lizcano, María A. Martínez & Juan Pazos - 2013 - Foundations of Science 18 (3):545-557.details
|
|
Mechanisms for the generation and regulation of sequential behaviour.Richard P. Cooper - 2003 - Philosophical Psychology 16 (3):389 – 416.details
|
|
On effective procedures.Carol E. Cleland - 2002 - Minds and Machines 12 (2):159-179.details
|
|
A Sound and Complete Proof Theory for Propositional Logical Contingencies.Charles Morgan, Alexander Hertel & Philipp Hertel - 2007 - Notre Dame Journal of Formal Logic 48 (4):521-530.details
|
|
What Do We Need to Know?Robert L. Campbell - 2018 - Journal of Ayn Rand Studies 18 (1):118-163.details
|
|
Does Kripke’s Argument Against Functionalism Undermine the Standard View of What Computers Are?Jeff Buechner - 2018 - Minds and Machines 28 (3):491-513.details
|
|
Complex, Dynamic and Contingent Social Processes as Patterns of Decision-Making Events.Bruno da Rocha Braga - 2023 - European Journal of Pragmatism and American Philosophy 15 (1).details
|
|
Proving church's thesis.Robert Black - 2000 - Philosophia Mathematica 8 (3):244--58.details
|
|
Who Discovered the Binary System and Arithmetic? Did Leibniz Plagiarize Caramuel?J. Ares, J. Lara, D. Lizcano & M. A. Martínez - 2018 - Science and Engineering Ethics 24 (1):173-188.details
|
|
Turing: The Great Unknown.Aurea Anguera, Juan A. Lara, David Lizcano, María-Aurora Martínez, Juan Pazos & F. David de la Peña - 2020 - Foundations of Science 25 (4):1203-1225.details
|
|
Logical Machines: Peirce on Psychologism.Majid Amini - 2008 - Disputatio 2 (24):1 - 14.details
|
|
Logical machines: Peirce on psychologism.Majid Amini - 2008 - Disputatio 2 (24):335-348.details
|
|
Towards an evaluation of the normalisation thesis on identity of proofs: The case of church-Turing thesis as Touchstone.Tiago de Castro Alves - 2020 - Manuscrito 43 (3):114-163.details
|
|
Computation in cognitive science: it is not all about Turing-equivalent computation.Kenneth Aizawa - 2010 - Studies in History and Philosophy of Science Part A 41 (3):227-236.details
|
|
Behavioural Explanation in the Realm of Non-mental Computing Agents.Bernardo Aguilera - 2015 - Minds and Machines 25 (1):37-56.details
|
|
The Bit (and Three Other Abstractions) Define the Borderline Between Hardware and Software.Russ Abbott - 2019 - Minds and Machines 29 (2):239-285.details
|
|
Architectural Approach to Design of Emotional Intelligent Systems.Александра Викторовна Шиллер & Олег Эдуардович Петруня - 2021 - Russian Journal of Philosophical Sciences 64 (1):102-115.details
|
|
Alonzo Church.Oliver Marshall & Harry Deutsch - 2021 - Stanford Encyclopedia of Philosophy.details
|
|
Turing machines.David Barker-Plummer - 2008 - Stanford Encyclopedia of Philosophy.details
|
|