Gödel
From MaRDI portal
Publication:4604262
Philosophical and critical aspects of logic and foundations (03A05) Biographies, obituaries, personalia, bibliographies (01A70) Automata and formal grammars in connection with logical questions (03D05) History of mathematical logic and foundations (03-03) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)
Recommendations
Cited in
(15)- scientific article; zbMATH DE number 3775478 (Why is no real title available?)
- Kurt Gödel philosopher -- scientist
- Gödel and physics
- scientific article; zbMATH DE number 1974567 (Why is no real title available?)
- scientific article; zbMATH DE number 2101960 (Why is no real title available?)
- Completeness and the ends of axiomatization
- scientific article; zbMATH DE number 2129320 (Why is no real title available?)
- Shoenfield is Gödel after Krivine
- scientific article; zbMATH DE number 2182417 (Why is no real title available?)
- Core Gödel
- Some transfinite generalisations of Gödel's incompleteness theorem
- On formalism freeness: implementing Gödel's 1946 Princeton bicentennial lecture
- scientific article; zbMATH DE number 5859784 (Why is no real title available?)
- scientific article; zbMATH DE number 1195581 (Why is no real title available?)
- scientific article; zbMATH DE number 1788465 (Why is no real title available?)
This page was built for publication: Gödel
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4604262)