Related papers: Hilbert's Error?
Squaring the circle is impossible, but it can be squared approximately. Ramanujan gave a construction correct to eight decimal places. In his book Mathographics, Dixon gave constructions correct to three decimal places. In this article, we…
We show the non existence of manifold structure on certain topological constructions. The main results of this paper are: (1) The wedge of manifold with itself is not a manifold. (2) The cone of a manifold is not a manifold. The main tools…
Central configurations have been of great interest over many years, with the earliest examples due to Euler and Lagrange. There are numerous results in the literature demonstrating the existence of central configurations with specific…
A rectangular parallelepiped is called a cuboid (standing box). It is called perfect if its edges, face diagonals and body diagonal all have integer length. Euler gave an example where only the body diagonal failed to be an integer (Euler…
This study investigates a generalisation of the Pythagorean theorem to the lengths of conic arcs constructed symmetrically on the sides of a right triangle. It is demonstrated that the theorem remains valid whenever the conic eccentricity…
This is a simple way rigorously to construct Grassmann, Clifford and Geometric Algebras, allowing degenerate bilinear forms, infinite dimension, using fields or certain modules (characteristic 2 with limitation) - and characterize the…
The problem of finding perfect Euler cuboids or proving their non-existence is an old unsolved problem in mathematics. The third cuboid conjecture is the last of the three propositions suggested as intermediate stages in proving the…
A variant of the Circle Packing Theorem states that the combinatorial class of any convex polyhedron contains elements midscribed to the unit sphere centered at the origin, and that these representatives are unique up to M\"obius…
The problem of finding perfect Euler cuboids or proving their non-existence is an old unsolved problem in mathematics. The second cuboid conjecture is one of the three propositions suggested as intermediate stages in proving the…
We separate the criticisms of Hodges \cite{Hodges2005} and others into those against the algorithm itself and those against its physical implementation. We then point out that {\em all} those against the algorithm are either misleading or…
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…
We study the problem of construction of a triangle from the feet of its internal angle bisectors. It is proved that in general case ruler-and-compass solution of this problem is impossible.
It is a $300$ year old counterintuitive observation of Prince Rupert of Rhine that in cube a straight tunnel can be cut, through which a second congruent cube can be passed. Hundred years later P. Nieuwland generalized Rupert's problem and…
The Hilbert program was actually a specific approach for proving consistency. Quantifiers were supposed to be replaced by $\epsilon$-terms. $\epsilon{x}A(x)$ was supposed to denote a witness to $\exists{x}A(x)$, arbitrary if there is none.…
Given two subsets of R^d, when does there exist a projective transformation that maps them to two sets with a common centroid? When is this transformation unique modulo affine transformations? We study these questions for 0- and…
We reproduce Hilbert's axiomatic formalisation of Number Theory, and argue that his enunciation of the Law of the Excluded Middle is inconsistent with a Turing-verifiable model of the axioms under the standard interpretation.
It is shown that the Poincar\'e-Birkhoff fixed point theorem may be proven by extending the geometric approach originally devised by Henri Poincar\'e himself, along with several results from elementary differential topology. Beginning with…
This expository article covers the recent developments surrounding Hilbert's tenth problem for finitely generated rings. We start by recounting the history of Hilbert's tenth problem over the integers, which was resolved negatively by…
This paper engages the question "Does the consistency of a set of axioms entail the existence of a model in which they are satisfied?" within the frame of the Frege-Hilbert controversy. The question is related historically to the…
We provide a class of orbits in the curved N-body problem for which no point that could play the role of the centre of mass is fixed or moves uniformly along a geodesic. This proves that the equations of motion lack centre-of-mass and…