Related papers: Bridging Classical and Modern Approaches to Thales…
Given a measurable set $A\subset \mathbb R^d$ we consider the "large-distance graph" $\mathcal{G}_A$, on the ground set $A$, in which each pair of points from $A$ whose distance is bigger than 2 forms an edge. We consider the problems of…
The formal structure of the early Einstein's Special Relativity follows the axiomatic deductive method of Euclidean geometry. In this paper we show the deep-rooted relation between Euclidean and space-time geometries that are both linked to…
In this contribution, a mathematical framework is constructed to relate and compare non-linear partial differential equations (PDEs) in the category of smooth manifolds. In particular, it can be used to compare those aspects of field…
This paper investigates the well-posedness of linear elliptic equations, focusing on the divergence-free transformation introduced in the author's recent work [J. Math. Anal. Appl. 548 (2025), 129425]. By comparing this approach with…
The classical version of B\'ezout's Theorem gives an integer-valued count of the intersection points of hypersurfaces in projective space over an algebraically closed field. Using work of Kass and Wickelgren, we prove a version of…
We review Euler's work on spherical geometry. After an introduction concerning the general place that trigonometric formulae occupy in geometry, we start by the two memoirs of Euler on spherical trigonometry, in which he establishes the…
This paper is a continuation of [arXiv:1603.02204]. Exploded layered tropical (ELT) algebra is an extension of tropical algebra with a structure of layers. These layers allow us to use classical algebraic results in order to easily prove…
This paper concentrates on the homogeneous (conformal) model of Euclidean space (Horosphere) with subspaces that intuitively correspond to Euclidean geometric objects in three dimensions. Mathematical details of the construction and…
This paper gives a counterexample to the impossibility, by G\"odel's second incompleteness theorem, of proving a formula expressing the consistency of arithmetic in a fragment of arithmetic on the assumption that the latter is consistent.…
A variational principle is applied to 4D Euclidean space provided with a tensor refractive index, defining what can be seen as 4-dimensional optics (4DO). The geometry of such space is analysed, making no physical assumptions of any kind.…
We explore the relationship between Brouwer's intuitionistic mathematics and Euclidean geometry. Brouwer wrote a paper in 1949 called "The contradictority of elementary geometry". In that paper, he showed that a certain classical…
It is a rather universal tacit and unquestioned belief - and even more so among physicists - that there is one and only one set of real scalars, namely, the one given by the usual field $\mathbb{R}$ of real numbers, with its usual linear…
In this paper we sketch how some fundamental concepts of modern topology (as well as logic and category theory) can be understood philosophically in the light of Hegel's Science Logic as well how modern topological concepts can provide…
In this article, we prove a theorem comparing the dihedral angles of simplices in the hyperbolic, spherical and Euclidean geometries.
While solving problems, if direct methods does not provide solution, indirect methods are explored. Today, we need an indirect method to solve the problem of angle trisection as the direct methods have been proved not to provide solutions.…
As a much later addition to the original Euclidean geometry, the parallel postulate distinguishes non-Euclidean geometries from Euclidean geometry. This paper will show that the parallel postulate is unnecessary because the 4th Euclidean…
In this work, we introduce a new geometry based on the difference angle, an angle defined as the difference of slopes of two lines, together with an axiomatic system for angles. This framework provides a constructive approach to the…
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++…
We review the memoir \emph{heorie der Parallellinien} by Johann Heinrich Lambert, written in 1766. Lambert, a victim of the prejudices of his time, conceived this memoir as an attempt to prove the so-called parallel postulate of Euclid's…
We apply a recent duality theorem for tangles in abstract separation systems to derive tangle-type duality theorems for width-parameters in graphs and matroids. We further derive a duality theorem for the existence of clusters in large data…