Pragmatic Platonism

DOI10.1007/978-3-319-96274-0_10zbMath1429.03020OpenAlexW2905251093MaRDI QIDQ5214681

Martin Davis

Publication date: 5 February 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-96274-0_10

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The decision problem for exponential diophantine equations
• What is mathematical truth?
• The primes contain arbitrarily long arithmetic progressions
• 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?
• Existential Definability in Arithmetic
• David Hilbert and his mathematical work
• Recursively enumerable sets of positive integers and their decision problems

This page was built for publication: Pragmatic Platonism