Results 1 to 10 of about 3,412,246 (356)
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 +6 more sources
The Automation of Proof by Mathematical Induction [PDF]
, 2001 Chapter appears in Handbook of Automated Reasoning Edited by: Alan Robinson and Andrei Voronkov ISBN: 978-0-444-50813 ...
Alan Bundy
openalex +5 more sources
Desperately Seeking Mathematical Proof [PDF]
The Mathematical Intelligencer, 2021 Remarks on mathematical proof and the practice of mathematics.
Melvyn B. Nathanson
openalex +5 more sources
ADVERSITY QUOTIENT AND RESILIENCE IN MATHEMATICAL PROOF PROBLEM-SOLVING ABILITY
MaPan: Jurnal Matematika dan Pembelajaran, 2020 : Various mathematical abilities require a high level of struggle to be achieved, one of which is the ability to solve mathematical proof problems. Several factors are also associated with this ability, including adversity quotient and resilience.
Fauziah Hakim, Murtafiah Murtafiah
doaj +2 more sources
What Do We Mean by Mathematical Proof?
, 2011 Mathematical proof lies at the foundations of mathematics, but there are several notions of what mathematical proof is, or might be. In fact, the idea of mathematical proof continues to evolve. In this article, I review the body of literature that argues
Todd CadwalladerOlsker
openalex +3 more sources
Audience role in mathematical proof development [PDF]
Synthese, 2020 Zoe Ashton
openalex +2 more sources
A proof-scheme in discrete mathematics [PDF]
Journal of Soviet Mathematics, 1977 Yuri Matiyasevich
openalex +4 more sources
NaturalProver: Grounded Mathematical Proof Generation with Language Models [PDF]
Neural Information Processing Systems, 2022 Theorem proving in natural mathematical language - the mixture of symbolic and natural language used by humans - plays a central role in mathematical advances and education, and tests aspects of reasoning that are core to intelligence.
S. Welleck +4 more
semanticscholar +1 more source
مجلة الدراسات الاجتماعية, 2021 This study aimed to identify the extent to which mathematical proof and logic methods are achieved in mathematics courses for student-teachers at the University of Sana'a.
Fawzi Abdullah Khaled Al-Haded
doaj +3 more sources
Conception of understanding in mathematical proof [PDF]
Омский научный вестник: Серия "Общество. История. Современность", 2021 The article analyzes the role of the concept of understanding in mathematical proof. Understanding seems to be a natural and necessary characteristic of proof, interpreted as an argument in favor of the established result.
V. V. Tselishchev, A. V. Khlebalin
doaj +1 more source