On the public citation graph
Is the Church-Turing thesis true?
0 signed · 125 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/10992.1573-0433openalex-snapshot
Journal of Philosophical Logic
inferredcites →https://doi.org/10.1007/978-1-349-81592-0openalex-snapshot
The Principles of Scientific Thinking
inferredcites →https://doi.org/10.1007/978-3-7091-6597-3_22openalex-snapshot
On the Physics and Mathematics of Thought
inferredcites →https://doi.org/10.1007/978-3-7091-6597-3_23openalex-snapshot
Effective Processes and Natural Law
inferredcites →https://doi.org/10.1007/bf00367472openalex-snapshot
The difference between real change and mere Cambridge change
inferredcites →https://doi.org/10.1007/bf01886519openalex-snapshot
Computability and physical theories
inferredcites →https://doi.org/10.1017/cbo9780511620409.040openalex-snapshot
A Treatise of Human Nature
inferredcites →https://doi.org/10.1017/s0140525x00005756openalex-snapshot
Minds, brains, and programs
inferredcites →https://doi.org/10.1017/s0140525x00052432openalex-snapshot
On the proper treatment of connectionism
inferredcites →https://doi.org/10.1017/s0140525x00052663openalex-snapshot
Connections among connections
inferredcites →https://doi.org/10.1093/analys/15.5.97openalex-snapshot
Law Statements and Counterfactual Inference
inferredcites →https://doi.org/10.1093/oso/9780198250791.003.0017openalex-snapshot
Computing Machinery and Intelligence (1950)
inferredcites →https://doi.org/10.1093/oso/9780198519737.001.0001openalex-snapshot
The Emperor's New Mind
inferredcites →https://doi.org/10.1093/oso/9780198537748.003.0022openalex-snapshot
On the Physics and Mathematics of Thought
inferredcites →https://doi.org/10.1109/mahc.1996.539927openalex-snapshot
The universal turing machine: a half-century survey
inferredcites →https://doi.org/10.1112/plms/s2-42.1.230openalex-snapshot
On Computable Numbers, with an Application to the Entscheidungsproblem
inferredcites →https://doi.org/10.1145/1045264.1045265openalex-snapshot
Computer power and human reason
inferredcites →https://doi.org/10.1215/s0012-7094-36-00227-2openalex-snapshot
λ-definability and recursiveness
inferredcites →https://doi.org/10.18574/nyu/9781479838424.003.0036openalex-snapshot
31. From Mastering the Art of French Cooking
inferredcites →https://doi.org/10.2307/2274761openalex-snapshot
Digital simulation of analog computation and Church's thesis
inferredcites →https://doi.org/10.2307/2313471openalex-snapshot
Computation: Finite and Infinite Machines.
inferredcites →https://doi.org/10.2307/2371045openalex-snapshot
An Unsolvable Problem of Elementary Number Theory
inferredcites →https://doi.org/10.5406/21521123.59.4.07openalex-snapshot
American Philosophical Quarterly
inferredcites →https://doi.org/10.5840/teachphil201134228openalex-snapshot
Hume’s A Treatise of Human Nature
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/0470018860.s00209openalex-snapshot
Computation, Philosophical Issues about
inferred← citeshttps://doi.org/10.1007/978-3-319-61043-6_3openalex-snapshot
On the Relation of Computing to the World
inferred← citeshttps://doi.org/10.1007/978-94-017-1510-2_28openalex-snapshot
Embodiment of Natural and Artificial Agents
inferred← citeshttps://doi.org/10.1007/978-981-16-1160-5_20openalex-snapshot
A Formal Process Virtual Machine for EOS-Based Smart Contract Security Verification
inferred← citeshttps://doi.org/10.1007/bf00974186openalex-snapshot
The Church-Turing thesis and effective mundane procedures
inferred← citeshttps://doi.org/10.1007/bf00974187openalex-snapshot
Effective procedures and computable functions
inferred← citeshttps://doi.org/10.1007/s00287-020-01294-zopenalex-snapshot
Informatik – eine eigenständige Wissenschaft?
inferred← citeshttps://doi.org/10.1007/s11023-018-9485-2openalex-snapshot
Computers Are Syntax All the Way Down: Reply to Bozşahin
inferred← citeshttps://doi.org/10.1007/s11229-005-0194-zopenalex-snapshot
Computationalism, The Church–Turing Thesis, and the Church–Turing Fallacy
inferred← citeshttps://doi.org/10.1007/s13347-019-00365-8openalex-snapshot
Syntax, Semantics, and Computer Programs
inferred← citeshttps://doi.org/10.1016/j.amc.2005.09.071openalex-snapshot
A new Gödelian argument for hypercomputing minds based on the busy beaver problem
inferred← citeshttps://doi.org/10.1016/j.tcs.2003.12.012openalex-snapshot
The concept of computability
inferred← citeshttps://doi.org/10.1017/9781139046893openalex-snapshot
The Quest for a Universal Theory of Life: Searching for Life as We Don't Know It
inferred← citeshttps://doi.org/10.1017/9781139046893.002openalex-snapshot
The Enduring Legacy of Aristotle: The Battle over Life as Self-Organization or (Genetic-Based) Reproduction
inferred← citeshttps://doi.org/10.1017/9781139046893.004openalex-snapshot
What Is a Scientific Theory?
inferred← citeshttps://doi.org/10.1017/9781139046893.005openalex-snapshot
How Scientific Theories Develop
inferred← citeshttps://doi.org/10.1017/9781139046893.006openalex-snapshot
Challenges for a Universal Theory of Life
inferred← citeshttps://doi.org/10.1017/9781139046893.007openalex-snapshot
Rethinking the Traditional Paradigm for Life: Lessons from the World of Microbes
inferred← citeshttps://doi.org/10.1017/9781139046893.008openalex-snapshot
Artificial Life: Could ALife Solve theN = 1N=1 Problem?
inferred← citeshttps://doi.org/10.1017/9781139046893.009openalex-snapshot
Searching for Extraterrestrial Life Without a Definition or Universal Theory of Life
inferred← citeshttps://doi.org/10.1017/9781139046893.010openalex-snapshot
A Shadow Biosphere: Alien Microbes on Earth?
inferred← citeshttps://doi.org/10.1017/s0140525x9900179xopenalex-snapshot
A connectionist theory of phenomenal experience
inferred← citeshttps://doi.org/10.1023/a:1008230900201openalex-snapshot
Thinking and Computing: Computers as Special Kinds of Signs
inferred← citeshttps://doi.org/10.1023/a:1008233720449openalex-snapshot
How Gödel's Theorem Supports the Possibility of Machine Intelligence
inferred← citeshttps://doi.org/10.1023/a:1008236522699openalex-snapshot
Two Dogmas of Computationalism
inferred← citeshttps://doi.org/10.1023/a:1011251504223openalex-snapshot
Recipes, Algorithms, and Programs
inferred← citeshttps://doi.org/10.1023/a:1015634729532openalex-snapshot
Reflections on Gödel's and Gandy's Reflections on Turing's Thesis
inferred← citeshttps://doi.org/10.1023/a:1015659418145openalex-snapshot
Is There a Nonrecursive Decidable Equational Theory?
inferred← citeshttps://doi.org/10.1023/a:1015694932257openalex-snapshot
Effective Computation by Humans and Machines
inferred← citeshttps://doi.org/10.1023/a:1021365222692openalex-snapshot
Physical Hypercomputation and the Church–Turing Thesis
inferred← citeshttps://doi.org/10.1023/a:1024101325992openalex-snapshot
James H. Fetzer, Computers and Cognition: Why Minds Are Not Machines, Dordrecht: Kluwer, 2001, xix + 323 pp., $128.00 (hardcover), ISBN 0-792-36615-8
inferred← citeshttps://doi.org/10.1023/b:synt.0000043018.52445.3eopenalex-snapshot
The First Computational Theory of Mind and Brain: A Close Look at Mcculloch and Pitts's “Logical Calculus of Ideas Immanent in Nervous Activity”
inferred← citeshttps://doi.org/10.1080/03640210801897856openalex-snapshot
The Tractable Cognition Thesis
inferred← citeshttps://doi.org/10.1080/095281398146653openalex-snapshot
People are not computers: (most) thought processes are not computational procedures
inferred← citeshttps://doi.org/10.1080/095281398146671openalex-snapshot
How minds can be computational systems
inferred← citeshttps://doi.org/10.1093/bjps/54.2.181openalex-snapshot
Hypercomputation and the Physical Church‐Turing Thesis
inferred← citeshttps://doi.org/10.1093/bjps/axr016openalex-snapshot
The Physical Church–Turing Thesis: Modest or Bold?
inferred← citeshttps://doi.org/10.1093/comjnl/41.6.357openalex-snapshot
Why Church's Thesis Still Holds. Some Notes on Peter Wegner's Tracts on Interaction and Computability
inferred← citeshttps://doi.org/10.1093/oso/9780197552384.001.0001openalex-snapshot
The Nature of Physical Computation
inferred← citeshttps://doi.org/10.1093/oso/9780197552384.003.0002openalex-snapshot
Desiderata of a Theory of Computation
inferred← citeshttps://doi.org/10.1093/oso/9780197552384.003.0003openalex-snapshot
Turing’s Computability
inferred← citeshttps://doi.org/10.1093/oso/9780197552384.003.0004openalex-snapshot
Preamble to Machine Computation
inferred← citeshttps://doi.org/10.1093/oso/9780197552384.003.0005openalex-snapshot
Computation as Step-Satisfaction
inferred← citeshttps://doi.org/10.1093/oso/9780197552384.003.0006openalex-snapshot
Computation as Implementation
inferred← citeshttps://doi.org/10.1093/oso/9780197552384.003.0007openalex-snapshot
Computation as Mechanism
inferred← citeshttps://doi.org/10.1093/oso/9780197552384.003.0008openalex-snapshot
The Semantic View of Computation
inferred← citeshttps://doi.org/10.1093/oso/9780197552384.003.0009openalex-snapshot
An Argument for the Semantic View
inferred← citeshttps://doi.org/10.1093/oso/9780197552384.003.0010openalex-snapshot
Computing as Modeling
inferred← citeshttps://doi.org/10.1093/oso/9780198866282.001.0001openalex-snapshot
Neurocognitive Mechanisms
inferred← citeshttps://doi.org/10.1093/oso/9780198866282.003.0003openalex-snapshot
Mechanisms, Multiple Realizability, and Medium Independence
inferred← citeshttps://doi.org/10.1093/oso/9780198866282.003.0004openalex-snapshot
Functional Mechanisms
inferred← citeshttps://doi.org/10.1093/oso/9780198866282.003.0005openalex-snapshot
Mechanistic Functionalism
inferred← citeshttps://doi.org/10.1093/oso/9780198866282.003.0006openalex-snapshot
The First Computational Theory of Cognition
inferred← citeshttps://doi.org/10.1093/oso/9780198866282.003.0007openalex-snapshot
Computation and Information Processing
inferred← citeshttps://doi.org/10.1093/oso/9780198866282.003.0008openalex-snapshot
Mechanistic Models of Cognition
inferred← citeshttps://doi.org/10.1093/oso/9780198866282.003.0009openalex-snapshot
The Cognitive Neuroscience Revolution
inferred← citeshttps://doi.org/10.1093/oso/9780198866282.003.0010openalex-snapshot
The Computational Theory of Cognition
inferred← citeshttps://doi.org/10.1093/oso/9780198866282.003.0011openalex-snapshot
The Church–Turing Fallacy
inferred← citeshttps://doi.org/10.1093/oso/9780198866282.003.0012openalex-snapshot
The Resilience of the Computational Theory of Cognition
inferred← citeshttps://doi.org/10.1093/oso/9780198866282.003.0013openalex-snapshot
Neural Representation
inferred← citeshttps://doi.org/10.1093/oso/9780198866282.003.0014openalex-snapshot
Neural Computation
inferred← citeshttps://doi.org/10.1093/oso/9780198866282.003.0015openalex-snapshot
Computation and the Function of Consciousness
inferred← citeshttps://doi.org/10.1093/philmat/nkr001openalex-snapshot
How Not To Use the Church-Turing Thesis Against Platonism
inferred← citeshttps://doi.org/10.1111/nous.12177openalex-snapshot
Counterpossibles in Science: The Case of Relative Computability
inferred← citeshttps://doi.org/10.2307/2183531openalex-snapshot
On the Possibility of Completing an Infinite Process
inferred← citeshttps://doi.org/10.3233/ao-2008-0058openalex-snapshot
The philosophy of computer science
inferred← citeshttps://doi.org/10.4000/philosophiascientiae.772openalex-snapshot
Cleland on Church’s Thesis and the Limits of Computation
inferred← citeshttps://doi.org/10.4018/978-1-5225-5622-0.ch007openalex-snapshot
Syntactic Semantics and the Proper Treatment of Computationalism
inferred← citeshttps://doi.org/10.4018/ijsss.2012010102openalex-snapshot
Semiotic Systems, Computers, and the Mind
inferred← citeshttps://doi.org/10.4067/s0718-43602011000100012openalex-snapshot
MÁQUINAS SIN ENGRANAJES Y CUERPOS SIN MENTES: ¿CUÁN DUALISTA ES EL FUNCIONALISMO DE MÁQUINA DE TURING?
inferred← citeshttps://doi.org/10.48550/arxiv.1803.00403openalex-snapshot
A general formal memory framework in Coq for verifying the properties of programs based on higher-order logic theorem proving with increased automation, consistency, and reusability
inferred← citeshttps://doi.org/10.5840/symposion2015228openalex-snapshot
An Evolutionary Argument for a Self-Explanatory, Benevolent Metaphysics
inferred← citeshttps://doi.org/10.5840/teachphil200528443openalex-snapshot
Philosophy of Computer Science
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.