John Stillwell*Reverse Mathematics: Proofs from the Inside Out

Eastaugh, Benedict

doi:10.1093/philmat/nkaa003

Cited by 1 publication

(1 citation statement)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This might be the corner stone for the development of a new branch of mathematical logic known as reverse mathematics. Reverse mathematics is a program in mathematical logic that seeks to give precise answers to the question of which axioms are necessary in order to prove theorems of "ordinary mathematics" [3,18]. One question should be also addressed in the reverse mathematics is how likely it is that the theorem's conclusion will be optimally unreachable if sufficient conditions are not met perfectly.…”

Section: Introductionmentioning

confidence: 99%

Numerical Simulations to Illuminate the Sufficient Conditions of Integral Approximation Theorems

Hernadi

2024

Preprint

View full text Add to dashboard Cite

One of the crucial issue in the mathematical reasoning is that many students do not really understand the mathematical rules underlying the conditional statement p → q, whereas most of mathematical theorems are of this pattern. They believe that the falsity of p implies the falsity of q. This is tantamount to presuming that implication is equivalent to the inverse, but that’s not the case. This fact suggests that students have not been able in distinguishing the sufficient and the necessary conditions of a conditional statement. This article is concerned with this problem by investigating the sufficient conditions on the basic quadrature formulas of integral approximation and their implication to the convergence order attainable. In order to instill students’ critical thinking skills, theorems relating to the convergence orders of three basic methods are proven. Furthermore, the cases where the sufficient conditions are fulfilled as well as cases where they are not satisfied are examined by a series of numerical simulation. Mathematics Subject Classification: 03F03 , 65D30 , 65D32 , 65G50 , 65Y20

show abstract

Section: Introductionmentioning

confidence: 99%

Numerical Simulations to Illuminate the Sufficient Conditions of Integral Approximation Theorems

Hernadi

2024

Preprint

View full text Add to dashboard Cite

show abstract

John Stillwell*Reverse Mathematics: Proofs from the Inside Out

Cited by 1 publication

References 8 publications

Numerical Simulations to Illuminate the Sufficient Conditions of Integral Approximation Theorems

Numerical Simulations to Illuminate the Sufficient Conditions of Integral Approximation Theorems

Contact Info

Product

Resources

About