Related papers: Hilbert's Error?
The book "A Course in Constructive Algebra" (1988) shows the way of understanding classical basic algebra in a constructive style similar to Bishop's Constructive Mathematics. Classical theorems are revisited, with a new flavour, and become…
We construct a C*-algebra that has only one irreducible representation up to unitary equivalence but is not isomorphic to the algebra of compact operators on any Hilbert space. This answers an old question of Naimark. Our construction uses…
This paper presents geometric proofs for the irrationality of square roots of select integers, extending classical approaches. Building on known geometric methods for proving the irrationality of sqrt(2), the authors explore whether similar…
Almost half a century before Einstein expounded his general theory of relativity, the English mathematician William Kingdon Clifford argued that space might not be Euclidean and proposed that matter is nothing but a small distortion in that…
According to one of many equivalent definitions of twistors a (null) twistor is a null geodesic in Minkowski spacetime. Null geodesics can intersect at points (events). The idea of Penrose was to think of a spacetime point as a derived…
The behavior of nilpotents can reveal valuable information about the algebra. We give a simple proof of a classic result that a finite ring is commutative if all its nilpotents lie in the center.
We provide an affirmative answer for the question raised almost twenty years ago concerning the characterization of tilted artin algebras by the existence of a sincere finitely generated module which is not the middle of a short chain.
The Hilbert-Smith Conjecture states that if G is a locally compact group which acts effectively on a connected manifold as a topological transformation group, then G is a Lie group. A rather straightforward proof of this conjecture is…
We begin a coarse geometric study of Hilbert geometry. Actually we give a necessary and sufficient condition for the natural boundary of a Hilbert geometry to be a corona, which is a nice boundary in coarse geometry. In addition, we show…
From the point of view of optimization, a critical issue is relating the combinatorial diameter of a polyhedron to its number of facets $f$ and dimension $d$. In the seminal paper of Klee and Walkup [KW67], the Hirsch conjecture of an upper…
We establish new and different kinds of proofs of properties that arise due to the orthogonal decomposition of the Hilbert space, including projections, over the unit interval of one dimension. We also see angles between functions,…
Nobody has discovered any perfect cuboid and there is no formula to deliver all possible Euler bricks. During investigations of famous open problems regarding the perfect cuboid and Euler brick; I have found new important conjectures on…
The object of our investigation is a point that gives the maximum value of a potential with a strictly decreasing radially symmetric kernel. It defines a center of a body in Rm. When we choose the Riesz kernel or the Poisson kernel as the…
I identify a number of errors in Richard Gill's purported refutation (arXiv:1203.1504) of my disproof of Bell's theorem. In particular, I point out that his central argument is based, not only on a rather trivial misreading of my…
The conjecture of D.Blair says that there are no nonflat Riemannian metrics of nonpositive curvature compatible with a contact structure. We prove this conjecture for a certain class of contact structures on closed 3-dimensional manifolds…
The recently developed proof of Fermat's Last Theorem is very lengthy and difficult, so much so as to be beyond all but a small body of specialists. While certainly of value in the developments that resulted, that proof could not be, nor…
We correct the choice of cut-off function in our construction of center manifolds in [G. Faye and A. Scheel, \textit{Trans. Amer. Math. Soc.}, 370 (2018), pp. 5843--5885]. The main result there establishes center manifolds for systems of…
We answer a question that was asked by Albert Baernstein II, regarding the coefficients of circular symmetrization. The conjecture is not true generically.
Rice's theorem states that no non-trivial semantic property of programs is decidable. Classical proofs proceed by reduction from the halting problem, invoking the law of excluded middle (LEM) twice: once through diagonalization, and once…
We show that there is a point on a computable arc that does not belong to any computable rectifiable curve. We also show that there is a point on a computable rectifiable curve with computable length that does not belong to any computable…