Is mathematics problem solving or theorem proving?

DOI10.1007/s10699-015-9475-2zbMath1368.00018OpenAlexW2275732906MaRDI QIDQ2013412

Carlo Cellucci

Publication date: 17 August 2017

Published in: Foundations of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10699-015-9475-2

zbMATH Keywords

theorem provingproblem solvingaxiomatic methodDavid Hilbertanalytic methodincompleteness theorems

Mathematics Subject Classification ID

Philosophy of mathematics (00A30)

Cites Work

• The method of analysis. Its geometrical origin and its general significance
• Rethinking logic. Logic in relation to mathematics, evolution, and method
• Asymptotic behavior of averaging-processes for a branching process of restricted Brownian particles
• Outlines of a formalist philosophy of mathematics
• What did Gödel Believe and When did He believe It?
• The Heart of Mathematics
• Mathematics on a Distant Planet
• The Unreasonable Effectiveness of Mathematics
• Fidelity in Mathematical Discourse: Is One and One Really Two?
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Is mathematics problem solving or theorem proving?