Is mathematics problem solving or theorem proving?

DOI10.1007/S10699-015-9475-2MaRDI QIDQ2013412zbMATH OpenOpenAlexFDO

Authors 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

axiomatic methodtheorem provingproblem solvingDavid Hilbertanalytic methodincompleteness theorems

Mathematics Subject Classification ID

Philosophy of mathematics (00A30)

Recommendations

• The making of mathematics. Heuristic philosophy of mathematics
• Reshaping the metaphor of proof
• What is the Philosophy of Mathematics, and what should it be?
• scientific article; zbMATH DE number 510242
• Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics

Cites work

• scientific article; zbMATH DE number 3991464 (Why is no real title available?)
• scientific article; zbMATH DE number 52092 (Why is no real title available?)
• scientific article; zbMATH DE number 1273299 (Why is no real title available?)
• scientific article; zbMATH DE number 510242 (Why is no real title available?)
• scientific article; zbMATH DE number 1021615 (Why is no real title available?)
• scientific article; zbMATH DE number 1120739 (Why is no real title available?)
• scientific article; zbMATH DE number 1134747 (Why is no real title available?)
• scientific article; zbMATH DE number 3015937 (Why is no real title available?)
• scientific article; zbMATH DE number 1868661 (Why is no real title available?)
• scientific article; zbMATH DE number 928934 (Why is no real title available?)
• scientific article; zbMATH DE number 5794051 (Why is no real title available?)
• scientific article; zbMATH DE number 3231044 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• scientific article; zbMATH DE number 3271446 (Why is no real title available?)
• scientific article; zbMATH DE number 964162 (Why is no real title available?)
• Asymptotic behavior of averaging-processes for a branching process of restricted Brownian particles
• Does mathematics need a philosophy?
• Experiencing mathematics. What do we do, when we do mathematics?
• Fidelity in Mathematical Discourse: Is One and One Really Two?
• Hilbert's Tenth Problem: What was done and what is to be done
• Mathematics on a Distant Planet
• Outlines of a formalist philosophy of mathematics
• Rethinking logic. Logic in relation to mathematics, evolution, and method
• The Heart of Mathematics
• The method of analysis. Its geometrical origin and its general significance
• The unreasonable effectiveness of mathematics
• What did Gödel Believe and When did He believe It?

Cited in

(3)

• Mathematical problem-solving and ontology: an exercise
• The making of mathematics. Heuristic philosophy of mathematics
• scientific article; zbMATH DE number 1503606 (Why is no real title available?)

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

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