Is mathematics problem solving or theorem proving?

DOI10.1007/S10699-015-9475-2zbMATH Open1368.00018OpenAlexW2275732906MaRDI QIDQ2013412FDOQ2013412

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

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

zbMATH Keywords

axiomatic methodtheorem provingproblem solvingDavid Hilbertanalytic methodincompleteness theorems

Mathematics Subject Classification ID

Philosophy of mathematics (00A30)

Cites Work

• Title not available (Why is that?)
• The method of analysis. Its geometrical origin and its general significance
• Rethinking logic. Logic in relation to mathematics, evolution, and method
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Mathematics on a Distant Planet
• Title not available (Why is that?)
• Title not available (Why is that?)
• The unreasonable effectiveness of mathematics
• Asymptotic behavior of averaging-processes for a branching process of restricted Brownian particles
• Title not available (Why is that?)
• Hilbert's Tenth Problem: What was done and what is to be done
• Title not available (Why is that?)
• Title not available (Why is that?)
• Outlines of a formalist philosophy of mathematics
• Fidelity in Mathematical Discourse: Is One and One Really Two?
• The Heart of Mathematics
• Experiencing mathematics. What do we do, when we do mathematics?
• Title not available (Why is that?)
• Title not available (Why is that?)
• What did Gödel Believe and When did He believe It?
• Does mathematics need a philosophy?
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (3)

• Title not available (Why is that?)
• The making of mathematics. Heuristic philosophy of mathematics
• Mathematical problem-solving and ontology: an exercise

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)