Results 11 to 20 of about 1,007,644 (283)
Mathematical Method and Proof [PDF]
Synthese, 2006 On a traditional view, the primary role of a mathematical proof is to warrant the truth of the resulting theorem. This view fails to explain why it is very often the case that a new proof of a theorem is deemed important. Three case studies from elementary arithmetic show, informally, that there are many criteria by which ordinary proofs are valued.
Jeremy Avigad
openaire +3 more sources
Jurnal Pendidikan Matematika dan IPA, 2017 This study aims to know the effect of teaching and learning using Algebraic Stucture materials based on mathematical proof to improve mathematical proof ability. The type of this study is experimental method with One Shot Case Study design. Population in
Jamilah Jamilah, Syarifah Fadillah
doaj +1 more source
Anti-foundationalist Philosophy of Mathematics and Mathematical Proofs
Studia Humana, 2020 The Euclidean ideal of mathematics as well as all the foundational schools in the philosophy of mathematics have been contested by the new approach, called the “maverick” trend in the philosophy of mathematics.
Krajewski Stanisław
doaj +1 more source
Mathematical Rigor, Proof Gap and the Validity of Mathematical Inference
Philosophia Scientiæ, 2014 Mathematical rigor is commonly formulated by mathematicians and philosophers using the notion of proof gap: a mathematical proof is rigorous when there is no gap in the mathematical reasoning of the proof. Any philosophical approach to mathematical rigor
Yacin Hamami
doaj +1 more source
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
Jurnal Elemen, 2023 Argumentation as an aspect of problem-solving has been studied in mathematics education. However, mathematical proof still needs to be resolved further.
Surya Kurniawan +2 more
doaj +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
Application of Discovery Learning Method in Mathematical Proof of Students in Trigonometry
Desimal, 2020 Trigonometry is a part of mathematics in learning that is related to angles. The purpose of this study was to determine the effect of the application of discovery learning methods in students' mathematical proof ability on trigonometry.
Windia Hadi, Ayu Faradillah
doaj +1 more source
, 2000 Proof of a simple mathematical inequality using elements of surface tension theory and ideal gas law to the formation and coalescence of bubbles.Comment: Latex style convention for mathematics ...
Bolina, Oscar, Parreira, J. Rodrigo
core +2 more sources