David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Edward R. Griffor (ed.)
The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Since the interest in some topics is older than that in others, some presentations contain fundamental definitions and basic results while others relate very little of the elementary theory behind them and aim directly toward an exposition of advanced results. Presentations of the latter sort are in some cases restricted to a short survey of recent results (due to the complexity of the methods and proofs themselves). Hence the variation in level of presentation from chapter to chapter only reflects the conceptual situation itself. One example of this is the collective efforts to develop an acceptable theory of computation on the real numbers. The last two decades has seen at least two new definitions of effective operations on the real numbers.
|Categories||categorize this paper)|
|Buy the book||$83.24 used (58% off) $169.94 new (13% off) $185.25 direct from Amazon (5% off) Amazon page|
|Call number||QA9.59.H36 1999|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
J. Barwise, L. Blum, M. Shub, S. Smale, Fr Drake, Ss Wainer, E. Engeler, Hm Friedman, Ro Gandy & Cme Yates, 358 PG. Hinman.
Sc Kleene, El Post, M. Kline, M. Lerman, L. Lowenheim, D. Normann, P. Odifreddi, G. Peano, Cs Peirce & R. Penrose, R. PETER  Uber den Zussammenhang der verschiedenen Begriffe der rekursiven Funktion, Math. Ann.
M. Magidor, S. Shelah, J. Stavi, M. Mytilinaios, Ta Slaman, Jb Paris & H. la KirbyRogers Jr, Ge Sacks and Sg Simpson  the Oz-Finite Injury Method, Ann. Math. Logic, 4, Pp. 323-367.
Yn Moschovakis, J. Moldestad, V. Stoltenberg-Hansen, Jv Tucker, E. Nagel, P. Suppes, A. Tarski & Ra Platek, He Rose and Jc Shepherdson.
D. Scott, Vl Selivanov, Shoenfield Jr & Ra Shore, E. PALIUTIN  Addendum to the Paper of Ershov , Algebra I Logika, 14, Pp. 284-287; Transl. 14.
J. Stillwell, V. Stoltenberg-Hansen & Jv Tucker, C. TRETKOFF  Complexity, Combinatorial Group Theory and the Language of Palutators, Theoret. Comput. Sci., 56. Pp. 253-275. [REVIEW]
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
S. B. Cooper, T. A. Slaman & S. S. Wainer (eds.) (1996). Computability, Enumerability, Unsolvability: Directions in Recursion Theory. Cambridge University Press.
Piergiorgio Odifreddi (1989). Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers. Sole Distributors for the Usa and Canada, Elsevier Science Pub. Co..
Nachum Dershowitz & Yuri Gurevich (2008). A Natural Axiomatization of Computability and Proof of Church's Thesis. Bulletin of Symbolic Logic 14 (3):299-350.
Arto Salomaa (1985). Computation and Automata. Cambridge University Press.
Joseph S. Miller (2004). Degrees of Unsolvability of Continuous Functions. Journal of Symbolic Logic 69 (2):555 - 584.
George Boolos, John Burgess, Richard P. & C. Jeffrey (2007). Computability and Logic. Cambridge University Press.
Guido Gherardi (2011). Alan Turing and the Foundations of Computable Analysis. Bulletin of Symbolic Logic 17 (3):394-430.
Nigel Cutland (1980). Computability, an Introduction to Recursive Function Theory. Cambridge University Press.
Added to index2009-01-28
Total downloads22 ( #90,642 of 1,679,292 )
Recent downloads (6 months)1 ( #183,420 of 1,679,292 )
How can I increase my downloads?