On the public citation graph
Step by Recursive Step: Church's Analysis of Effective Calculability
0 signed · 208 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/978-3-540-89107-9_6openalex-snapshot
Grundlagen der Mathematik
inferredcites →https://doi.org/10.1007/978-3-642-86894-8openalex-snapshot
Grundlagen der Mathematik I
inferredcites →https://doi.org/10.1007/978-3-642-86896-2openalex-snapshot
Grundlagen der Mathematik II
inferredcites →https://doi.org/10.1007/978-3-663-19573-3_1openalex-snapshot
Was sind und was sollen die Zahlen?
inferredcites →https://doi.org/10.1007/978-3-663-19573-3_2openalex-snapshot
Stetigkeit und Irrationale Zahlen
inferredcites →https://doi.org/10.1007/978-94-011-5690-5openalex-snapshot
Philosophy of Mathematics Today
inferredcites →https://doi.org/10.1007/bf01565439openalex-snapshot
General recursive functions of natural numbers
inferredcites →https://doi.org/10.1007/springerreference_27878openalex-snapshot
universal Turing machine
inferredcites →https://doi.org/10.1016/0016-0032(57)90984-5openalex-snapshot
Introduction to mathematical logic
inferredcites →https://doi.org/10.1016/s0019-9958(82)91226-8openalex-snapshot
Why Gödel didn't have church's thesis
inferredcites →https://doi.org/10.1017/s002248120003958xopenalex-snapshot
A. M. Turing. On computable numbers, with an application to the Entscheidungs problcm. Proceedings of the London Mathematical Society, 2 s. vol. 42 (1936–1937), pp. 230–265.
inferredcites →https://doi.org/10.1017/s0022481200039591openalex-snapshot
Emil L. Post. Finite combinatory processes—formulation 1. The journal of symbolic logic, vol. 1 (1936), pp. 103–105.
inferredcites →https://doi.org/10.1017/s0022481200039608openalex-snapshot
H. B. Smith. The algebra of propositions. Philosophy of science, vol. 3 (1936), pp. 551–578.
inferredcites →https://doi.org/10.1017/s1079898600008040openalex-snapshot
In Memoriam: Alonzo Church 1903–1995
inferredcites →https://doi.org/10.1073/pnas.21.5.275openalex-snapshot
A Proof of Freedom from Contradiction
inferredcites →https://doi.org/10.1090/s0002-9904-1928-04516-0openalex-snapshot
On the law of excluded middle
inferredcites →https://doi.org/10.1090/s0002-9904-1936-06353-6openalex-snapshot
A note on recursive functions
inferredcites →https://doi.org/10.1090/s0002-9947-1927-1501383-1openalex-snapshot
Alternatives to Zermelo's Assumption
inferredcites →https://doi.org/10.1090/s0002-9947-1936-1501858-0openalex-snapshot
Some properties of conversion
inferredcites →https://doi.org/10.1093/oso/9780195079296.003.0005openalex-snapshot
Mechanical Procedures and Mathematical Experience
inferredcites →https://doi.org/10.1109/mahc.1981.10004openalex-snapshot
Origins of Recursive Function Theory
inferredcites →https://doi.org/10.1109/mahc.1984.10040openalex-snapshot
Highlights of the History of the Lambda-Calculus
inferredcites →https://doi.org/10.1215/s0012-7094-36-00227-2openalex-snapshot
λ-definability and recursiveness
inferredcites →https://doi.org/10.2307/1968337openalex-snapshot
A Set of Postulates for the Foundation of Logic
inferredcites →https://doi.org/10.2307/1968646openalex-snapshot
The Inconsistency of Certain Formal Logics
inferredcites →https://doi.org/10.2307/1968669openalex-snapshot
A Mathematical Logic Without Variables. I
inferredcites →https://doi.org/10.2307/1968702openalex-snapshot
A Set of Postulates For the Foundation of Logic
inferredcites →https://doi.org/10.2307/2026831openalex-snapshot
Second Thoughts about Church's Thesis and Mathematical Proofs
inferredcites →https://doi.org/10.2307/2267610openalex-snapshot
Ein Verfahren der mathematischen Logik
inferredcites →https://doi.org/10.2307/2269031openalex-snapshot
Finite combinatory processes—formulation
inferredcites →https://doi.org/10.2307/2371045openalex-snapshot
An Unsolvable Problem of Elementary Number Theory
inferredcites →https://doi.org/10.2307/2371199openalex-snapshot
A Theory of Positive Integers in Formal Logic. Part II
inferredcites →https://doi.org/10.4064/fm-28-1-11-21openalex-snapshot
Formal definitions in the theory of ordinal numbers
inferredcites →https://doi.org/10.5840/renascence198840323openalex-snapshot
The Law of the Excluded Middle
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11780342_13openalex-snapshot
The Church-Turing Thesis: Consensus and Opposition
inferred← citeshttps://doi.org/10.1007/11780342_54openalex-snapshot
Gödel’s Conflicting Approaches to Effective Calculability
inferred← citeshttps://doi.org/10.1007/11780342_59openalex-snapshot
Kurt Gödel and Computability Theory
inferred← citeshttps://doi.org/10.1007/978-0-387-68546-5_7openalex-snapshot
Church Without Dogma: Axioms for Computability
inferred← citeshttps://doi.org/10.1007/978-3-030-06170-8_1openalex-snapshot
Theoretical Computer Science: Computability, Decidability and Logic
inferred← citeshttps://doi.org/10.1007/978-3-030-77799-9_9openalex-snapshot
What is the Church-Turing Thesis?
inferred← citeshttps://doi.org/10.1007/978-3-031-15294-8_2openalex-snapshot
Uncomputabilities, Games, Axioms, Proofs and Artificial Intelligence
inferred← citeshttps://doi.org/10.1007/978-3-319-22156-4_1openalex-snapshot
Conceptual Confluence in 1936: Post and Turing
inferred← citeshttps://doi.org/10.1007/978-3-319-22156-4_12openalex-snapshot
Why Turing’s Thesis Is Not a Thesis
inferred← citeshttps://doi.org/10.1007/978-3-319-41842-1_7openalex-snapshot
Why Post Did [Not] Have Turing’s Thesis
inferred← citeshttps://doi.org/10.1007/978-3-319-47286-7_12openalex-snapshot
Frege’s Habilitationsschrift: Magnitude, Number and the Problems of Computability
inferred← citeshttps://doi.org/10.1007/978-3-319-51841-1_1openalex-snapshot
Turing’s Theory of Computation
inferred← citeshttps://doi.org/10.1007/978-3-319-53280-6_2openalex-snapshot
Turing, the Mathematician
inferred← citeshttps://doi.org/10.1007/978-3-319-53280-6_3openalex-snapshot
Turing, Gödel and the “Bright Abyss”
inferred← citeshttps://doi.org/10.1007/978-3-319-58741-7_5openalex-snapshot
Gödel’s Reception of Turing’s Model of Computability: The “Shift of Perception” in 1934
inferred← citeshttps://doi.org/10.1007/978-3-319-93779-3_9openalex-snapshot
Mathematical and Technological Computability
inferred← citeshttps://doi.org/10.1007/978-94-007-4435-6_2openalex-snapshot
Wittgenstein’s Diagonal Argument: A Variation on Cantor and Turing
inferred← citeshttps://doi.org/10.1007/978-94-015-8988-8_9openalex-snapshot
A Picaresque Approach to Set Theory Genealogy
inferred← citeshttps://doi.org/10.1007/978-981-96-1452-3_24openalex-snapshot
Toward a New Test for AI Entities: The Growth and Realization of Autonomous Wisdom (GROW-AI) Test
inferred← citeshttps://doi.org/10.1007/s10699-026-10047-2openalex-snapshot
Turing’s Unresolved Tension
inferred← citeshttps://doi.org/10.1007/s11023-008-9104-8openalex-snapshot
Turing-, Human- and Physical Computability: An Unasked Question
inferred← citeshttps://doi.org/10.1007/s11229-019-02286-7openalex-snapshot
Can Church’s thesis be viewed as a Carnapian explication?
inferred← citeshttps://doi.org/10.1007/s11390-026-6092-1openalex-snapshot
What Is Computation? And Why Turing?
inferred← citeshttps://doi.org/10.1007/s13194-020-00337-2openalex-snapshot
Explication as a Three-Step Procedure: the case of the Church-Turing Thesis
inferred← citeshttps://doi.org/10.1016/b978-0-12-386980-7.50002-2openalex-snapshot
On Computable Numbers, with an Application to the Entscheidungsproblem – A Correction
inferred← citeshttps://doi.org/10.1016/b978-044451541-4/50016-6openalex-snapshot
Classical Logic's Coming of Age
inferred← citeshttps://doi.org/10.1016/j.langsci.2014.05.006openalex-snapshot
What linguists are talking about when talking about…
inferred← citeshttps://doi.org/10.1016/s1874-5857(09)70018-4openalex-snapshot
Lambda-Calculus and Combinators in the 20th Century
inferred← citeshttps://doi.org/10.1017/9781316755983.019openalex-snapshot
Calculations by man and machine: conceptual analysis*
inferred← citeshttps://doi.org/10.1017/chol9780521591041openalex-snapshot
The Cambridge History of Philosophy 1870–1945
inferred← citeshttps://doi.org/10.1017/chol9780521591041.003openalex-snapshot
Positivist thought in the nineteenth century
inferred← citeshttps://doi.org/10.1017/chol9780521591041.004openalex-snapshot
Neo-Kantianism: the German idealism movement
inferred← citeshttps://doi.org/10.1017/chol9780521591041.005openalex-snapshot
Idealism in Britain and the United States
inferred← citeshttps://doi.org/10.1017/chol9780521591041.009openalex-snapshot
Psychology: old and new
inferred← citeshttps://doi.org/10.1017/chol9780521591041.011openalex-snapshot
Logic: revival and reform
inferred← citeshttps://doi.org/10.1017/chol9780521591041.012openalex-snapshot
Foundations of mathematics
inferred← citeshttps://doi.org/10.1017/chol9780521591041.014openalex-snapshot
The logical analysis of language
inferred← citeshttps://doi.org/10.1017/chol9780521591041.016openalex-snapshot
Theories of space-time in modern physics
inferred← citeshttps://doi.org/10.1017/chol9780521591041.017openalex-snapshot
The debate over theGeisteswissenschaftenin German philosophy
inferred← citeshttps://doi.org/10.1017/chol9780521591041.018openalex-snapshot
From political economy to positive economics
inferred← citeshttps://doi.org/10.1017/chol9780521591041.019openalex-snapshot
Sociology and the idea of social science
inferred← citeshttps://doi.org/10.1017/chol9780521591041.020openalex-snapshot
Utilitarians and idealists
inferred← citeshttps://doi.org/10.1017/chol9780521591041.022openalex-snapshot
The new realism in ethics
inferred← citeshttps://doi.org/10.1017/chol9780521591041.023openalex-snapshot
Individualism vs. collectivism
inferred← citeshttps://doi.org/10.1017/chol9780521591041.026openalex-snapshot
Sceptical challenges to faith
inferred← citeshttps://doi.org/10.1017/chol9780521591041.028openalex-snapshot
Art and morality: aesthetics at 1870
inferred← citeshttps://doi.org/10.1017/chol9780521591041.029openalex-snapshot
Form and feeling: aesthetics at the turn of the century
inferred← citeshttps://doi.org/10.1017/chol9780521591041.030openalex-snapshot
Philosophy and the first world war
inferred← citeshttps://doi.org/10.1017/chol9780521591041.032openalex-snapshot
The scientific world conception: logical positivism
inferred← citeshttps://doi.org/10.1017/chol9780521591041.033openalex-snapshot
The achievements of the Polish school of logic
inferred← citeshttps://doi.org/10.1017/chol9780521591041.034openalex-snapshot
Logic and philosophical analysis
inferred← citeshttps://doi.org/10.1017/chol9780521591041.035openalex-snapshot
The continuing idealist tradition
inferred← citeshttps://doi.org/10.1017/chol9780521591041.036openalex-snapshot
Transformations in speculative philosophy
inferred← citeshttps://doi.org/10.1017/chol9780521591041.037openalex-snapshot
Realism, naturalism, and pragmatism
inferred← citeshttps://doi.org/10.1017/chol9780521591041.038openalex-snapshot
French Catholic philosophy
inferred← citeshttps://doi.org/10.1017/chol9780521591041.040openalex-snapshot
The phenomenological movement
inferred← citeshttps://doi.org/10.1017/chol9780521591041.042openalex-snapshot
Latin american philosophy
inferred← citeshttps://doi.org/10.1017/chol9780521591041.045openalex-snapshot
The renaissance of epistemology
inferred← citeshttps://doi.org/10.1017/chol9780521591041.048openalex-snapshot
The end of philosophy as metaphysics
inferred← citeshttps://doi.org/10.1017/chol9780521591041.049openalex-snapshot
First-order logic and its rivals
inferred← citeshttps://doi.org/10.1017/chol9780521591041.050openalex-snapshot
The golden age of mathematical logic
inferred← citeshttps://doi.org/10.1017/chol9780521591041.053openalex-snapshot
The rise of probabilistic thinking
inferred← citeshttps://doi.org/10.1017/chol9780521591041.055openalex-snapshot
Behaviourism and psychology
inferred← citeshttps://doi.org/10.1017/chol9780521591041.057openalex-snapshot
Wittgenstein’s conception of mind
inferred← citeshttps://doi.org/10.1017/chol9780521591041.058openalex-snapshot
The methodology of the social sciences
inferred← citeshttps://doi.org/10.1017/chol9780521591041.059openalex-snapshot
The rise of social anthropology
inferred← citeshttps://doi.org/10.1017/chol9780521591041.060openalex-snapshot
Western marxism and ideology critique
inferred← citeshttps://doi.org/10.1017/chol9780521591041.061openalex-snapshot
From intuitionism to emotivism
inferred← citeshttps://doi.org/10.1017/chol9780521591041.063openalex-snapshot
Literature as philosophy
inferred← citeshttps://doi.org/10.1017/chol9780521591041.064openalex-snapshot
Aesthetics between the wars: art and liberation
inferred← citeshttps://doi.org/10.1017/chol9780521591041.065openalex-snapshot
Hans Kelsen and normative legal positivism
inferred← citeshttps://doi.org/10.1017/chol9780521591041.066openalex-snapshot
The liberal democratic state: defences and developments
inferred← citeshttps://doi.org/10.1017/chol9780521591041.067openalex-snapshot
The liberal democratic state: critics
inferred← citeshttps://doi.org/10.1017/chol9780521591041.068openalex-snapshot
Biobibliographical appendix
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:1021348629167openalex-snapshot
Alan Turing and the Mathematical Objection
inferred← citeshttps://doi.org/10.1023/b:synt.0000024888.19304.0fopenalex-snapshot
Theories of Space-Time in Modern Physics
inferred← citeshttps://doi.org/10.1080/0144534042000271157openalex-snapshot
Diagonalisation and Church's Thesis: Kleene's Homework
inferred← citeshttps://doi.org/10.1090/s0002-9904-1946-08555-9openalex-snapshot
A variant of a recursively unsolvable problem
inferred← citeshttps://doi.org/10.1093/bjps/axr016openalex-snapshot
The Physical Church–Turing Thesis: Modest or Bold?
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/9780198785156.002.0010openalex-snapshot
List of figures and tables
inferred← citeshttps://doi.org/10.1093/oso/9780198785156.002.0011openalex-snapshot
List of abbreviations
inferred← citeshttps://doi.org/10.1093/oso/9780198785156.003.0001openalex-snapshot
Putting up barriers
inferred← citeshttps://doi.org/10.1093/oso/9780198785156.003.0003openalex-snapshot
Recursive generation in language
inferred← citeshttps://doi.org/10.1093/oso/9780198785156.003.0004openalex-snapshot
The derivations into the interfaces
inferred← citeshttps://doi.org/10.1093/oso/9780198785156.003.0005openalex-snapshot
The universality and uniqueness of recursion-in-language
inferred← citeshttps://doi.org/10.1093/oso/9780198785156.003.0006openalex-snapshot
On recursive parsing
inferred← citeshttps://doi.org/10.1093/oso/9780198785156.003.0008openalex-snapshot
Putting it all together
inferred← citeshttps://doi.org/10.1093/philmat/nkaf016openalex-snapshot
Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy
inferred← citeshttps://doi.org/10.1093/philmat/nkag005openalex-snapshot
Is the Concept of Computation a Conceptual Fixed Point?
inferred← citeshttps://doi.org/10.1093/philmat/nky011openalex-snapshot
Human-Effective Computability†
inferred← citeshttps://doi.org/10.1142/9789812562494_0051openalex-snapshot
ALGORITHMS: A QUEST FOR ABSOLUTE DEFINITIONS
inferred← citeshttps://doi.org/10.15381/risi.v15i2.24781openalex-snapshot
Concepto de computabilidad en Alan Turing
inferred← citeshttps://doi.org/10.15633/acr.4309openalex-snapshot
Johannes Paul II – neuer europäischer Seliger und Wegbereiter Europas
inferred← citeshttps://doi.org/10.15633/acr.5306openalex-snapshot
A consequence of the notional existence of an effectively calculable yet non-recursive function
inferred← citeshttps://doi.org/10.2178/bsl/1120231628openalex-snapshot
Only Two Letters: The Correspondence between Herbrand and Gödel
inferred← citeshttps://doi.org/10.22201/iifs.18704905e.2005.459openalex-snapshot
Conceptualismo realista y computabilidad
inferred← citeshttps://doi.org/10.2307/2687773openalex-snapshot
The Prospects for Mathematical Logic in the Twenty-First Century
inferred← citeshttps://doi.org/10.2307/421120openalex-snapshot
1999 Spring Meeting of the Association for Symbolic Logic
inferred← citeshttps://doi.org/10.2478/slgr-2020-0027openalex-snapshot
Implicit and Explicit Examples of the Phenomenon of Deviant Encodings
inferred← citeshttps://doi.org/10.25100/pfilosofica.v0i40.3016openalex-snapshot
Sobre el concepto de recursión y sus usos
inferred← citeshttps://doi.org/10.3389/fpsyg.2014.00382openalex-snapshot
When linguists talk mathematical logic
inferred← citeshttps://doi.org/10.48550/arxiv.0902.1064openalex-snapshot
The significance of Nathanson's 'boss' factor in legitimising Aristotle's particularisation: Why we need to revise current interpretations of Cantor's, Goedel's, Turing's and Tarski's formal reasoning
inferred← citeshttps://doi.org/10.48550/arxiv.1003.5602openalex-snapshot
Does resolving PvNP require a paradigm shift?
inferred← citeshttps://doi.org/10.48550/arxiv.1108.4597openalex-snapshot
A case for weakening the Church-Turing Thesis
inferred← citeshttps://doi.org/10.48550/arxiv.math/0607333openalex-snapshot
Why we shouldn't fault Lucas and Penrose for continuing to believe in the Goedelian argument against computationalism
inferred← citeshttps://doi.org/10.5860/choice.51-1541openalex-snapshot
An introduction to Godel's theorems
inferred← citeshttps://doi.org/10.70675/0b3f6ab0zc577z499azb8e6z4a0425f88e23openalex-snapshot
L'hyper-calcul : de la logique a la physique
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.