(I) MATHEMATICAL LECTURES. LECTURE I. Of the Name and general Division of the Mathematical Sciences. BEING about to treat upon the Mathematical Sciences, ...

A beneficial effect of gesture on learning has been demonstrated in multiple domains, including mathematics, science, and foreign language vocabulary. However, because gesture is known to co-vary with other non-verbal behaviors, including eye gaze and prosody along with face, lip, and body movements, it is possible the beneficial effect of gesture is instead attributable to these other behaviors. We used a computer-generated animated pedagogical agent to control both verbal and non-verbal behavior. Children viewed lessons on mathematical equivalence in (...) which an avatar either gestured or did not gesture, while eye gaze, head position, and lip movements remained identical across gesture conditions. Children who observed the gesturing avatar learned more, and they solved problems more quickly. Moreover, those children who learned were more likely to transfer and generalize their knowledge. These findings provide converging evidence that gesture facilitates math learning, and they reveal the potential for using technology to study non-verbal behavior in controlled experiments. (shrink)

A beneficial effect of gesture on learning has been demonstrated in multiple domains, including mathematics, science, and foreign language vocabulary. However, because gesture is known to co‐vary with other non‐verbal behaviors, including eye gaze and prosody along with face, lip, and body movements, it is possible the beneficial effect of gesture is instead attributable to these other behaviors. We used a computer‐generated animated pedagogical agent to control both verbal and non‐verbal behavior. Children viewed lessons on mathematical equivalence in (...) which an avatar either gestured or did not gesture, while eye gaze, head position, and lip movements remained identical across gesture conditions. Children who observed the gesturing avatar learned more, and they solved problems more quickly. Moreover, those children who learned were more likely to transfer and generalize their knowledge. These findings provide converging evidence that gesture facilitates math learning, and they reveal the potential for using technology to study non‐verbal behavior in controlled experiments. (shrink)

ObjectivesUnder the COVID-19 prevention and control policy, online learning has been widely used. The current study aimed to identify latent profiles of self-regulated learning in the context of online mathematics learning during the recurrent outbreak of COVID-19, and examine the mechanisms underlying the relationship between self-regulated learning and online mathematics learning engagement among Chinese junior high school students using variable-and person-centered approaches.MethodsA sample of 428 Chinese junior high school students completed questionnaires on self-regulated (...) learning, perceived academic control, and learning engagement. Mplus7.0 was used to analyze the latent classes of self-regulated learning. A mediation model was conducted using the software SPSS PROCESS macro.ResultsThree profiles of self-regulated learning were identified and named as low self-regulated learning, medium self-regulated learning, and high self-regulated learning. In the mediating analysis, results of the variable-centered approach showed that perceived academic control mediated the effects of self-regulated learning on learning engagement. For the person-centered approach, we selected the low self-regulated learning type as the reference profile, and the analysis revealed that compared with the reference profile, perceived academic control partially mediated the link between the medium self-regulated learning profile and learning engagement; perceived academic control partially mediated the relationship between the high self-regulated learning profile and learning engagement.ConclusionThis study showed the heterogeneity in the online mathematics self-regulated learning patterns of Chinese junior high school students during the COVID-19 pandemic, revealing the internal mechanisms of Chinese junior high school students’ online mathematics learning engagement using variable-and person-centered approaches. Furthermore, the findings of the study have important implications for promoting online mathematics learning engagement among junior high students during the pandemic. (shrink)

Mathematical learning difficulties (MLD) refer to a variety of deficits in math skills, typically pertaining to the domains of arithmetic and problem solving. The present study examined the time course of attentional orienting in MLD children with a spatial cueing task, by parametrically manipulating the cue-target onset asynchrony (CTOA). The results of Experiment 1 revealed that, in contrast to typical developing children, the inhibitory aftereffect of attentional orienting—frequently referred to as inhibition of return (IOR)—was not observed in the MLD (...) children, even at the longest CTOA tested (800 ms). However, robust early facilitation effects were observed in the MLD children, suggesting that they have difficulties in attentional disengagement rather than attentional engagement. In a second experiment, a secondary cue was introduced to the cueing task to encourage attentional disengagement and IOR effects were observed in the MLD children. Taken together, the present experiments indicate that MLD children are sluggish in disengaging spatial attention. (shrink)

The purpose of the present study was to investigate the effect and use of distributed practice in the context of self-regulated mathematical learning in high school. With distributed practice, a fixed learning duration is spread over several sessions, whereas with massed practice, the same time is spent learning in one session. Distributed practice has been proven to be an effective tool for improving long-term retention of verbal material and simple procedural knowledge in mathematics, at least when (...) the practice schedule is externally guided. In the present study, distributed practice was investigated in a context that required a higher degree of self-regulation. In total, 158 secondary school students were invited to participate. After motivational and cognitive characteristics of the students were assessed, the students were introduced to basic statistics, a topic of their regular curriculum. At the end of the introduction, the students could sign up for the study to further practice this content. Eighty-seven students did so and were randomly assigned either to the distributed or to the massed practice condition. In the distributed practice condition, they received three practice sets on three different days. In the massed practice condition, they received the same three sets, but all on one day. All exercises were worked in the context of self-regulated learning at home. Performance was tested two weeks after the last practice set. Only 44 students finished the study, which hampered the analysis of the effect of distributed practice. The characteristics of the students who completed the exercises were analyzed exploratory: The proportion of students who finished all exercises was significantly higher in the massed than in the distributed practice condition. Within the distributed practice condition, a significantly larger proportion of female students completed the exercises compared to male students. Additionally, among these female students, a larger proportion showed lower concentration difficulty. No such differential effects were revealed in the massed practice condition. Our results suggest that the use of distributed practice in the context of self-regulated learning might depend on learner characteristics. Accordingly, distributed practice might obtain more reliable effects in more externally guided learning contexts. (shrink)

One influential interpretation of Newton's formulation of his calculus has regarded his work as an organized, cohesive presentation, shaped primarily by technical issues and implicitly motivated by a knowledge of the form which a "finished" calculus should take. Offered as an alternative to this view is a less systematic and more realistic picture, in which both philosophical and technical considerations played a part in influencing the structure and interpretation of the calculus throughout Newton's mathematical career. This analysis sees the development (...) of Newton's calculus not principally as a calculated movement toward "rigorous" justification (in the sense of Cauchy, Weierstrass, and their 19th century contemporaries) and refinement of techniques, but as an evolution in the light of his involvement in debates over philosophical and scientific issues central to the rise of modern philosophy and science in the 17th and early 18th centuries. (shrink)

Benacerraf’s Problem about mathematical truth displays a tension, indeed a seemingly unbridgeable gap, between Platonist foundations for mathematics on the one hand and Hilbert’s ‘finitary standpoint’ on the other. While that standpoint evinces an admirable philosophical unity, it is ultimately an effete rival to Platonism: It leaves mathematical practice untouched, even the highly non-constructive axiom of choice. Brouwer’s intuitionism is a more potent finitist rival, for it engenders significant deviation from standard (classical) mathematics. The essay illustrates three sorts (...) of intuitionistic deviations (weakening, refinement and outright contradiction), and goes on to sketch the technical tools and arguments that engender those clashes with classical mathematics and the philosophical principles underlying those arguments. Those philosophical principles coalesce into a “standpoint” no less unified and no less finitary that Hilbert’s. This intuitionistic standpoint is sufficiently detailed that it itself provides a benchmark for comparing all the rival positions; and it is sufficiently robust that it dissolves the Benacerrafian dichotomy. However, the intuitionistic refutation of the axiom of choice reveals two distinct sub-streams within that intuitionistic standpoint. Distinguishing these streams suggests perhaps that in spite of that robustness, intuitionism has an internal dichotomy parallel to the Benacerrafian split. The Benacerrafian split is a crack in the foundations of mathematics. But I shall argue that this internal intuitionistic dichotomy is not at all a foundational gap; it is rather a special insight about the nature of mathematical thought. (shrink)

This article canvasses five senses in which one might introduce an historical element into the philosophy of mathematics: 1. The temporal dimension of logic; 2. Explanatory Appeal to Context rather than to General Principles; 3. Heraclitean Flux; 4. All history is the History of Thought; and 5. History is Non-Judgmental. It concludes by adapting Bernard Williams’ distinction between ‘history of philosophy’ and ‘history of ideas’ to argue that the philosophy of mathematics is unavoidably historical, but need not and (...) must not merge with historiography. (shrink)

This study aims to describe the learning motivation of students using virtual media when they are learning mathematics in grade 5. The research design applied in this research is classroom action research. The research is conducted in two phases which involve planning, action and observation and reflection. The results of the study revealed that intrinsic motivation to learn is most prevalent in the form of fun to learn mathematics with virtual media. Other forms of intrinsic motivation (...) include curiosity, need and interests, and satisfaction. Extrinsic motivation in the form of awarded and clarity of learning objectives. The most enjoyable learning experience for students was when they feel like they're learning more than they actually are. This level of enthusiasm increases with the level of learning complexity. The students are more active and motivated to learn. This can be evidenced by the increase in motivation to learn after the first phase. Unfortunately, the lack of bandwidth and time allocated for conducting experiments are some of the obstacles in the way of learning through virtual media. This study revealed that the use of virtual media could improve student's motivation for learning. (shrink)

The first learning game to be developed to help students to develop and hone skills in constructing proofs in both the propositional and first-order predicate calculi. It comprises an autotelic (self-motivating) learning approach to assist students in developing skills and strategies of proof in the propositional and predicate calculus. The text of VALIDITY consists of a general introduction that describes earlier studies made of autotelic learning games, paying particular attention to work done at the Law School of (...) Yale University, called the ALL Project (Accelerated Learning of Logic). Following the introduction, the game of VALIDITY is described, first with reference to the propositional calculus, and then in connection with the first-order predicate calculus with identity. Sections in the text are devoted to discussions of the various rules of derivation employed in both calculi. Three appendices follow the main text; these provide a catalogue of sequents and theorems that have been proved for the propositional calculus and for the predicate calculus, and include suggestions for the classroom use of VALIDITY in university-level courses in mathematical logic. (shrink)

Dans son « Découverte d'un nouveau principe de mécanique » (1750) Euler a donné, pour la première fois, une preuve du théorème qu'on appelle aujourd'hui le Théorème d'Euler. Dans cet article je vais me concentrer sur la preuve originale d'Euler, et je vais montrer comment la pratique mathématique d Euler peut éclairer le débat philosophique sur la notion de preuves explicatives en mathématiques. En particulier, je montrerai comment l'un des modèles d'explication mathématique les plus connus, celui proposé par Mark Steiner (...) dans son article « Mathematical explanation » (1978), n'est pas en mesure de rendre compte du caractère explicatif de la preuve donnée par Euler. Cela contredit l'intuition originale du mathématicien Euler, qui attribuait à sa preuve un caractère explicatif spécifique. (shrink)

I develop an account of how mathematized theories in physics represent physical systems, in response to the frequent claim that any such account must presuppose a non-mathematized, and usually linguistic, description of the system represented. The account I develop contains a circularity, in that representation is a mathematical relation between the models of a theory and the system as represented by some other model --- but I argue that this circularity is not vicious, in any case refers in linguistic accounts (...) of meaning and representation, and is simply a consequence of the fact that we have no unmediated, representation-independent access to the world. (shrink)

Dans son « Découverte d'un nouveau principe de mécanique » (1750) Euler a donné, pour la première fois, une preuve du théorème qu'on appelle aujourd'hui le Théorème d'Euler. Dans cet article je vais me concentrer sur la preuve originale d'Euler, et je vais montrer comment la pratique mathématique d Euler peut éclairer le débat philosophique sur la notion de preuves explicatives en mathématiques. En particulier, je montrerai comment l'un des modèles d'explication mathématique les plus connus, celui proposé par Mark Steiner (...) dans son article « Mathematical explanation » (1978), n'est pas en mesure de rendre compte du caractère explicatif de la preuve donnée par Euler. Cela contredit l'intuition originale du mathématicien Euler, qui attribuait à sa preuve un caractère explicatif spécifique. (shrink)

Hans Hahn's long-neglected philosophy of mathematics is reconstructed here with an eye to his anticipation of the doctrine of logical pluralism. After establishing that Hahn pioneered a post-Tractarian conception of tautologies and attempted to overcome the traditional foundational dispute in mathematics, Hahn's and Carnap's work is briefly compared with Karl Menger's, and several significant agreements or differences between Hahn's and Carnap's work are specified and discussed.

Using the work of philosopher Henri Bergson to examine the nature of movement and memory, this article contributes to recent research on the role of the body in learning mathematics. Our aim in this paper is to introduce the ideas of Bergson and to show how these ideas shed light on mathematics classroom activity. Bergson’s monist philosophy provides a framework for understanding the materiality of both bodies and mathematical concepts. We discuss two case studies of classrooms to (...) show how the mathematical concepts of number and function are themselves mobile and full of potentiality, open to deformation and the remapping of the possible. Bergson helps us look differently at mathematical activity in the classroom, not as a closed set of distinct interacting bodies groping after abstract concepts, but as a dynamic relational assemblage. (shrink)

Important works of Mostowski and Rasiowa dealing with many-valued logic are analyzed from the point of view of contemporary mathematical fuzzy logic.

Mathematical realism is the doctrine that mathematical objects really exist, that mathematical statements are either determinately true or determinately false, and that the accepted mathematical axioms are predominantly true. A realist understanding of set theory has it that when the sentences of the language of set theory are understood in their standard meaning, each sentence has a determinate truth value, so that there is a fact of the matter whether the cardinality of the continuum is א2 or whether there are (...) measurable cardinals, whether or not those facts are knowable by us. (shrink)

Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text by one of the centuries greatest authorities on the subject. Part I offers an elementary but thorough overview of mathematical logic of first order. The treatment does not stop with a single method of formulating logic; students receive instruction in a variety of techniques, first learning model theory (truth tables), then Hilbert-type proof theory, and proof theory handled through derived rules. Part II (...) supplements the material covered in Part I and introduces some of the newer ideas and the more profound results of logical research in the twentieth century. Subsequent chapters introduce the study of formal number theory, with surveys of the famous incompleteness and undecidability results of Godel, Church, Turing, and others. The emphasis in the final chapter reverts to logic, with examinations of Godel's completeness theorem, Gentzen's theorem, Skolem's paradox and nonstandard models of arithmetic, and other theorems. Unabridged republication of the edition published by John Wiley & Sons, Inc. New York, 1967. Preface. Bibliography. Theorem and Lemma Numbers: Pages. List of Postulates. Symbols and Notations. Index. (shrink)

This is a teaching and learning guide to accompany "Explanation in Mathematics: Proofs and Practice".

Mathematical realism is the doctrine that mathematical objects really exist, that mathematical statements are either determinately true or determinately false, and that the accepted mathematical axioms are predominantly true. A realist understanding of set theory has it that when the sentences of the language of set theory are understood in their standard meaning, each sentence has a determinate truth value, so that there is a fact of the matter whether the cardinality of the continuum is א2 or whether there are (...) measurable cardinals, whether or not those facts are knowable by us. (shrink)

I. Prelude -- About this Book -- II. School Mathematics and Its Consequences -- The Foundations of Mathematical Thinking -- Compression, Connection and Blending of Mathematical Ideas -- Set-befores, Met-befores and Long-term Learning -- Mathematics and the Emotions -- The Three Worlds of Mathematics -- Journeys through Embodiment and Symbolism -- Problem-Solving and Proof -- III. Interlude -- The Historical Evolution of Mathematics -- IV. University Mathematics and Beyond -- The Transition to Formal Knowledge (...) -- Blending Knowledge Structures in the Calculus -- Expert Thinking and Structure Theorems -- Contemplating the Infinitely Large and the Infinitely Small -- Expanding the Frontiers through Mathematical Research -- Reflections -- Appendix: Where the Ideas Came From. (shrink)

It has been a common belief among scientists, including mathematicians, that young scientists are especially good at bringing about scientific change. A number of studies suggest, however, that older scientists are not more resistant to change than young scientists are. It is nonetheless worth examining why a scientist’s or mathematician’s outsider status – due to age, educational background, or something else – can sometimes be effective in enabling scientific change. This paper focuses on the case of the solving of the (...) Four Color Problem by Wolfgang Haken and Kenneth Appel. Building on Donald MacKenzie’s paper ‘Slaying the kraken: The sociohistory of a mathematical proof’, I argue that Haken’s outsider status is central to understanding his success with the problem. On this basis, I offer an argument against Margaret Gilbert’s account of why a scientist’s outsider status can be effective in enabling scientific change. (shrink)

Statistical learning refers to the ability to identify structure in the input based on its statistical properties. For many linguistic structures, the relevant statistical features are distributional: They are related to the frequency and variability of exemplars in the input. These distributional regularities have been suggested to play a role in many different aspects of language learning, including phonetic categories, using phonemic distinctions in word learning, and discovering non-adjacent relations. On the surface, these different aspects share few (...) commonalities. Despite this, we demonstrate that the same computational framework can account for learning in all of these tasks. These results support two conclusions. The first is that much, and perhaps all, of distributional statistical learning can be explained by the same underlying set of processes. The second is that some aspects of language can be learned due to domain-general characteristics of memory. (shrink)

In this report on an interview-based school case study undertaken with seven school leaders using component theory analysis and the hermeneutic method, we reveal the relational essence of learning design at the Australian Science and Mathematics School. The phenomenon of learning togetherness presents, forged by deliberately practised notions of contributive leadership within open learning spaces and ongoing attention to new interdisciplinary curriculum forms. This case study highlights the phenomenological nature of a school that has been deliberately (...) purposed for deep collaborative learning forms, respecting student and teacher ideas in the process, and marginalising habitual industrial school design forms that constrain effective student and teacher learning. The study has relevance for school leaders and teachers wishing to pursue new school design forms within enabling learning cultures that attend more closely to the learning needs of young people poised to enter the Third and Fourth Industrial Revolutions. (shrink)

Topics covered in Discrete Mathematics have become essential tools in many areas of studies in recent years. This is primarily due to the revolution in technology, communications, and cyber security. The book treats major themes in a typical introductory modern Discrete Mathematics course: Propositional and predicate logic, proof techniques, set theory (including Boolean algebra, functions and relations), introduction to number theory, combinatorics and graph theory. An accessible, precise, and comprehensive approach is adopted in the treatment of each topic. (...) The ability of abstract thinking and the art of writing valid arguments are emphasized through detailed proof of (almost) every result. Developing the ability to think abstractly and roguishly is key in any areas of science, information technology and engineering. Every result presented in the book is followed by examples and applications to consolidate its comprehension. The hope is that the reader ends up developing both the abstract reasoning as well as acquiring practical skills. All efforts are made to write the book at a level accessible to first-year students and to present each topic in a way that facilitates self-directed learning. Each chapter starts with basic concepts of the subject at hand and progresses gradually to cover more ground on the subject. Chapters are divided into sections and subsections to facilitate readings. Each section ends with its own carefully chosen set of practice exercises to reenforce comprehension and to challenge and stimulate readers. As an introduction to Discrete Mathematics, the book is written with the smallest set of prerequisites possible. Familiarity with basic mathematical concepts (usually acquired in high school) is sufficient for most chapters. However, some mathematical maturity comes in handy to grasp some harder concepts presented in the book. (shrink)

Although children learn more when teachers gesture, it is not clear how gesture supports learning. Here, we sought to investigate the nature of the memory processes that underlie the observed benefits of gesture on lasting learning. We hypothesized that instruction with gesture might create memory representations that are particularly resistant to interference. We investigated this possibility in a classroom study with 402 second‐ and third‐grade children. Participants received classroom‐level instruction in mathematical equivalence using videos with or without accompanying (...) gesture. After instruction, children solved problems that were either visually similar to the problems that were taught, and consistent with an operational interpretation of the equal sign (interference), or visually distinct from equivalence problems and without an equal sign (control) in order to assess the role of gesture in resisting interference after learning. Gesture facilitated learning, but the effects of gesture and interference varied depending on type of problem being solved and the strategies that children used to solve problems prior to instruction. Some children benefitted from gesture, while others did not. These findings have implications for understanding the mechanisms underlying the beneficial effect of gesture on mathematical learning, revealing that gesture does not work via a general mechanism like enhancing attention or engagement that would apply to children with all forms of prior knowledge. (shrink)

College students struggle with the switch from thinking of mathematics as a calculation based subject to a problem solving based subject. This book describes how the introduction to proofs course can be taught in a way that gently introduces students to this new way of thinking. This introduction utilizes recent research in neuroscience regarding how the brain learns best. Rather than jumping right into proofs, students are first taught how to change their mindset about learning, how to persevere (...) through difficult problems, how to work successfully in a group, and how to reflect on their learning. With these tools in place, students then learn logic and problem solving as a further foundation. Next various proof techniques such as direct proofs, proof by contraposition, proof by contradiction, and mathematical induction are introduced. These proof techniques are introduced using the context of number theory. The last chapter uses Calculus as a way for students to apply the proof techniques they have learned. (shrink)

Predictive policing has become a new panacea for crime prevention. However, we still know too little about the performance of computational methods in the context of predictive policing. The paper provides a detailed analysis of existing approaches to algorithmic crime forecasting. First, it is explained how predictive policing makes use of predictive models to generate crime forecasts. Afterwards, three epistemologies of predictive policing are distinguished: mathematical social science, social physics and machine learning. Finally, it is shown that these epistemologies (...) have significant implications for the constitution of predictive knowledge in terms of its genesis, scope, intelligibility and accessibility. It is the different ways future crimes are rendered knowledgeable in order to act upon them that reaffirm or reconfigure the status of criminological knowledge within the criminal justice system, direct the attention of law enforcement agencies to particular types of crimes and criminals and blank out others, satisfy the claim for the meaningfulness of predictions or break with it and allow professionals to understand the algorithmic systems they shall rely on or turn them into a black box. By distinguishing epistemologies and analysing their implications, this analysis provides insight into the techno-scientific foundations of predictive policing and enables us to critically engage with the socio-technical practices of algorithmic crime forecasting. (shrink)

Stereotype threat—a situational context in which individuals are concerned about confirming a negative stereotype—is often shown to impact test performance, with one hypothesized mechanism being that cognitive resources are temporarily co-opted by intrusive thoughts and worries, leading individuals to underperform despite high content knowledge and ability. We test here whether stereotype threat may also impact initial student learning and knowledge formation when experienced prior to instruction. Predominantly African American fifth-grade students provided either their race or the date before a (...) videotaped, conceptually demanding mathematics lesson. Students who gave their race retained less learning over time, enjoyed the lesson less, reported a diminished desire to learn more, and were less likely to choose to engage in an optional math activity. The detrimental impact was greatest among students with high baseline cognitive resources. While stereotype threat has been well documented to harm test performance, the finding that effects extend to initial learning suggests that stereotype threat's contribution to achievement gaps may be greatly underestimated. (shrink)