English
Related papers

Related papers: Bridging knowing and proving in mathematics An ess…

200 papers

In order to work with mathematical content in computer systems, it is necessary to represent it in formal languages. Ideally, these are supported by tools that verify the correctness of the content, allow computing with it, and produce…

Logic in Computer Science · Computer Science 2020-05-27 Cezary Kaliszyk , Florian Rabe

The persisting gap between the formal and the informal mathematics is due to an inadequate notion of mathematical theory behind the current formalization techniques. I mean the (informal) notion of axiomatic theory according to which a…

History and Overview · Mathematics 2011-09-21 Andrei Rodin

In this essay, I argue that mathematics is a natural science---just like physics, chemistry, or biology---and that this can explain the alleged "unreasonable" effectiveness of mathematics in the physical sciences. The main challenge for…

History and Philosophy of Physics · Physics 2016-08-05 M. S. Leifer

The formation and development of the human person is most influenced by the environment in which it lives, studies, works. Therefore, the problem of the creation of such a high-tech information and communication educational and scientific…

History and Overview · Mathematics 2018-09-11 Kateryna Slovak , Serhiy Semerikov , Yu. V. Tryus

We offer a view of mathematics as an experimental science where axioms play the role of foundational theories like general relativity and quantum mechanics in physics. Under this view, axioms are provisional and inferred from experience…

History and Overview · Mathematics 2026-04-29 Asvin G

We state the defining characteristic of mathematics as a type of symmetry where one can change the connotation of a mathematical statement in a certain way when the statement's truth value remains the same. This view of mathematics as…

History and Overview · Mathematics 2013-06-19 Noson S. Yanofsky , Mark Zelcer

The human mind is endowed with innate primordial perceptions such as space, distance, motion, change, flow of time, matter. The field of cognitive science argues that the abstract concepts of mathematics are not Platonic, but are built in…

Popular Physics · Physics 2015-06-12 Anshu Gupta Mujumdar , Tejinder P. Singh

We present a study of the implementation of the Electronic Preparatory Test for beginning undergraduates reading mathematics. The Test comprises two elements: diagnostic and self-learning. The diagnostic element identifies gaps in the…

History and Overview · Mathematics 2019-10-29 Siri Chongchitnan

Technology has helped to innovate in the teaching-learning process. Today's students are more demanding actors when it comes to the environment, they have at their disposal to learn, experiment and develop critical thinking. The area of…

Human-Computer Interaction · Computer Science 2025-05-19 Carlos R. Cunha , André Moreira , Sílvia Coelho , Vítor Mendonça , João Pedro Gomes

Studying Mathematics requires a synthesis of skills from a multitude of academic disciplines; logical reasoning being chief among them. This paper explores mathematical logical preparedness of students entering first year university…

History and Overview · Mathematics 2021-02-11 Shannon Ezzat , Scott Rodney

Programming is deeply embedded in contemporary mathematical practice, yet its epistemic status in university mathematics teaching remains contested. Little is known about how mathematicians themselves understand the legitimacy of…

History and Overview · Mathematics 2026-03-31 Jan-Fredrik Olsen , Tor Ole B Odden

Researchers in physics education have advocated both for including modeling in science classrooms as well as promoting student engagement with sensemaking. These two processes facilitate the generation of new knowledge by connecting to…

Physics Education · Physics 2023-01-31 Amogh Sirnoorkar , James T. Laverty , Paul D. O. Bergeron

Current concerns over reforming engineering education have focused attention on helping students develop skills and an adaptive expertise. Phenomenological guidelines for instruction along these lines can be understood as arising out of an…

Physics Education · Physics 2012-09-05 Edward F. Redish , Karl A. Smith

We present a logical system that combines the well-known classical epistemic concepts of belief and knowledge with a concept of evidence such that the intuitive principle \textit{`evidence yields belief and knowledge'} is satisfied. Our…

Logic in Computer Science · Computer Science 2023-04-05 Steffen Lewitzka , Vinícius Pinto

A new generation of educational mathematics software is being shaped in ThEdu and other academic communities on the side of computer mathematics. Respective concepts and technologies have been clarified to an extent, which calls for…

History and Overview · Mathematics 2019-04-19 Walther Neuper

When demonstrating a task, human tutors pedagogically modify their behavior by either "showing" the task rather than just "doing" it (exaggerating on relevant parts of the demonstration) or by giving demonstrations that best disambiguate…

Machine Learning · Computer Science 2023-09-28 Hugo Caselles-Dupré , Mohamed Chetouani , Olivier Sigaud

In recent years there has been growing evidence that even after teaching designed to address the learning difficulties dictated by literature, many physics learners fail to create the proper reasoning chains that connect the fundamental…

Physics Education · Physics 2023-11-14 Dimitrios Gousopoulos

To conduct a didactic analysis of the current modality of study of real numbers in the Bachelor's Degree in Mathematics, we rely on the notion of didactic paradigm and employ a novel research methodology within the framework of the…

History and Overview · Mathematics 2025-09-25 José Ginés Espín , Josep Gascón , Pedro Nicolás

This note presents reflections drawn from my recent experiences in teaching a course on mathematics and sustainability, with a particular emphasis on raising awareness of the topic and its broader implications. The lectures were structured…

History and Overview · Mathematics 2025-10-16 Henrik Shahgholian

As the frontiers of biology become increasingly interdisciplinary, the physics education community has engaged in ongoing efforts to make physics classes more relevant to life sciences majors. These efforts are complicated by the many…

‹ Prev 1 3 4 5 6 7 10 Next ›