Wilfried Sieg  Home/Search
Context Related
| ucla.edu/~asl/bsl/0302/0302002.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: aslonline.org/asl/BSL/contents (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . Alonzo Church's mathematical work on computability and undecidability is well-known indeed, and we seem to have an excellent understanding of the context in which it arose. The approach Church took to the underlying conceptual issues, by contrast, is less well understood. Why, for example, was "Church's Thesis" put forward publicly only in April 1935, when it had been formulated already in February/March 1934? Why did Church choose to formulate it then in terms of G odel's general... (Update)
Context of citations to this paper: More
...terms, it then follows that lambda terms model exactly those computations (actions) of a nite atomic nature. Church s famous thesis (Sieg, 1997) identi es those computations with the recursively de nable computations, which the intuitionist logic models precisely. However, a...
Cited by: More
The Arrow System Philosophy - Rice (2000) (Correct)
Active bibliography (related documents): More All
1.8: Computability and Recursion - Soare (1996) (Correct)
1.4: Hilbert's Programs: 1917-1922 - Sieg (1999) (Correct)
0.6: Tracking Trends and Analyzing New and Reemerging.. - Apeer-Reviewed.. (Correct)
Similar documents based on text: More All
0.2: Explicit Provability And Constructive Semantics - Artemov (2001) (Correct)
0.1: Platonism and Mathematical Intuition in Kurt Gödel's Thought - Parsons (1995) (Correct)
0.1: Diameter of Knödel Graph - Fertin, Raspaud, Schröder, Sykora.. (Correct)
BibTeX entry: (Update)
Wilfried Sieg. Step by Recursive Step: Church's Analysis of Effective Calculability. In The Bulletin of Symbolic Logic Vol. 3, No. 2, June 1997. http://citeseer.ist.psu.edu/sieg97step.html More
@article{ sieg97step,
author = "Wilfried Sieg",
title = "Step by Recursive Step: {C}hurch's Analysis of Effective Computability",
journal = "The Bulletin of Symbolic Logic",
volume = "3",
number = "2",
pages = "154--180",
year = "1997",
url = "citeseer.ist.psu.edu/sieg97step.html" }
Citations (may not include all citations):127 with an application to the Entscheidungsproblem (context) - Turing, numbers - 1936
108 Journal of Symbolic Logic (context) - on, Entscheidungsproblem - 1936
41 Mathematical logic (context) - Shoenfield - 1967
34 American Mathematical Monthly (context) - paradox - 1934
30 Grundlagen der Mathematik (context) - Hilbert, Bernays - 1934
29 Transactions of the American Mathematical Society (context) - Church, Zermelo's - 1927
26 Bulletin of the American Mathematical Society (context) - on, functions - 1936
26 Bulletin of the American Mathematical Society (context) - law, excluded - 1928
26 Raven Press (context) - Davis, undecidable - 1965
23 Annals of Mathematics (context) - of, logics - 1935
20 Transactions of the American Mathematical Society (context) - of - 1936
19 Princeton University Press (context) - mathematical, vol - 1956
11 Oxford University Press (context) - works - 1986
9 A mathematical logic without variables (context) - Rosser - 1935
9 Finite combinatory processes (context) - Post - 1936
7 Oxford University Press (context) - propositions, mathematical et al. - 1934
7 Oxford University Press (context) - length, proofs et al. - 1936
7 Annals of Mathematics - of, the et al. - 1933
7 Journal of Symbolic Logic (context) - of - 1937
7 Annals of Mathematics - of, the et al. - 1932
7 Journal of Symbolic Logic (context) - of - 1937
6 Stetigkeit und irrationale Zahlen (context) - Dedekind
5 graph machines: generalizing Turing's machines and arguments (context) - Sieg, Byrnes - 1996
5 Formal definitions in the theory of ordinal numbers (context) - Church, Kleene - 1935
4 Computability and recursion - Soare - 1996
4 The universal Turing machine (context) - Gandy, of - 1988
3 Second thoughts about Church's thesis and mathematical proof.. (context) - Mendelson - 1990
3 Oxford University Press (context) - of, works - 1934
3 Oxford University Press (context) - of, works - 1936
3 American Journal of Mathematics (context) - problem, number - 1936
3 Mathematische Annalen (context) - functions, numbers - 1936
2 Philosophy of mathematics today (context) - mathematical - 1996
2 Annals of Historical Computing (context) - the, the - 1984
2 Information and Control (context) - didn't, thesis - 1982
2 Annals of Historical Computing (context) - recursive, theory - 1981
2 Mathematics and mind (context) - Sieg, procedures et al. - 1994
1 Wolters-Noordho# Publishing (context) - metamathematics - 1952
1 Fundamenta Mathematicae (context) - in, of et al. - 1936
1 Ein Verfahren der mathematischen Logik (context) - Pepis - 1938
1 Collected works II (context) - the, conference et al. - 1946
1 Bulletin of STEP BY RECURSIVE STEP: CHURCH'S ANALYSIS OF EFF.. (context) - Church, Rosser et al. - 1935
1 Philosophia Mathematica (context) - Mundici, Sieg et al. - 1995
1 Kreisel's Church (context) - Odifreddi - 1996
1 Bulletin American Mathematical Society (context) - problem, number - 1935
1 The Institute for Advanced Studies (context) - Bernays, calculus - 1935
1 Bulletin of the American Mathematical Society (context) - functions, numbers - 1935
1 Bulletin of the American Mathematical Society (context) - recursiveness - 1935
1 to appear in Logic in Florence (context) - Turing, machines - 1997
1 The present situation in the foundations of mathematics (context) - odel - 1933
1 Logical dilemmas---the life and work of Kurt G odel (context) - Dawson - 1997
1 The universal Turing machine (context) - Feferman, the et al. - 1988
1 Proof by cases in formal logic (context) - Kleene - 1934
Documents on the same site (http://www.aslonline.org/asl/BSL/contents.html): More
Alonzo Church's contributions to philosophy and Intensional Logic - Anderson (1998) (Correct)
Is A Core Model Below - John Steel In (Correct)
The Impact of the Lambda Calculus in Logic and Computer Science - Barendregt (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC