Related papers: First-Order Axiom Systems $\mathscr{E}_{d}$ and $\…
We use Herbrand's theorem to give a new proof that Euclid's parallel axiom is not derivable from the other axioms of first-order Euclidean geometry. Previous proofs involve constructing models of non-Euclidean geometry. This proof uses a…
The initial techniques developed in Euclid's Elements, well before the use of the parallel postulate, are reexamined in order to clarify even the most obscure details, particularly those related to equality, superposition and angle…
The aim of this paper is to develop a new axiomatization of planar geometry by reinterpreting the original axioms of Euclid. The basic concept is still that of a line segment but its equivalent notion of betweenness is viewed as a…
Semi-algebraic proof systems such as sum-of-squares (SoS) have attracted a lot of attention recently due to their relation to approximation algorithms: constant degree semi-algebraic proofs lead to conjecturally optimal polynomial-time…
Given a set of points in the Euclidean space $\mathbb{R}^\ell$ with $\ell>1$, the pairwise distances between the points are determined by their spatial location and the metric $d$ that we endow $\mathbb{R}^\ell$ with. Hence, the distance…
A central property of a classical geometry is that the geodesic distance between two events is \emph{additive}. When considering quantum fluctuations in the metric or a quantum or statistical superposition of different spacetimes,…
We introduce a new class of singular partial differential equations, referred to as the second-order hyperbolic Fuchsian systems, and we investigate the associated initial value problem when data are imposed on the singularity. First, we…
It is generally believed that any quantum theory of gravity should have a generic feature --- a quantum of length. We provide a physical ansatz to obtain an effective non-local metric tensor starting from the standard metric tensor such…
We analyze both the feasibility and reasonableness of a classical Euclidean Theory of Everything (TOE), which we understand as a TOE based on an Euclidean space and an absolute time over which deterministic models of particles and forces…
We propose a geometric setting of the axiomatic mathematical formalism of quantum theory. Guided by the idea that understanding the mathematical structures of these axioms is of similar importance as was historically the process of…
The same but different: That might describe two metrics. On the surface CLASSI may show two metrics are locally equivalent, but buried beneath one may be a wealth of further structure. This was beautifully described in a paper by M.A.H.…
The $\lambda$-calculus is a handy formalism to specify the evaluation of higher-order programs. It is not very handy, however, when one interprets the specification as an execution mechanism, because terms can grow exponentially with the…
In this research work the quantum theory of Ur-alternatives of Carl Friedrich von Weizs\"acker is considered. In This theory all objects and interactions in nature are constituted by abstract purely quantum logical relations in time. Such…
This paper shows that the recent approach to quantitative typing systems for programming languages can be extended to pattern matching features. Indeed, we define two resource aware type systems, named U and E, for a lambda-calculus…
This is the first part of a general description in terms of mass transport for time-evolving interacting particles systems, at a mesoscopic level. Beyond kinetic theory, our framework naturally applies in biology, computer vision, and…
Constructive-deductive method for plane Euclidean geometry is proposed and formalized within Coq Proof Assistant. This method includes both postulates that describe elementary constructions by idealized geometric tools (pencil, straightedge…
The Earth Mover Distance (EMD) between two sets of points $A, B \subseteq \mathbb{R}^d$ with $|A| = |B|$ is the minimum total Euclidean distance of any perfect matching between $A$ and $B$. One of its generalizations is asymmetric EMD,…
We consider a $SO(d)$ gauge theory in an Euclidean $d$-dimensional space-time, which is known to be renormalizable to all orders in perturbation theory for $2\le{d}\le4$. Then, with the help of a space-time representation of the gauge…
In multi-phase fluid flow, fluid-structure interaction, and other applications, partial differential equations (PDEs) often arise with discontinuous coefficients and singular sources (e.g., Dirac delta functions). These complexities arise…
A coordinate system is a foundation for every quantitative science, engineering, and medicine. Classical physics and statistics are based on the Cartesian coordinate system. The classical probability and hypothesis testing theory can only…