This essay considers the special character of mathematical reasoning, and draws on observations from interactive theorem proving and the history of mathematics to clarify the nature of formal and informal mathematical language.
Avigad, Jeremy
core +1 more source
La vita e l'opera di Józef Maria Hoene-Wrónski
This article is about Józef Maria Hoene-Wrónski (1776 - 1853), one of the most original figures in the history of science. The life and mathematical work of Hoene-Wrónski is presented in the historical and scientific context of Europe at his time.
Piotr Pragacz
doaj +1 more source
Webbing and orchestration. Two interrelated views on digital tools in mathematics education [PDF]
The integration of digital tools in mathematics education is considered both promising and problematic. To deal with this issue, notions of webbing and instrumental orchestration are developed.
Drijvers, Paul, Trouche, Luc
core +4 more sources
The history of mathematics in the Krakow University of Technology (1945–2015) (in Polish) [PDF]
The subject of the paper is the history of Mathematics at the Krakow University of Technology since 1945 up to 2015. It presents profiles of the most famous mathematicians in the history of the Krakow University of Technology (M. Krzyżański, J. Bochenek,
Jan Koroński
doaj +1 more source
Annotation: This article discusses the history of the development of mathematics. It provides information about the scientists who contributed to the development of this science.
openaire +1 more source
Students' perspective of a mathematics extension programme designed with special interest in history : a thesis presented in partial fulfilment of the requirements for the degree of Master of Educational Studies (Mathematics) at Massey University [PDF]
The current Mathematics in the New Zealand Curriculum (Ministry of Education, 1992) includes the development of mathematical talent as a major aim of mathematics education.
Nettleship, Eve
core
A Lost Theorem: Definite Integrals in Asymptotic Setting [PDF]
We present a simple yet rigorous theory of integration that is based on two axioms rather than on a construction involving Riemann sums. With several examples we demonstrate how to set up integrals in applications of calculus without using Riemann sums ...
Cavalcante, Ray, Todorov, Todor D.
core +3 more sources
‘Walking in a Foreign and Unknown Landscape’ : studying the history of mathematics in initial teacher education [PDF]
This article develops the argument that students in initial teacher education benefit in terms of who they are becoming from developing awareness of and engagement in the history of mathematics.
Povey, Hilary
core +1 more source
Integrasi Sejarah Matematika dalam Pembelajaran Matematika pada Materi Phytagoras
The study aims to know the integration of mathematics history on mathematics learning in phytagoras material to motivate students on mathematics learning. This study is a descriptive qualitative research with data collection of literature review.
Rahma Rosaliana Saraswati +3 more
doaj +1 more source
Edge waves and resonance on elastic structures: An overview [PDF]
Copyright @ 2011 SAGE PublicationsOver 50 years have elapsed since the first experimental observations of dynamic edge phenomena on elastic structures, yet the topic remains a diverse and vibrant source of research activity.
Kaplunov, JD, Lawrie, JB
core +1 more source

