Results 231 to 240 of about 2,419,527 (287)
Some of the next articles are maybe not open access.
The Phenomenology of Mathematical Proof
Modern Birkhäuser Classics, 1997zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Gian-Carlo Rota
exaly +4 more sources
The Review of Symbolic Logic, 2019 AbstractMathematical proof is the primary form of justification for mathematical knowledge, but in order to count as a proper justification for a piece of mathematical knowledge, a mathematical proof must be rigorous. What does it mean then for a mathematical proof to be rigorous?
Hamami, Yacin, Yacin Hamami
openaire +4 more sources
PLANS AND PLANNING IN MATHEMATICAL PROOFS
The Review of Symbolic Logic, 2020AbstractIn practice, mathematical proofs are most often the result of careful planning by the agents who produced them. As a consequence, each mathematical proof inherits a plan in virtue of the way it is produced, a plan which underlies its “architecture” or “unity.” This paper provides an account ofplansandplanningin the context of mathematical ...
Hamami, Yacin, Morris, Rebecca L.E.A.
openaire +3 more sources
Evolution of Mathematical Proof
Foundations of Science, 1997zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mrozek, Marian, Urbaniec, Jacek
openaire +1 more source
PROOF AND THE EVOLUTION OF MATHEMATICS
Synthese, 1997zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Planning Mathematical Proofs with Methods
J. Inf. Process. Cybern., 1994Summary: We formally describe a declarative approach for encoding plan operators in proof planning, the so-called methods. The notion of method evolves from the much studied concept tactic and was first used by Bundy. While significant deductive power has been achieved with the planning approach towards automated deduction, the procedural character of ...
Huang, Xiaorong +3 more
openaire +3 more sources