Results 31 to 40 of about 3,387,563 (289)
Derivatives of normal functions in reverse mathematics [PDF]
Annals of Pure and Applied Logic, 2019 Consider a normal function $f$ on the ordinals (i. e. a function $f$ that is strictly increasing and continuous at limit stages). By enumerating the fixed points of $f$ we obtain a faster normal function $f'$, called the derivative of $f$.
Anton Freund, M. Rathjen
semanticscholar +1 more source
Pincherle's theorem in reverse mathematics and computability theory [PDF]
Annals of Pure and Applied Logic, 2018 We study the logical and computational properties of basic theorems of uncountable mathematics, in particular Pincherle's theorem, published in 1882. This theorem states that a locally bounded function is bounded on certain domains, i.e. one of the first
D. Normann, Sam Sanders
semanticscholar +1 more source
African Journal of Teacher Education, 2020 This study examined the impact of the flipped classroom on the learning outcome of secondary school students in mathematics in Lagos, Nigeria. It examined the impact of a flipped classroom package (FCP) on post-test performance (PP) and retention ...
Semiu Olawale Makinde
doaj +1 more source
Mathematical Approach in Complex Surfaces Toolpaths
Mathematics, 2021 This paper represents the focus on developing efficient algorithms that reduce the operations required to be employed in order to obtain complex surfaces milling finishing toolpaths for the three axis NC (Numerical Control) machine within the reverse ...
Florin Popișter +3 more
doaj +1 more source
Reverse Mathematics of Topology: Dimension, Paracompactness, and Splittings [PDF]
Notre Dame Journal of Formal Logic, 2018 Reverse Mathematics (RM hereafter) is a program in the foundations of mathematics founded by Friedman and developed extensively by Simpson and others. The aim of RM is to find the minimal axioms needed to prove a theorem of ordinary, i.e.
Sam Sanders
semanticscholar +1 more source
THE REVERSE MATHEMATICS OF THEOREMS OF JORDAN AND LEBESGUE [PDF]
Journal of Symbolic Logic (JSL), 2017 The Jordan decomposition theorem states that every function $f \colon \, [0,1] \to \mathbb {R}$ of bounded variation can be written as the difference of two non-decreasing functions.
A. Nies, M. Triplett, K. Yokoyama
semanticscholar +1 more source
Technologies for Teaching Mathematics in a Multilingual Digital Environment
Education Sciences, 2022 The article considers the expansion of digital technologies and their impact on training modern specialists. The increase in the volume of information, students’ requests for interdisciplinary practice-oriented training, and the involuntary transition to
Galina Dubinina +2 more
doaj +1 more source
Partial impredicativity in reverse mathematics [PDF]
The Journal of Symbolic Logic, 2013 AbstractIn reverse mathematics, it is possible to have a curious situation where we know that an implication does not reverse, but appear to have no information on how to weaken the assumption while preserving the conclusion (other than reducing all the way to the tautology of assuming the conclusion).
openaire +4 more sources
A Proposed Taxonomy of Teaching Models in STEM Education: Robotics as an Example
SAGE Open, 2022 Many countries and regions have reached a consensus to promote science, technology, engineering, and mathematics (STEM) education in the past decade.
Baichang Zhong +3 more
doaj +1 more source
Set Existence Principles and Closure Conditions: Unravelling the Standard View of Reverse Mathematics† [PDF]
Philosophia Mathematica, 2018 It is a striking fact from reverse mathematics that almost all theorems of countable and countably representable mathematics are equivalent to just five subsystems of second-order arithmetic.
Benedict Eastaugh
semanticscholar +1 more source