Biographical Memoirs Volume 75 (1998) / Chapter Skim
Currently Skimming:
Stephen Cole Kleene
Stephen Cole Kleene
Pages 154-163
The Chapter Skim interface presents what we've algorithmically identified as the most significant single chunk of text within every page in the chapter.
Select key terms on the right to highlight them within pages of the chapter.
From page 155... ...
For example, the notation ~ tic · (~ + 1) with the Greek letter lambda names the function that sencis each number tic to its square plus I, en c!
|
From page 156... ...
the speculative thesis that the effectively computable functions (of numbers) conic!
|
From page 157... ...
In 1941-42 he mover! to become associate professor at his alma mater Amherst College.
|
From page 158... ...
The ~ 954 joint paper of Kleene en c! Post about these degrees has been a major influence, for example, in emphasizing the following 1944 Post problem: Can there be two recursively enumerable sets with incomparable degrees?
|
From page 159... ...
out to me that "chapter one of this book provides the first systematic exposition of the foundations of intuitionist analysis set out as an axiomatic system treating Brouwer's fan theorem, the bar theorem, en c! the continuity principle (caller!
|
From page 160... ...
to admire the venerable farmhouse en c! nearby private lake.
|
From page 161... ...
2, 35:529-44. 1935 161 A theory of positive integers in formal logic (Ph.D.
|
From page 162... ...
14:2340. 1962 Turing-machine computable functionals of finite types II.
|
From page 163... ...
I.: American Mathematical Society.
|
Key Terms
This material may be derived from roughly machine-read images, and so is provided only to facilitate research.
More
information on Chapter Skim is available.