Is mathematics problem solving or theorem proving?
type: Item
instance of: scholarly article
title: Is mathematics problem solving or theorem proving?
zbMATH Open document ID: 1368.00018
author: Carlo Cellucci
published in: Foundations of Science
publication date: 2017-08-17T00:00:00Z
Mathematics Subject Classification ID: 00A30
zbMATH DE Number: 6761783
zbMATH Keywords: problem solving
zbMATH Keywords: theorem proving
zbMATH Keywords: analytic method
zbMATH Keywords: axiomatic method
zbMATH Keywords: David Hilbert
zbMATH Keywords: incompleteness theorems
MaRDI profile type: MaRDI publication profile
full work available at URL: s10699-015-9475-2
OpenAlex ID: W2275732906
cites work: Q4931899
cites work: Q5556389
cites work: Rethinking logic. Logic in relation to mathematics, evolution, and method
cites work: Outlines of a formalist philosophy of mathematics
cites work: Fidelity in Mathematical Discourse: Is One and One Really Two?
cites work: What did Gödel Believe and When did He believe It?
cites work: Q4237309
cites work: Q3753978
cites work: Q4793817
cites work: Q3629622
cites work: The Heart of Mathematics
cites work: The Unreasonable Effectiveness of Mathematics
cites work: Mathematics on a Distant Planet
cites work: Q4340904
cites work: Experiencing mathematics. What do we do, when we do mathematics?
cites work: Asymptotic behavior of averaging-processes for a branching process of restricted Brownian particles
cites work: Q4002447
cites work: Q4893763
cites work: The method of analysis. Its geometrical origin and its general significance
cites work: Q4760179
cites work: Q4280718
cites work: Hilbert's Tenth Problem: What was done and what is to be done
cites work: Q5519096
cites work: Q4377821
cites work: Q5691071
cites work: Q5537599
cites work: Q4382170
DOI: 10.1007/S10699-015-9475-2
description: scientific article; zbMATH DE number 6761783