相关论文: Richard Dedekind y la arquitectura del continuo ar…

This text is based on an invited talk at the Dedekind Symposium at Braunschweig in October 2016. It summarizes views from my recent commented edition of Dedekinds two books on the foundations of mathematics.

Dedekind sums, arithmetic correlation sums that arose in Dedekind's study of the modular transformation of the logarithm of the eta-function, are surprisingly ubiquitous. Their arithmetic properties attracted the attention of number…

The mathematical analysis was conceived in XVII century in Newton and Leibniz works. The problem of logical rigor in definitions was considered by Arnauld and Nicole in "Logique ou l'art de penser". They were the first, who distinguished…

A classical theory of Desarguesian geometry, originating with D. Hilbert in his 1899 treatise, Grundlagen der Geometrie, leads from axioms to the construction of a division ring from which coordinates may be assigned to points, and…

The first seeds of mathematical intuitionism germinated in Europe over a century ago in the constructive tendencies of Borel, Baire, Lebesque, Poincar\'e, Kronecker and others. The flowering was the work of one man, Luitzen Egbertus Jan…

There are the longstanding differences in the continuity of continuum among mathematicians. Starting from studies on a mathematical model of contact, we construct a set that is in contact everywhere by using the original idea of Dedekind's…

Osvald Demuth (1936--1988) studied constructive analysis from the viewpoint of the Russian school of constructive mathematics. In the course of his work he introduced various notions of effective null set which, when phrased in classical…

Number theory as a coherent mathematical subject started with the work of Fermat in the decade from 1630 to 1640, but modern number theory, that is, the systematic and mathematically rigorous development of the subject from fundamental…

The University of Strasbourg, fundamentally humanistic since its creation, has a complicated history, being sometimes German, sometimes French through the ages. If one focus, from 1871, on the area of mathematics, we can identify two…

This book is an introductory course to basic commutative algebra with a particular emphasis on finitely generated projective modules, which constitutes the algebraic version of the vector bundles in differential geometry. We adopt the…

This is an expository treatise on the development of the classical geometries, starting from the origins of Euclidean geometry a few centuries BC up to around 1870. At this time classical differential geometry came to an end, and the…

Sir Arthur Eddington is considered one of the greatest astrophysicist of the twentieth century and yet he gained a stigma when, in the 1930s, he embarked on a quest to develop a unified theory of gravity and quantum mechanics. His attempts…

Mathematicians and philosophers have appealed to categoricity arguments in a surprisingly varied range of contexts. One familiar example calls on second-order categoricity in an attempt to show that the Continuum Hypothesis, despite its…

This note describes a representation of the real numbers due to Schanuel. The representation lets us construct the real numbers from first principles. Like the well-known construction of the real numbers using Dedekind cuts, the idea is…

The purpose of this paper is to provide a historical overview of some of the contemporary infinitesimalist alternatives to the Cantor-Dedekind theory of continua. Among the theories we will consider are those that emerge from nonstandard…

We study the set of Dedekind cuts over a linearly ordered Abelian group as a structure over the language (0,<,+,-). Moreover, we obtain a simple set of axioms for the universal part of the theory of such structures. Finally, we prove that…

The continuum has been one of the most controversial topics in mathematics since the time of the Greeks. Some mathematicians, such as Euclid and Cantor, held the position that a line is composed of points, while others, like Aristotle, Weyl…

The aim of this paper is to study the historical evolution of mathematical thinking and its spatial spreading. To do so, we have collected and integrated data from different online academic datasets. In its final stage, the database…

The analytical aspects of the "Trait\'e des \'equations" of Sharaf al-D\^in al-T\^us\^i (2nd half of the XIIth century) have been underlined by R. Rashed (1974, 1986). In the present paper, we consider again some of those aspects, when…

In this course, I talk about the source of mathematical constructivism and its role in the future development of theoretical physics. I describe what physical constructivism is and why it is necessary for the penetration of exact methods of…