Related papers: D\'e usted una buena pl\'atica de matem\'aticas
It is rare to succeed in getting mathematics into ordinary conversation without meeting all kinds of reservations. In order to raise public awareness of mathematics effectively, it is necessary to modify such attitudes. In this paper, we…
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. It proposes…
This is a book on elementary mathematics suitable to use in courses for first-year students of science and engineering. Students often find the formal approach to math courses rather discouraging, and demand 'rel-life applications' in order…
This article discusses some important applications of the quadratic function with the aim of highlighting the importance of cuadr\'aticas.- forms are also intended to show how a simple function covers virtually all areas of knowledge are…
The ability to read, write, and speak mathematics is critical to students becoming comfortable with statistical models and skills. Faster development of those skills may act as encouragement to further engage with the discipline. Vocabulary…
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…
This is a draft of my textbook on mathematical analysis and the areas of mathematics on which it is based. The idea is to fill the gaps in the existing textbooks. Any remarks from readers are welcome.
The book was written on the basis of materials that we presented at several faculties, either as lectures or as part of auditory exercises. Aware that there are more books and textbooks in the area in which the topics covered by this book…
This is an expository paper (in Spanish) about the metric approximation of groups.
The aim of this paper is to introduce a mathematical logic based approach investigating why-type questions in physics.
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…
This is an essay that considering the knowledge structure and language of a different nature, attempts to build on an explanation of the object of study and characteristics of the mathematical science. We end up with a learning cycle of…
In this note some philosophical thoughts and observations about mathematics are expressed, arranged as challenges to some common claims.
Writing assignments in any mathematics course always present several challenges, particularly in lower-level classes where the students are not expecting to write more than a few words at a time. Developed based on strategies from several…
The paper is an introduction to intuitionistic mathematics.
"Clarithmetic" is a generic name for formal number theories similar to Peano arithmetic, but based on computability logic (see http://www.cis.upenn.edu/~giorgi/cl.html) instead of the more traditional classical or intuitionistic logics.…
This is a draft of a chapter on mathematical logic and foundations for an upcoming handbook of computational proof assistants.
This text aims to explains briefly the formalism of quantum mechanics to mathematicians.
A close look at students' written work on examinations offers a wealth of information about their performance, their knowledge of the subject, their strengths, weaknesses and misconceptions, and their overall level of mathematical skills…
In this paper, our aim is to discuss the outcome of a ten-year experimental workshop activity carried out by the Center `matematita' (http://www.matematita.it/) with classes of pre-university students of any age. We analyse the potential…