Mathematical Realism and Gödel's Incompleteness Theorems

DOI10.1093/PHILMAT/2.3.177MaRDI QIDQ4861494zbMATH OpenOpenAlexFDO

Authors Richard Tieszen

Publication date 2 May 1996

Published in Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/philmat/2.3.177

zbMATH Keywords

Church's thesisformalismGödel's incompleteness theoremsintuitionismmathematical realismmindrule governed machine

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• Réalisme et antimécanisme chez K. Gödel
• Gödel's incompleteness theorems and computer science
• Remarks on Church's thesis and Gödel's theorem
• After Godel: Mechanism, Reason, and Realism in the Philosophy of Mathematics
• Incompleteness, Mechanism, and Optimism

Cited in

(9)

• Gödel's incompleteness theorems and computer science
• scientific article; zbMATH DE number 6602523 (Why is no real title available?)
• After Godel: Mechanism, Reason, and Realism in the Philosophy of Mathematics
• scientific article; zbMATH DE number 5295811 (Why is no real title available?)
• Réalisme et antimécanisme chez K. Gödel
• Can Mathematics Be Proved Consistent?
• Does it follow from Gödel's incompleteness theorems that we are not machines?
• Does Gödel's incompleteness theorem prove that truth transcends proof?
• Gödel's incompleteness theorems from a paraconsistent perspective

This page was built for publication: Mathematical Realism and Gödel's Incompleteness Theorems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4861494)