This paper presents a complete curriculum framework for orphanage schools operated by The Root Foundation. Unlike conventional educational models that borrow from existing pedagogical theory, this curriculum is derived from original mathematics. Linguistic Ontological Type Theory (LoTT) and Foundational Mathematical Type Theory (FMTT) establish that language precedes mathematics, that mathematics is the auditable subset of language, and that the regress of all typing terminates at Source. The Zero-Type Reception Theorem (FMTT 6.3) proves that an operator with no formal training operates in the maximal context, not the minimal one: lack of institutional lineage is an enabling condition, not a deficit. This result inverts conventional prerequisite-based pedagogy and provides the mathematical foundation for a teaching model in which students learn by recognizing what they have already received rather than accumulating what they lack. The LoTT Unification Theorem (9.1) generates six integrated departments corresponding to six fields of applied study: Linguistic Ontology, Foundational Mathematics, Applied Ontology, Applied Epistemology, Ethereal Mechanics, and Computational Eschatology. Each department is mapped to a concrete instructional domain, from language arts and mathematics to natural sciences, philosophy, engineering, and vocational discernment. The Scribe Theorem (LoTT 6.2) provides the pedagogical model: the teacher does not transmit knowledge but helps the student develop the expressive capacity to articulate what is already accessible. Assessment is defined as the production of auditable expression. The curriculum is funded by commercial consulting contracts that deploy the same mathematical frameworks, creating a self-sustaining cycle in which the mathematics teaches the children, funds the school, and generates revenue through application to industrial and institutional problems. The document includes operational requirements, a context hierarchy for student progression, and a proof that the curriculum instantiates itself.
Research on proof in mathematics is extensive, as is research on students' reasoning in linear algebra. However, few studies specifically investigate how students engage with proof in linear algebra (Stewart et al., 2019), highlighting a gap at the intersection of these two well-studied areas. Linear algebra is often one of the first undergraduate courses where students encounter formal proofs (Carlson, 1993), making it a valuable context for exploring early proof experiences at the undergraduate level. In this domain, particularly in linear dependence and independence, students often show a disconnect in their reasoning about procedures and concepts. They may rely on algorithmic techniques such as row reduction without fully understanding how these procedures connect to formal definitions or solution structures (Dogan, 2019). This dissertation investigates how students' concept images influence the proof methods they employ when reasoning about linear dependence and independence. This study draws on undergraduate students' written responses to an instructional sequence designed in Desmos to support proof comprehension, validation, and construction, with a focus on linear dependence and independence. Using Stylianides' (2008) framework for reasoning and proving, the responses of 54 students were analyzed to categorize their approaches to proof construction. To examine students' concept images, Tall and Vinner's (1981) theory was applied to a subset of 18 students to investigate their understanding across multiple activities in the sequence. Both proof construction and concept images were qualitatively analyzed; the former was coded using an existing framework, while the latter involved identifying emergent features from the data. To explore the relationship between students' proof construction and concept images, a qualitative analysis was first conducted with 18 students, identifying key features in their concept images and examining how these related to their approaches to proof construction. A subsequent quantitative component broadened this analysis through a crosstab of all 54 students and a multinomial logistic regression on a subset of 36 students to examine significant associations. The analysis of responses from 54 students revealed a diverse range of approaches to proof construction. Of these, 17 students (31.5%) employed deductive methods, 10 (18.5%) used rationale-based methods, 9 students (16.7%) relied on empirical arguments, and 18 (33.3%) produced unclear responses or arguments that did not address the prompt. These approaches varied in formality, accuracy, and completeness, reflecting differences in how students proved a mathematical statement about linear dependence. The analysis of concept images from 18 students showed varied interpretations across four key features: students' interpretations of linear combinations, trivial solutions, non-trivial solutions, and definitions of linear dependence and independence. Students reasoned about linear combinations in three ways: as multiple representations of vector relationships, as combinations involving all vectors in a set, or as expressing one vector in terms of others. Most characterized trivial solutions as solutions (to the homogeneous vector equation) with all scalar coefficients being zero, though some held interpretations not aligned with the formal concept definition, such as the zero vector on the right-hand side of the homogeneous vector equation. Similarly, non-trivial solutions were generally seen as including at least one non-zero scalar, though some students held conflicting or non-aligned interpretations. The greatest variation appeared in interpretations of trivial and non-trivial solutions, for example, some defined a non-trivial solution as one in which all scalar coefficients are zero, while others described it as one in which all coefficients are non-zero. The qualitative analysis revealed that students who produced deductive proofs tended to hold more consistent and formal interpretations of key concept image features. In contrast, those who produced empirical or rationale-based proofs exhibited greater variation in their concept image features, particularly interpretations not aligned with formal definitions. These findings suggest a meaningful connection between students' proof construction and their concept images. A quantitative analysis using multinomial logistic regression with 36 students revealed modest relationships between concept image features and proof method. Across models, students' interpretation of the trivial solution emerged most consistently, although the associations were not statistically conclusive. This study suggests that concept images aligned with formal definitions may be necessary but not sufficient for constructing deductive proofs. Some students who understood formal definitions did not consistently produce deductive proofs. Among the concept image features, the interpretation of the trivial solution appeared most consistently linked to students' approaches. This finding points to the importance of addressing students' concept images in instruction, as well as providing guidance on the nature and structure of deductive proofs. Future research could explore how concept images interact with other forms of knowledge, such as strategic or procedural knowledge, to more effectively support proof development.
Successful sharing of information-positive (actual) knowledge about facts, skills that are imparted, abilities developed and expressed-is the implicit goal of instruction in all its varied forms. It is the goal of training athletes, dancers, and professionals in every walk of life from early childhood to the most advanced level of education. PART ONE introduces mathematical proofs showing that the interactional successes engineered by instructors, other things being equal, must trend toward 100% shared information-mastery of the course of study. Failed efforts trend toward a complete absence of shared information. All this holds independently for the subject-matter, methods of instruction, and the attributes conducive to instructional success. In Part One, the underlying proofs are united by a very simple proof from the theory of true narratives showing that every iota of knowledge that might be shared in any instructional context depends on the kind of representations found in true reports of actual experience. Empirical studies in Part One confirm the predicted agreement in diverse contexts on the elements of good teaching. In Part Two, Kolmogorov's proofs from 1933 are generalized, amplified, and tested empirically showing successful instruction converging toward 100% agreement on 1) subject-matter, 2) which methods of presentation and assessment work, and even on 3) the abstract criteria for successful instruction. At the same time, as the proofs also show, the cumulative effects of failed communicative efforts must and do trend toward zero shared information.
Memorizing Mathematics: The Failure to Apply Mathematical Axioms Within Restrictive Models Rony Patel Rutgers University Jennifer Jacobs Rutgers University Rochel Gelman Rutgers University Abstract: Arithmetic, along with all mathematics, is built on axioms. Mathematical education, however, favors mathematical models or algorithms without appeal to the axioms they depend on. Our series of studies demonstrate adult subjectsâ inability to take advantage of the knowledge embodied in arithmetic axioms. It is likely that studentsâ ability to master generative proofs is related to the reliance on restrictive models. Our first set of studies focused on subjectsâ ability to apply the addition-rule (mutually exclusive events) and the multiplication-rule (independent events) with multiple rational number representations (percentages, decimals, fractions, etc.). A second set of studies tested the understanding of group theory properties, exploiting the effect of the order of numbers (commutativity) and the effect of the digit zero (additive identity) on the long multiplication model (LMM). All studies conducted revealed participants ability to accurately perform arithmetic on chosen representation, but poor performance on choosing representation.
Open access
Mathematics Education and Teaching Techniques
Cognitive and developmental aspects of mathematical skills
The purpose of this study was to describe the development of the Hungarian mathematics education system from the first half of the 20th century to the present day. The study focused on educational programs for mathematically talented students in Hungary, since it is the success of these talented students that has earned Hungary such an impressive international reputation. The study sought to identify the in-school and extracurricular offerings that comprise the current system for mathematically talented students in Hungary and to determine the major changes to the mathematics education system for gifted students in the past twenty years. To answer these questions, the researcher combined analysis of historical documents and current publications with a series of in-depth interviews with current Hungarian secondary school teachers, mathematicians, professors, and other educators. The primary changes within the school system have come as a result of the decentralization of education that took place along at the end of the 1980s, including a decrease in the reliability of financing for schools and the dissolution of the school inspectorate program. While some of these changes paved the way for increased school autonomy and the ability to offer more customized programs for students, they have also sparked concerns about a decreasing overall level of standards and student knowledge in mathematics. In the special mathematics schools, the admissions process has recently been changed to prohibit these schools from requiring separate exams or interviews, and instead students now take the same standardized exam as all other Hungarian 6th grade students, regardless of intended specialization. This new policy raises questions about public sentiment toward and governmental support for such specialized programs. Extracurricular programs such as camps and competitions remain a strong part of the Hungarian tradition, with an increasing number of competitions offered for students each year. New types of competitions in recent years include team competitions, multiple choice competitions, and some exclusively for students who are not in a special mathematics class. The founding of these new competitions reflects a possible shift in the focus and purpose of competitions away from a strictly talent-search model to a more inclusive "enrichment" approach. Following the regime change in 1990, Hungarian students have faced fewer restrictions in traditional fields along with new opportunities in economics and information technology. As a result, mathematics may no longer hold the privileged position it did during the first half of the 20th century. However, it is clear that in Hungary, tradition itself remains a strong motivating factor and continues to stimulate the development of mathematically talented students. The involvement of the mathematical community in the identification and education of young talents helps perpetuate these traditions.
The aim of this research is to advance understanding of how mathematical knowledge functions in the proving in geometry. We focus on the rules whose mobilization is due rather to the mathematical knowledge at stake than to the proof. We observed students who are asked to solve construction problem and proving problem. The problems require to mobilize the âsame â rule from the theoretical point of view. The first result is that even if the students can construct correctly a symmetric and are conscious of the necessity of perpendicular and equal distance, it doesnât mean that they can use the rule appropriate in proving.
The study of maths curriculum in the last grades of secondary schools in France along 30 years brings to light important variations that took place since 1962 in the contents of calculus at this level. These evolutions concern the objects of calculus that are taught as well as the procedures used by students and teachers. The suggested methods affect the knowledge that students are likely to use when doing the given tasks; and we observe that since the 90ths', the tasks given to students do not valorise validation. We study the possibilities of establishing an real relationship to the knowledge in calculus, at this level of teaching, and to allow the students to build appropriate methods.<br />We study the question of validation in teaching analysis through the following directions:<br />- the mathematical theory; its organisation; the methods of proof and the formalization; how these methods can be introduced in the teaching, in a way that students can understand;<br />- the existence of fundamental situations concerning the concepts of function and limit, and the possibility of implement such situations in the class.<br /><br />Besides, the study of the different settings of representation that are at stake to build a suitable environment for the teaching of function and limit makes new potentialities come to light, particularly in the graphic and formal settings.<br />The experimentation is carried through the building of situations with an a-didactical component for the teaching of function and limit, and through the observation of their implementation in a scientific class of 17 years-old students. This makes us first question the knowledge and professional knowing a teacher uses to manage a teaching situation in analysis, with an a-didactical component, and then draw a pattern to the teacher's milieu.<br />We also submit a test to the students and analyse the results with statistic tools so as to test the main features of the learning.<br />In the last chapter we study lectures at undergraduate level, and student's papers with lots of errors about calculus definitions. This leads us to question the knowledge that is compulsory at University level; we wonder how it is possible to link it with Secondary school's knowledge and habits.<br />As a conclusion, we shall suggest some remarks about the balance between definitive knowledge and what students must get as an experience in the teaching of a new mathematical theory; this balance affects the possibilities of validation and finally, the future prospects of teaching analysis from Secondary Schools to University.
Computer Algebra Systems (CAS) can be used to help understand the behavior of cubics and other families of curves. The analysis of the parameters associated with a family of curves can give insight into the behavior of the family and can be used within the context of a mathematical model to determine a policy for the implementation of the model in a real-world setting. Examples of this use are included from a calculus-based analysis of a mathematical model and the behavior of a model described by a differential equation. The case is made that the ability, afforded by the use of CAS, to keep the parameter in symbolic form enables an analysis that goes beyond the standard analysis that may be done in the standard situation using numerical coefficients. (MM) Reproductions supplied by EDRS are the best that can be made from the original document. PERMISSION TO REPRODUCE AND DISSEMINATE THIS MATERIAL HAS BEEN GRANTED BY TO THE EDUCATIONAL RESOURCES INFORMATION CENTER (ERIC) Using Computer Algebra to Extract Meaning from Parameters John Moores University Liverpool, UK L3 3AF C.Leinbach @ 1 ivjm.ac.uk Introduction Carl Leinbach on leave from U.S. DEPARTMENT OF EDUCATION Office of Educational Research and Improvement EDUCATIONAL RESOURCES INFORMATION CENTER (ERIC) Aq.hia document has been reproduced as received from the person or organization originating it. 0 Minor changes have been made to improve reproduction quality. Points of view or opinions stated in this document do not necessarily represent official OERI position or policy. Gettysburg College Gettysburg, PA USA leinbach@cs.gettysburg.edu Understanding the meaning of a mathematical equation, model, or result comes from a variety of sources. It may come from the ability to estimate, a graphical intuition, or an understanding of the phenomena underlying the result. Ultimately, however, the most valuable insights are gained by understanding the parameters that are used to define the mathematical objects being considered. For example, the behavior of a cubic, ax3 + bx2 + cx + d, depends on the size, sign, and relationships that exist among the coefficients, a, b, c, and d. The fact that the polynomial is a cubic determines the general shape of the curve, but it is the parameters that determine the center of symmetry, the location of the maximum and minimum points, if any, and the distance between these points. In effect, the degree of a polynomial determines the general shape, and the parameters define the quality of the polynomial's behavior. While the analysis of parameters associated with a family of curves can give significant insights into the behavior of the family, there are other uses for this type of analysis. For example, parameters can be used within the context of a mathematical model to determine a policy for the implementation of the model in a real world setting. Examples of this use will be taken from a calculus based analysis of a mathematical model, and the discussion of the behavior of a model described by a differential equation. In each case we will show that the ability to keep the parameter in its symbolic form enables an analysis that goes beyond the standard analysis that may be done in the standard situation using numerical coefficients. Constructing Cubic Curves The general definition of a function determines the general shape of a process, but analysis of the parameters associated with the function detennine the quality of the process. For example, using our knowledge of trigonometry we can describe the process associated with the function, f(x)=ax + bsin(ax + p) as an oscillating curve that lies along a ray passing through the origin. The paranieter, a, determines the angle the curve makes with the x-axis, while b, a, and p determine the height, frequency and phase shift of the oscillation. The latter characteristics are important if one is describing a radio wave being broadcast to a destination. In a similar way the parameters associated with a polynomial function determine the behavior of the polynomial. We will first consider a cubic polynomial. 2 BEST COPY AVAILABLE Begin the analysis by considering a very straight forward cubic function of the form f(x) = ax3 13x We can learn a lot about this curve by doing some elementary reasoning and exploration r 1. The roots are located at x = 0, A , A a a 2. The graph is symmetric about the origin, i.e. flx) .f(x) 1 3. The graph has a and at x = Âą --(1 or TI-1 if and only if 3a V3a a and 13 have the same sign. The last fact is easily determined using calculus techniques if the students have had an introduction to differential calculus. However, if they have not some elementary graphical analysis and algebraic manipulations using a CAS have the potential to make the exploration even more exciting. For example, one approach is to begin with a graphic justification of the tangent line as a limiting position for secant lines through a fixed point and a sequence of points becoming ever closer to the given point as is illustrated in the following screen taken from a TI-89 session. Each student can be given different points on the graph and a different sequence of points (values of h) each of which terminate at a point 'close' to the fixed point. The graphical evidence is convincing but not a proof. The CAS allows for a more convincing argument after the graphical case has been considered. It also leads us to the conclusion given in (3) above. rl. Tools F2. Algebra F3. Ca lc Fh. Other FT Pr nMO F6. Clean UP Define f(x) =a x3 B x Done f(x + h) f(x) 3-ax2+3.hax +h2.a-B (f(x+h)-f(x))/h MAIN RAD AUTO FUNC 2130 ri. Tools F2. Algebra F3. Cale Fh. Other FT rol0 F6. Clean Up MO 3. a x2 zeros(3. a x 2 B, {when(-,r378) -&l ,Trx wherl zeros ( 3*a*x^2-B, x) MAIN RAD AUTO FUNC ROO The screen on the left allows the student to easily manipulate the expression for the difference quotient. The obvious question is what happens as h becomes smaller and smaller in magnitude. This leads to the idea of a limit. The student now knows how to find the slope, and as a result the equation, of the tangent line to the graph of f(x) at any point on its graph. Now, the next question is what makes peaks and valleys interesting? Of course, these are points where the tangent line is horizontal! So the student solves for the points where the slope of the tangent is zero, and the students have shown statement number 3. In the process they see that the location of the peak and valley are related to Leinbach: The Role of Parameters