Results 251 to 260 of about 92,076 (301)
Mathematical Analysis for a Class of Stochastic Copolymerization Processes. [PDF]
Bull Math BiolAnderson DF, Ma J, Gagrani P.
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
The Phenomenology of Mathematical Proof
Synthese, 1997zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Rota Gian-Carlo
exaly +3 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
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 +2 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
Audience role in mathematical proof development [PDF]
SynthÈse, 2020 The role of audiences in mathematical proof has largely been neglected, in part due to misconceptions like those in Perelman & Olbrechts-Tyteca (1969) which bar mathematical proofs from bearing reflections of audience consideration.
Zoe Ashton
exaly +1 more source
PROOF AND THE EVOLUTION OF MATHEMATICS
Synthese, 1997zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 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 +2 more sources
Mathematical Explanations that are Not Proofs
Erkenntnis, 2017zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source