Pragmatic Platonism

DOI10.1007/978-3-319-41842-1_14zbMath1439.03016OpenAlexW4255175362MaRDI QIDQ3305328

Martin Davis

Publication date: 6 August 2020

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-41842-1_14

zbMATH Keywords

large cardinalmathematical practicefinite cylinderincompleteness theoremplane figure

Mathematics Subject Classification ID

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

Cites Work

• What Does it Take to Prove Fermat's Last Theorem? Grothendieck and the Logic of Number Theory
• What did Gödel Believe and When did He believe It?
• Recursively enumerable sets of positive integers and their decision problems
• Unnamed Item
• Unnamed Item

This page was built for publication: Pragmatic Platonism