Results 1 
3 of
3
Step By Recursive Step: Church's Analysis Of Effective Calculability
 BULLETIN OF SYMBOLIC LOGIC
, 1997
"... Alonzo Church's mathematical work on computability and undecidability is wellknown 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 "Ch ..."
Abstract

Cited by 11 (0 self)
 Add to MetaCart
Alonzo Church's mathematical work on computability and undecidability is wellknown 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 recursiveness, not his own #definability as he had done in 1934? A number of letters were exchanged between Church and Paul Bernays during the period from December 1934 to August 1937; they throw light on critical developments in Princeton during that period and reveal novel aspects of Church's distinctive contribution to the analysis of the informal notion of e#ective calculability. In particular, they allow me to give informed, though still tentative answers to the questions I raised; the char...
Remarks On Finitism
 Reflections on the Foundations of Mathematics. Essays in Honor of Solomon Feferman, LNL 15. Association for Symbolic Logic
, 2000
"... representability in intuition. (See [2, p. 40].) But our problem is, of course, not the finiteness of a number, but the infinity of numbers. There is, I think, a di#culty with Bernays' notion of formal object, where this is intended to extend to numbers so large as, not only to be beyond processing ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
representability in intuition. (See [2, p. 40].) But our problem is, of course, not the finiteness of a number, but the infinity of numbers. There is, I think, a di#culty with Bernays' notion of formal object, where this is intended to extend to numbers so large as, not only to be beyond processing by the human mind, but possibly to be beyond representablity in the physical world. [2, p. 39]. This di#culty ought to be discussed more adequately then + This paper is based on a talk that I was very pleased to give at the conference Reflections, December 1315, 1998, in honor of Solomon Feferman on his seventieth birthday. The choice of topic is especially appropriate for the conference in view of recent discussions we had had about finitism. I profited from the discussion following my talk and, in particular, from the remarks of Richard Zach. I have since had the advantage of further discussions with Zach and of reading his paper 1998; and I use his scholarshi
BERNAYS AND SET THEORY
"... Abstract. We discuss the work of Paul Bernays in set theory, mainly his axiomatization and his use of classes but also his higherorder reflection principles. Paul Isaak Bernays (1888–1977) is an important figure in the development of mathematical logic, being the main bridge between Hilbert and Göd ..."
Abstract
 Add to MetaCart
Abstract. We discuss the work of Paul Bernays in set theory, mainly his axiomatization and his use of classes but also his higherorder reflection principles. Paul Isaak Bernays (1888–1977) is an important figure in the development of mathematical logic, being the main bridge between Hilbert and Gödel in the intermediate generation and making contributions in proof theory, set theory, and the philosophy of mathematics. Bernays is best known for the twovolume 1934,1939 Grundlagen der Mathematik [39, 40], written solely by him though Hilbert was retained as first author. Going into many reprintings and an eventual second edition thirty years later, this monumental work provided a magisterial exposition of the work of the Hilbert school in the formalization of firstorder logic and in proof theory and the work of Gödel on incompleteness and its surround, including the first complete proof of the Second Incompleteness Theorem. 1 Recent reevaluation of Bernays ’ role actually places him at the center of the development of mathematical logic and Hilbert’s program. 2 But starting in his forties, Bernays did his most individuated, distinctive mathematical work in set theory, providing a timely axiomatization and later applying higherorder reflection principles, and produced a stream of