History and Concept of Computability:
Three Papers
It is important to understand the history of computability and
the developement of its concepts. There are three attached
papers in .pdf form which develop these ideas.
Paper # 1.
Bulletin of Symbolic Logic
2 (1996), 284--321.
This paper traces the development of the terms "recursive"
and "computable" and suggests that they be used with their
original meaning. It examines Church's Thesis and Turing's
Thesis and the distinction betweem them.
Paper # 2.
in: Proceedings of the Third Conference on
Computability in Europe, CiE 2007<\i> , Siena, Italy, June 18--23, 2007,
Lecture Notes in Computer Science, No. 4497, S.B. Cooper,
B. L\"owe, Andrea Sorbi (Eds.), Berlin, Heidelberg, 2007.
(Springer-Verlag, ISBN-10 3-540-73000-1; ISBN-13 978-3-540-73000-2.)
Paper # 3.
Annals of Pure and Applied Logic , to appear.