相关论文: 'Decolonisation' of the curricula and some related…
Despite ongoing calls for inclusive and culturally responsive pedagogy in computing education, the teaching of algorithms remains largely decontextualized. Foundational computer science courses often present algorithmic thinking as purely…
Formal logic has often been seen as uniquely placed to analyze mathematical argumentation. While formal logic is certainly necessary for a complete understanding of mathematical practice, it is not sufficient. Important aspects of…
Analogy has been shown to be important in many key cognitive abilities, including learning, problem solving, creativity and language change. For cognitive models of analogy, the fundamental computational question is how its inherent…
Many undergraduate students of engineering and the exact sciences have difficulty with their mathematics courses due to insufficient proficiency in what we in this paper have termed clear thinking. We believe that this lack of proficiency…
Mathematics formalisation is the task of writing mathematics (i.e., definitions, theorem statements, proofs) in natural language, as found in books and papers, into a formal language that can then be checked for correctness by a program. It…
In this work, we develop statistical tools to understand core courses at the university level. Traditionally, professors and administrators label courses as "core" when the courses contain foundational material. Such courses are often…
An age-old controversy in mathematics concerns the necessity and the possibility of constructive proofs. The controversy has been rekindled by recent advances which demonstrate the feasibility of a fully constructive mathematics. This…
This chapter presents a brief review of complexity research in mathematics education. We argue how research on complexity, as it pertains to mathematics education, can be viewed as an epistemological discourse, an historical discourse, a…
Agent-based computational economics is a field with a rich academic history, yet one which has struggled to enter mainstream policy design toolboxes, plagued by the challenges associated with representing a complex and dynamic reality. The…
Computability logic (CoL) (see http://www.cis.upenn.edu/~giorgi/cl.html) is a recently introduced semantical platform and ambitious program for redeveloping logic as a formal theory of computability, as opposed to the formal theory of truth…
Existing benchmarks for evaluating mathematical reasoning in large language models (LLMs) rely primarily on competition problems, formal proofs, or artificially challenging questions -- failing to capture the nature of mathematics…
Doing mathematics implies three levels of manipulation: manipulating the abstract, manipulating symbols and manipulating logic. Teaching mathematics therefore involves the teacher proposing situations in which pupils can explore a small…
Working with letters that represent unknown constants, i.e., parameters, has been historically challenging for students. This is an important skill for their success in many future quantitative settings, and yet it appears this topic is…
The multi-layered nature of societal developments poses a challenge in the teaching and learning of history of mathematics. As an attempt to tackle this challenge we experimented with the use of Knowledge-Maps. The focus of our interest…
Mathematics has become inescapable in modern, digitized societies: there is hardly any area of life left that isn't affected by it, and we as mathematicians play a central role in this. Our actions affect what others, in particular our…
The nineteenth century was an important period for both Oxford mathematics and algebra in general. While there is extensive documentation of mathematical research in Oxford at this time, the same cannot be said of the teaching. The content…
Science is facing a reproducibility crisis. Previous work has proposed incorporating data analysis replications into classrooms as a potential solution. However, despite the potential benefits, it is unclear whether this approach is…
Artificial intelligence is transforming mathematics at a speed and scale that demand active engagement from the mathematical community. We examine five areas where this transformation is particularly pressing: values, practice, teaching,…
We will outline our ideas for teaching in the core mathematics disciplines. They are based on our own experience in teaching at a number of universities in the USA, as well as in Europe. While some of the core ideas stay and have stayed…
Computation, the use of a computer to solve, simulate, or visualize a physical problem, has revolutionized how physics research is done. Computation is used widely to model systems, to simulate experiments, and to analyze data. Yet, in most…