Truth and Provability

DOI10.1093/BJPS/AXM006MaRDI QIDQ5426540zbMATH OpenOpenAlexFDO

Authors J. R. Lucas, Michael Redhead

Publication date 12 November 2007

Published in The British Journal for the Philosophy of Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/bjps/axm006

Mathematics Subject Classification ID

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

Recommendations

• Truth and Provability—A Comment on Redhead
• Truth vs. provability – philosophical and historical remarks
• Does truth equal provability in the maximal theory?
• On formal and informal provability
• Informal and absolute proofs: some remarks from a Gödelian perspective

Cited in

(6)

• Results on inquiry and truth possession
• Truth and Probability
• Truth and Provability—A Comment on Redhead
• Truth and definite truth
• Truth and assertability
• Reasoning about truth

This page was built for publication: Truth and Provability

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