- Computational Structuralism &dagger.Volker Halbach & Leon Horsten - 2005 - Philosophia Mathematica 13 (2):174-186.details
|
|
Intuitions, Conceptual Engineering, and Conceptual Fixed Points.Matti Eklund - 2015 - In Christopher Daly (ed.), Palgrave Handbook on Philosophical Methods. Palgrave Macmillan.details
|
|
Friedrich Waismann: The Open Texture of Analytic Philosophy.Dejan Makovec & Stewart Shapiro (eds.) - 2019 - Palgrave Macmillan.details
|
|
On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.details
|
|
Acceptable notation.Stewart Shapiro - 1982 - Notre Dame Journal of Formal Logic 23 (1):14-20.details
|
|
Computability and recursion.Robert I. Soare - 1996 - Bulletin of Symbolic Logic 2 (3):284-321.details
|
|
Step by recursive step: Church's analysis of effective calculability.Wilfried Sieg - 1997 - Bulletin of Symbolic Logic 3 (2):154-180.details
|
|
Gödel on Turing on Computability.Oron Shagrir - 2006 - In Adam Olszewski, Jan Wolenski & Robert Janusz (eds.), Church's Thesis After 70 Years. Ontos Verlag. pp. 393-419.details
|
|
Church's Thesis and the Conceptual Analysis of Computability.Michael Rescorla - 2007 - Notre Dame Journal of Formal Logic 48 (2):253-280.details
|
|
Copeland and Proudfoot on computability.Michael Rescorla - 2012 - Studies in History and Philosophy of Science Part A 43 (1):199-202.details
|
|
The Anti-Mechanist Argument Based on Gödel’s Incompleteness Theorems, Indescribability of the Concept of Natural Number and Deviant Encodings.Paula Quinon - 2020 - Studia Semiotyczne 34 (1):243-266.details
|
|
Can Church’s thesis be viewed as a Carnapian explication?Paula Quinon - 2019 - Synthese 198 (Suppl 5):1047-1074.details
|
|
A taxonomy of deviant encodings.Paula Quinon - 2018 - In F. Manea, R. Miller & D. Nowotka (eds.), Sailing Routes in the World of Computation. CiE 2018. Lecture Notes in Computer Science, vol 10936. Springer. pp. 338-348.details
|
|
Models and reality.Hilary Putnam - 1980 - Journal of Symbolic Logic 45 (3):464-482.details
|
|
Church's thesis and the ideal of informal rigour.Georg Kreisel - 1987 - Notre Dame Journal of Formal Logic 28 (4):499-519.details
|
|
Models and Computability.W. Dean - 2014 - Philosophia Mathematica 22 (2):143-166.details
|
|
The moral fixed points: new directions for moral nonnaturalism.Terence Cuneo & Russ Shafer-Landau - 2014 - Philosophical Studies 171 (3):399-443.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
|
|
The Logical Foundations of Probability. [REVIEW]Rudolf Carnap - 1950 - Journal of Philosophy 60 (13):362-364.details
|
|
The Philosophical Significance of Tennenbaum’s Theorem.T. Button & P. Smith - 2012 - Philosophia Mathematica 20 (1):114-121.details
|
|
Physical Computation: A Mechanistic Account.Gualtiero Piccinini - 2015 - Oxford, GB: Oxford University Press UK.details
|
|
Logical Foundations of Probability.Rudolf Carnap - 1950 - Mind 62 (245):86-99.details
|
|
Computation in physical systems.Gualtiero Piccinini - 2010 - Stanford Encyclopedia of Philosophy.details
|
|
Church's Thesis and Principles for Mechanisms.Robin Gandy - 1980 - In The Kleene Symposium. North-Holland. pp. 123--148.details
|
|
GOdel on Turing on Computability.Oron Shagrir - 2006 - In A. Olszewski, J. Wole'nski & R. Janusz (eds.), Church's Thesis After Seventy Years. Ontos Verlag. pp. 1--393.details
|
|
Emergence and Consciousness: Explorations Into the Philosophy of Mind Via the Philosophy of Computation.Bram Van Heuveln - 2000 - Dissertation, State University of New York at Binghamtondetails
|
|