The work of Kurt Gödel

DOI10.2307/2272394zbMATH Open0366.02001OpenAlexW2045847292MaRDI QIDQ4140948FDOQ4140948

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

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

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)