The work of Kurt Gödel
From MaRDI portal
Publication:4140948
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
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)