Step by Recursive Step: Church’s Analysis of Effective Calculability

In Adam Olszewski, Jan Wolenski & Robert Janusz (eds.), Church's Thesis After 70 Years. Ontos Verlag. pp. 456-490 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

original Sieg, Wilfried (1950) "Formal Systems, properties of". Bulletin of Symbolic Logic 3():154-180
edition Sieg, Wilfried (1997) "Step by recursive step: Church's analysis of effective calculability". Bulletin of Symbolic Logic 3(2):154-180

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Church’s Thesis and Physical Computation.Hartmut Fitz - 2006 - In Adam Olszewski, Jan Wolenski & Robert Janusz (eds.), Church's Thesis After 70 Years. Ontos Verlag. pp. 175-219.
Church’s Thesis and Functional Programming.David Turner - 2006 - In Adam Olszewski, Jan Wolenski & Robert Janusz (eds.), Church's Thesis After 70 Years. Ontos Verlag. pp. 518-544.
The Status of Church’s Thesis.Roman Murawski & Jan Wolenski - 2006 - In Adam Olszewski, Jan Wolenski & Robert Janusz (eds.), Church's Thesis After 70 Years. Ontos Verlag. pp. 310-330.
Church’s Thesis and Philosophy of Mind.Darren Abramson - 2006 - In Adam Olszewski, Jan Wolenski & Robert Janusz (eds.), Church's Thesis After 70 Years. Ontos Verlag. pp. 9-23.

Analytics

Added to PP
2023-06-09

Downloads
3 (#1,850,836)

6 months
2 (#1,685,182)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Wilfried Sieg
Carnegie Mellon University

References found in this work

No references found.

Add more references