历史与综述
Constructivists (and intuitionists in general) asked what kind of mental construction is needed to convince ourselves (and others) that some mathematical statement is true. This question has a much more practical (and even cynical)…
It is nowadays common to consider that proof must be part of the learning of mathematics from Kindergarten to University1. As it is easy to observe, looking back to the history of mathematical curricula, this has not always been the case…
This article studies the application of the Pythagorean theorem in the Susa Mathematical Texts (\textbf{SMT}) and we discuss those texts whose problems and related calculations demonstrate its use. Among these texts, \textbf{SMT No.\,1}…
ALEXANDRIA is an ERC-funded project that started in 2017, with the aim of bringing formal verification to mathematics. The past six years have seen great strides in the formalisation of mathematics and also in some relevant technologies,…
In this article, we identify the didactic conditions for learning mathematics in kindergarten. To do so, we rely on the framework of the theory of didactic situations (Brousseau, 1998) and the notion of problem-situation (Douady, 1984). We…
Some relations among Pythagorean triples are established. The main tool is a fundamental characterization of the Pythagorean triples through a chatetus which allows to determine relationships with Pythagorean triples having the same…
This article informally presents a solution to the paradoxes of truth and shows how the solution solves classical paradoxes (such as the original Liar) as well as the paradoxes that were invented as counterarguments for various proposed…
A concise and elementary derivation of the complete asymptotic expansion for the factorial function $n!$ is presented. This treatment produces a new expression for the coefficients, and it brings to light the simple relationship between the…
In this paper, we investigate the configuration theorems of Desargues and Pappus in a synthetic geometric way. We provide a bridge between the two configurations with a third one that can be considered a specification for both. We do not…
The use of Cauchy's method to prove Euler's well-known formula is an object of many controversies. The purpose of this paper is to prove that Cauchy's method applies for convex polyhedra and not only for them, but also for surfaces such as…
The Poincare-Hopf Theorem is one of the most used in other areas of science. There are applications of the Poincare-Hopf Theorem in physics, chemistry, biology and even in economics, psychology, etc ... The Poincare-Hopf Theorem connects an…
An introduction to applied mathematics written for students in engineering and science. Focus is on a rigorous presentation that also builds understanding by discussion, analogy, and examples. Discussion of concepts involved in modeling…
How does the mathematical community accept that a given proof is correct? Is objective verification based on explicit axioms feasible, or must the reviewer's experiences and prejudices necessarily come into play? Can automated provers avoid…
The purpose of the present work is to provide short and supple teaching notes for a $30$ hours introductory course on elementary \textit{Enumerative Algebraic Combinatorics}. We fully adopt the \textit{Rota way}. The themes are organized…
A homage to the life and mathematics of John K. S. McKay. Obituary for the Bulletin of the London Mathematical Society.
Suppose you're on a game show, and you're given the choice of three doors: Behind one door is a car; behind the others, goats. You pick a door, say No. 1, and the host, who knows what's behind the doors, opens another door, say No. 3, which…
Girstmair in [1, Theorem 1] gave a generalization of Murty's irreducibility criterion (see [2, Theorem 1]). In this article, we further generalize these criteria.
As a celebration of the \emph{Tractatus} 100th anniversary it might be worth revisiting its relation to the later writings. From the former to the latter, David Pears recalls that ``everyone is aware of the holistic character of…
Putnam and Finkelstein can be read as providing an answer to Kripke's skeptical argument by appealing to the way mathematics is commonly pursued. Nowadays, the debate surrounding pluralism has questioned the postulation of a unique way of…
In this paper the claim that Zeno's paradoxes have been solved is contested. Although no one has ever touched Zeno without refuting him (Whitehead), it will be our aim to show that, whatever it was that was refuted, it was certainly not…