Step By Recursive Step: Church's Analysis Of Effective Calculability (1997)

Cached

Download Links

by Wilfried Sieg
Venue:BULLETIN OF SYMBOLIC LOGIC
Citations:11 - 0 self

Active Bibliography

21 A NATURAL AXIOMATIZATION OF COMPUTABILITY AND PROOF OF CHURCH’S THESIS – Nachum Dershowitz, Yuri Gurevich
2 A natural axiomatization of Church’s thesis – Nachum Dershowitz, Yuri Gurevich - 2007
Lambda-Calculus and Functional Programming – Jonathan P. Seldin
5 Gödel on computability – Wilfried Sieg
1 The Physical Church-Turing Thesis: Modest or Bold? – Gualtiero Piccinini
ON THE FOUNDATIONS OF MATHEMATICAL ECONOMICS – J. Barkley Rosser - 2010
2 Church Without Dogma: Axioms for computability – Wilfried Sieg
23 The Impact of the Lambda Calculus in Logic and Computer Science – Henk Barendregt, Jon Barwise, Johan Van Benthem, Andreas Blass, Olivier Danvy, Pierre Lescanne, Hans Mooij, Robert Maron, Rinus Plasmeijer, Y Pollack - 1997
unknown title – unknown authors
Church’s Thesis – Guram Bezhanishvili
doi:10.1017/S0269889706001062 Printed in the United Kingdom Chains to the West: Markov’s Theory of Connected Events and Its Transmission to Western Europe ∗ – David Link
2 Historical Projects in Discrete Mathematics and Computer Science – Janet Barnett, Guram Bezhanishvili, Hing Leung, Jerry Lodder, David Pengelley, Desh Ranjan
4 Alan Turing and the Mathematical Objection – Gualtiero Piccinini - 2003
BERNAYS AND SET THEORY – Akihiro Kanamori, Heinz-dieter Ebbinghaus, Ulrich Felgner, Juliet Floyd, Wilfried Sieg, William Tait For
2 Remarks On Finitism – W. W. Tait - 2000
8 Normalisation in Weakly Orthogonal Rewriting – Vincent van Oostrom - 1999
Gödel on Intuition and on Hilbert’s finitism – W. W. Tait
17 Number theory and elementary arithmetic – Jeremy Avigad - 2003
6 Bounded Immunity and Btt-Reductions – Stephen Fenner, Marcus Schaefer - 1999