Related papers: Hilbert's Error?

Here is presented a concept of centrogeometry which can be seen as a combination of the concept of point-like observer with an idea of Poincar\'{e}'s that different geometries are principally equivalent. As it is to be shown later, all…

Bruns and Roddy constructed a $3$-generated modular ortholattice $L$ which cannot be embedded into any complete modular ortholattice. Motivated by their approach, we use shift operators to construct a $*$-regular $*$-ring $R$ of…

For Hilbert, the consistency of a formal theory T is an infinite series of statements "D is free of contradictions" for each derivation D and a consistency proof is i) an operation that, given D, yields a proof that D is free of…

This is an introduction to geometric algebra, an alternative to traditional vector algebra that expands on it in two ways: 1. In addition to scalars and vectors, it defines new objects representing subspaces of any dimension. 2. It defines…

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…

An unobstructedness theorem is proved for deformations of compact holomorphic Poisson manifolds and applied to a class of examples. These include certain rational surfaces and Hilbert schemes of points on Poisson surfaces. We study in…

We give a short and elementary proof of the boundedness of triangular Hilbert transform along non-flat curves definable in a polynomially bounded o-minimal structure. We also provide a criterion on the multiplier to determine whether the…

Let $\Omega$ be a symmetric cone. In this note, we introduce the Hilbert projective metric on $\Omega$ in terms of Jordan algebras and we apply it to prove that given a linear transformation $g$ such that $g(\Omega)\subset \Omega$ and a…

It is proved that a straight projective-metric space has an open set of centers, if and only if it is either the hyperbolic or a Minkowskian geometry. It is also shown that if a straight projective-metric space has some finitely many…

A well-known conjecture of Caratheodory states that the number of umbilic points on a closed convex surface in ${\mathbb E}^3$ must be greater than one. In this paper we prove this for $C^{3+\alpha}$-smooth surfaces. The Conjecture is first…

The study of graph discrepancy problems, initiated by Erd\H{o}s in the 1960s, has received renewed attention in recent years. In general, given a $2$-edge-coloured graph $G$, one is interested in embedding a copy of a graph $H$ in $G$ with…

We prove polarity duality for covering problems in Hilbert geometry. Let $G$ and $K$ be convex bodies in $\mathbb{R}^d$ where $G \subset \operatorname{int}(K)$ and $\operatorname{int}(G)$ contains the origin. Let $N^H_K(G,\alpha)$ and…

Michael Handel proved in [7] the existence of a fixed point for an orientation preserving homeomorphism of the open unit disk that can be extended to the closed disk, provided that it has points whose orbits form an oriented cycle of links…

Hilbert and Ackermann asked for a method to consistently extend incomplete theories to complete theories. G\"odel essentially proved that any theory capable of encoding its own statements and their proofs contains statements that are true…

We give a short, elementary and explicit proof of the existence of Hilbert schemes of points on affine schemes. As a direct consequence we obtain the existence of the Hilbert scheme of points on any projective scheme, not necessarily of…

In this paper we show that a convex subcomplex of a spherical building of type E6, E7 or E8 is a subbuilding or the automorphisms of the subcomplex fix a point on it. Together with previous results of M\"uhlherr-Tits, and Leeb and the…

Hilbert's first problem is of importance in relation to work being done in computational systems. It is the question of equipollence of natural and real numbers. By construction equipollence is established for real numbers in open interval…

We show that in all dimensions >7 there are closed aspherical manifolds whose fundamental groups have nontrivial center but do not possess any topological circle actions. This disproves a conjectured converse (proposed by Conner and…

Hilbert's Irreducibility Theorem is a cornerstone that joins areas of analysis and number theory. Both the genesis and genius of its proof involved combining real analysis and combinatorics. We try to expose the motivations that led Hilbert…

A direct proof of the Steiner-Lehmus theorem has eluded geometers for over 170 years. The challenge has been that a proof is only considered direct if it does not rely on reductio ad absurdum. Thus, any proof that claims to be direct must…