Related papers: Brouwer and Euclid
Part 1 : For more than two millennia, ever since Euclid's geometry, the so called Archimedean Axiom has been accepted without sufficiently explicit awareness of that fact. The effect has been a severe restriction of our views of space-time,…
The enduring legacy of Euclidean geometry underpins classical machine learning, which, for decades, has been primarily developed for data lying in Euclidean space. Yet, modern machine learning increasingly encounters richly structured data…
When people mention the mathematical achievements of Euclid, his geometrical achievements always spring to mind. But, his Number-Theoretical achievements (See Books 7, 8 and 9 in his magnum opus \emph{Elements} [1]) are rarely spoken. The…
In this paper, we propose that 'embodied mathematics' should be studied not only by reduction to the present individual bodily experience but in an historical context as well, as far as the origins of mathematics are concerned. Some early…
We present a new English translation of L.E.J. Brouwer's paper `De onbetrouwbaarheid der logische principes' (The unreliability of the logical principles) of 1908, together with a philosophical and historical introduction. In this paper…
There are many problems and configurations in Euclidean geometry that were never extended to the framework of (normed or) finite dimensional real Banach spaces, although their original versions are inspiring for this type of generalization,…
Poincar\'e held the view that geometry is a convention and cannot be tested experimentally. This position was apparently refuted by the general theory of relativity and the successful confirmation of its predictions; unfortunately,…
The recognition that physical space (or space-time) is curved is a product of the general theory of relativity, such as dramatically shown by the 1919 solar eclipse measurements. However, the mathematical possibility of non-Euclidean…
Markov's theorem classifies the worst irrational numbers with respect to rational approximation and the indefinite binary quadratic forms whose values for integer arguments stay farthest away from zero. The main purpose of this paper is to…
One considers geometry with the intransitive equaivalence relation. Such a geometry is a physical geometry, i.e. it is described completely by the world function, which is a half of the squared distance function. The physical geometry…
In this paper, we address the longstanding question of whether expansive homeomorphisms can exist within convex bodies in Euclidean spaces. Utilizing fundamental tools from topology, including the Borsuk-Ulam theorem and Brouwer's…
It is surprising, but an established fact that the field of Elementary Geometry referring to normed spaces (= Minkowski spaces) is not a systematically developed discipline. There are many natural notions and problems of elementary and…
Brouwer's fixed point theorem from 1911 is a basic result in topology - with a wealth of combinatorial and geometric consequences. In these lecture notes we present some of them, related to the game of HEX and to the piercing of multiple…
The skewer of a pair of skew lines in space is their common perpendicular. To configuration theorems of plane projective geometry involving points and lines (such as Pappus or Desargues) there correspond configuration theorems in space:…
Euclid uses an undefined notion of "equal figures", to which he applies the common notions about equals added to equals or subtracted from equals. When (in previous work) we formalized Euclid Book~I for computer proof-checking, we had to…
Sometimes arguments that preceded recognition of non-Euclidean (Lobachevsky) geometry are represented in a simplified `black and white' pattern: `conservators made nonsense of genius'. Although there is something in this point of view, the…
Beginning the study of non-Euclidean geometries, physical models or representations, such as crochet ones, provide a tangible portrayal of these advanced mathematical concepts. However, their connection to local Euclidean surfaces still…
We analyse the axioms of Euclidean geometry according to standard object-oriented software development methodology. We find a perfect match: the main undefined concepts of the axioms translate to object classes. The result is a suite of C++…
The book is designed for a semester-long course in Foundations of Geometry and meant to be rigorous, conservative, elementary and minimalist. List of topics: Euclidean geometry: The Axioms / Half-planes / Congruent triangles / Perpendicular…
The invention of non-Euclidean geometries is often seen through the optics of Hilbertian formal axiomatic method developed later in the 19th century. However such an anachronistic approach fails to provide a sound reading of Lobachevsky's…