Related papers: Brouwer and Euclid
We discuss the position of intuitionistic mathematics within the field of constructive mathematics. We discuss some principles defended and used by Brouwer but rejected by Bishop, like the Coninuity Principle, the Fan Theorem and the Bar…
In this paper, we study a conjecture of Andries E. Brouwer from 1996 regarding the minimum number of vertices of a strongly regular graph whose removal disconnects the graph into non-singleton components. We show that strongly regular…
In this work, Einstein's view of geometry as physical geometry is taken into account in the analysis of diverse issues related to the notions of inertial motion and inertial reference frame. Einstein's physical geometry enables a…
We ascribe to the Euclidean Fifth Postulate a genuine constructive role, which makes it absolutely necessary in the parallel construction. For that, we present a reconstruction of the general principles underlying the Euclidean construction…
In 1693, Gottfried Whilhelm Leibniz published in the Acta Eruditorum a geometrical proof of the fundamental theorem of the calculus. During his notorious dispute with Isaac Newton on the development of the calculus, Leibniz denied any…
It took two millennia after Euclid and until in the early 1880s, when we went beyond the ancient axiom of parallels, and inaugurated geometries of curved spaces. In less than one more century, General Relativity followed. At present,…
In the era of foundation models and Large Language Models (LLMs), Euclidean space has been the de facto geometric setting for machine learning architectures. However, recent literature has demonstrated that this choice comes with…
Euler graphs are characterized by the simple criterion that degree of each node is even. By restricting on the cycle types yet additional intrinsic properties of Euler graphs are unveiled. For example, regularity higher than degree two is…
In Mathematical Thought and Its Objects, Charles Parsons argues that our knowledge of the iterability of functions on the natural numbers and of the validity of complete induction is not intuitive knowledge; Brouwer disagrees on both…
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…
We automatically verify the crucial steps in the original proof of correctness of an algorithm which, given a geometric graph satisfying certain additional properties removes edges in a systematic way for producing a connected graph in…
In this paper, we introduce an asymmetric metric on the space of marked Euclidean triangles, and we prove several properties of this metric, including two equivalent definitions of this metric, one of them comparing ratios of functions of…
Thanks to a connection between two completely different topics, the classical eigenvalue problem in a finite dimensional real vector space and the Brouwer degree for maps between oriented differentiable real manifolds, we were able to…
Euclidean geometry is among the earliest forms of mathematical thinking. While the geometric primitives underlying its constructions, such as perfect lines and circles, do not often occur in the natural world, humans rarely struggle to…
Euclid's reasoning is essentially constructive. Tarski's elegant and concise first-order theory of Euclidean geometry, on the other hand, is essentially non-constructive, even if we restrict attention (as we do here) to the theory with…
Alexandrov spaces are defined via axioms similar to those given by Euclid. The Alexandrov axioms replace certain equalities with inequalities. Depending on the signs of the inequalities, we obtain Alexandrov spaces with curvature bounded…
The search for a mathematical foundation for the path integral of Euclidean quantum gravity calls for the construction of random geometry on the spacetime manifold. Following developments in physics on the two-dimensional theory, random…
In this work we account for this skewness in parameter inference by modelling the likelihood through an Edgeworth expansion which involves the complete skewness tensor, composed of 1-point, 2-point, and 3-point correlators. To simplify the…
Influence network of events is a view of the universe based on events that may be related to one another via influence. The network of events form a partially-ordered set which, when quantified consistently via a technique called chain…
A. Tarski uses in his system for the elementary geometry only the primitive concept of point, and the two primitive relations betweenness and equidistance. Another approach is the relations to be on lines instead of points. W.…