The work of Kurt Gödel

DOI10.2307/2272394MaRDI QIDQ4140948zbMATH OpenOpenAlexFDO

Authors Stephen Cole Kleene

Publication date 1977

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2272394

Mathematics Subject Classification ID

History of mathematical logic and foundations (03-03)

Cites work

• scientific article; zbMATH DE number 3014189 (Why is no real title available?)
• scientific article; zbMATH DE number 3241254 (Why is no real title available?)
• A Theory of Positive Integers in Formal Logic. Part II
• An Unsolvable Problem of Elementary Number Theory
• Computability of Recursive Functions
• Consistency-Proof for the Generalized Continuum-Hypothesis
• Formal Reductions of the General Combinatorial Decision Problem
• General recursive functions of natural numbers
• The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis
• The consistency of arithmetics
• What is Cantor's Continuum Problem?
• \(\lambda\)-definability and recursiveness
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES

Cited in

(1)

• The Mathematical Work of S.C.Kleene

This page was built for publication: The work of Kurt Gödel

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