The Gödelian Inferences

DOI10.1080/01445340802617523zbMath1187.03006OpenAlexW2075931406WikidataQ58502927 ScholiaQ58502927MaRDI QIDQ3401359

Curtis Franks

Publication date: 29 January 2010

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445340802617523

zbMATH Keywords

Gödelsecond incompleteness theoremGödel's conception of meta-mathematicsintensional reading

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)

Cites Work

• Unnamed Item
• Unnamed Item
• On the fundamental conjecture of \(GLC\). I, II
• Hilbert's program. An essay on mathematical instrumentalism
• Solution of a problem of Leon Henkin
• Redundancies in the Hilbert-Bernays derivability conditions for Gödel's second incompleteness theorem
• Extensions of some theorems of Gödel and Church
• On the Interpretation of Non-Finitist Proofs--Part I
• On the interpretation of non-finitist proofs–Part II
• On the Completeness of Quantification Theory
• Alfred Tarski: Semantic shift, heuristic shift in metamathematics

This page was built for publication: The Gödelian Inferences