Kleene

Some articles on kleene:

History Of The Church–Turing Thesis - Kleene
... Kleene and Rosser transcribed Gödel's 1934 lectures in Princeton ... Recursive Functions of Natural Numbers Kleene states "A definition of general recursive function of natural numbers was suggested by Herbrand to Gödel, and was used by Gödel with an important ...
Church–Kleene Ordinal
... In mathematics, the Church–Kleene ordinal, named after Alonzo Church and S ... Kleene, is a large countable ordinal ...
Kleene's O - Kleene's
... The basic idea of Kleene's system of ordinal notations is to build up ordinals in an effective manner ... induction and the ordering (a partial ordering of Kleene's ) is defined simultaneously ... The natural number 0 belongs to Kleene's and ...