Results 1 to 10 of about 998,736 (272)
Mathematical proof: from mathematics to school mathematics. [PDF]
Philos Trans A Math Phys Eng Sci, 2019 Proof plays a central role in developing, establishing and communicating mathematical knowledge. Nevertheless, it is not such a central element in school mathematics. This article discusses some issues involving mathematical proof in school, intending to characterize the understanding of mathematical proof in school, its function and the meaning and ...
Rocha H.
europepmc +5 more sources
Acceptable gaps in mathematical proofs [PDF]
Synthese, 2018 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Line Edslev Andersen
openalex +3 more sources
Granularity Analysis for Mathematical Proofs [PDF]
Topics in Cognitive Science, 2013 AbstractMathematical proofs generally allow for various levels of detail and conciseness, such that they can be adapted for a particular audience or purpose. Using automated reasoning approaches for teaching proof construction in mathematics presupposes that the step size of proofs in such a system is appropriate within the teaching context.
Marvin Schiller
openalex +3 more sources
Practical Theory Extension in Event-B [PDF]
, 2013 . The Rodin tool for Event-B supports formal modelling and proof using a mathematical language that is based on predicate logic and set theory. Although Rodin has in-built support for a rich set of operators and proof rules, for some application areas ...
Butler, Michael, Maamria, Issam
core +1 more source
Proof phenomenon as a function of the phenomenology of proving [PDF]
, 2015 Kurt Gödel wrote (1964, p. 272), after he had read Husserl, that the notion of objectivity raises a question: “the question of the objective existence of the objects of mathematical intuition (which, incidentally, is an exact replica of the question of ...
Hipólito, Inês
core +1 more source
Matching concepts across HOL libraries [PDF]
, 2014 Many proof assistant libraries contain formalizations of the same mathematical concepts. The concepts are often introduced (defined) in different ways, but the properties that they have, and are in turn formalized, are the same.
C So +14 more
core +2 more sources
The Tur\'{a}n number and probabilistic combinatorics [PDF]
, 2011 In this short expository article, we describe a mathematical tool called the probabilistic method, and illustrate its elegance and beauty through proving a few well-known results. Particularly, we give an unconventional probabilistic proof of a classical
Aw, Alan J.
core +1 more source
Synthese, 2003 The aim I am pursuing here is to describe some general aspects of mathematical proofs. In my view, a mathematical proof is a warrant to assert a non-tautological statement which claims that certain objects (possibly a certain object) enjoy a certain property. Because it is proved, such a statement is a mathematical theorem.
openaire +2 more sources
The Informal Logic of Mathematical Proof
, 2003 Informal logic is a method of argument analysis which is complementary to that of formal logic, providing for the pragmatic treatment of features of argumentation which cannot be reduced to logical form.
Brockriede Wayne +22 more
core +1 more source
On the nonlinear stability of mKdV breathers [PDF]
, 2012 A mathematical proof for the stability of mKdV breathers is announced. This proof involves the existence of a nonlinear equation satisfied by all breather profiles, and a new Lyapunov functional which controls the dynamics of small perturbations and ...
Akhmediev N +12 more
core +2 more sources