The Mathematical Work of S.C.Kleene

DOI10.2307/420945zbMATH Open0829.03003OpenAlexW2089259606MaRDI QIDQ4837673FDOQ4837673

Authors: Joseph R. Shoenfield 

Publication date: 3 July 1995

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0101-toc.htm

Recommendations

• Kleene's amazing second recursion theorem
• The contribution of Polish logicians to recursion theory
• Classical recursion theory. The theory of functions and sets of natural numbers
• scientific article; zbMATH DE number 44117
• scientific article; zbMATH DE number 480999

zbMATH Keywords

surveyrecursion theoryKleene

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03)

Cites Work

• Title not available (Why is that?)
• On the interpretation of intuitionistic number theory
• On notation for ordinal numbers
• Recursion on the countable functionals
• On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
• Disjunction and existence under implication in elementary intuitionistic formalisms
• Recursively enumerable sets of positive integers and their decision problems
• On the Forms of the Predicates in the Theory of Constructive Ordinals
• On degrees of recursive unsolvability
• Formalized recursive functionals and formalized realizability
• The upper semi-lattice of degrees of recursive unsolvability
• Recursive well-orderings
• General recursive functions of natural numbers
• Computability and λ-definability
• The theory of recursive functions, approaching its centennial
• A note on recursive functions
• Reflections on Church's thesis
• \(\lambda\)-definability and recursiveness
• Proof by cases in formal logic
• The inconsistency of certain formal logics
• A Theory of Positive Integers in Formal Logic. Part II
• The work of Kurt Gödel
• A Postulational Basis for Probability

Cited In (10)

• Speed-up theorems in type-2 computations using oracle Turing machines
• The Mathematical Work of K. S. S. Nambooripad
• Kleene's amazing second recursion theorem
• Kleene’s Amazing Second Recursion Theorem
• Turing oracle machines, online computing, and three displacements in computability theory
• Alonzo church:his life, his work and some of his miracles
• Completeness: from Gödel to Henkin
• The contribution of Polish logicians to recursion theory
• Kleene, Rabin, and Scott Are Available
• Diagonalisation and Church's Thesis: Kleene's Homework

This page was built for publication: The Mathematical Work of S.C.Kleene

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4837673)