Results 21 to 30 of about 3,412,246 (356)
Analysis of Mathematical Proof Ability in Abstract Algebra Course
, 2020 Mathematical proving is an important ability to learn abstract algebra. Many students, however, found difficulties in solving problems involving mathematical proof. This research aims to describe the students' mathematical proving ability and to find out
N. Agustyaningrum +4 more
semanticscholar +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
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
On Proof and Progress in Mathematics [PDF]
Bulletin of the American Mathematical Society, 1994 In response to Jaffe and Quinn [math.HO/9307227], the author discusses forms of progress in mathematics that are not captured by formal proofs of theorems, especially in his own work in the theory of foliations and geometrization of 3-manifolds and dynamical systems.
openaire +6 more sources
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
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
Uniciencia, 2022 The objective of this study is to characterize the knowledge of mathematics teachers in initial training (MTITs) at the Universidad Nacional (Costa Rica) on the logic-syntactic and mathematical aspects involved in proving, when evaluating mathematical ...
Christian Alfaro-Carvajal +2 more
doaj +1 more source
On the difficulty of discovering mathematical proofs
Synthese, 2023 Abstract An account of mathematical understanding should account for the differences between theorems whose proofs are “easy” to discover, and those whose proofs are difficult to discover. Though Hilbert seems to have created proof theory with the idea that it would address this kind of “discovermental complexity”, much more attention has ...
Arana, Andrew, Stafford, Will
openaire +3 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