The work of Kurt Gödel
From MaRDI portal
Publication:4140948
DOI10.2307/2272394zbMath0366.02001OpenAlexW2045847292MaRDI QIDQ4140948
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
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- General recursive functions of natural numbers
- \(\lambda\)-definability and recursiveness
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
- A Theory of Positive Integers in Formal Logic. Part II
- Computability of Recursive Functions
- An Unsolvable Problem of Elementary Number Theory
- The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis
- Consistency-Proof for the Generalized Continuum-Hypothesis
- What is Cantor's Continuum Problem?
- Formal Reductions of the General Combinatorial Decision Problem
- The consistency of arithmetics
This page was built for publication: The work of Kurt Gödel
