Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · math/0306023

Is the Halting probability a Dedekind real number?

Bhupinder Singh Anand
View original source ↗Read source document ↗Export metadata ↓

Abstract

In a recent historical overview, Cristian S. Calude, Elena Calude, and Solomon Marcus identify eight stages in the development of the concept of a mathematical proof in support of an ambitious conjecture: we can express classical mathematical concepts adequately only in a mathematical language in which both truth and provability are essentially unverifiable. In this paper we show, firstly, that the concepts underlying their thesis can, however, be interpreted constructively; and, secondly, that an implicit thesis in the authors' arguments implies that the probability of a given Turing machine halting on a given input cannot be expressed as a Dedekind real number.

Explore related subjects

math.GM

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Bhupinder Singh Anand. 2003-06-01. Is the Halting probability a Dedekind real number?. https://arxiv.org/abs/math/0306023

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Quelques remarques sur les vari{é}t{é}s, fonctions de Green et formule de Stokes

We give some remarks on some manifolds K3 surfaces, Complex projective spaces, real projective space and Torus and the classification of two dimensional Riemannian surfaces, Green functions and the Stokes formula. We also, talk about traces of Sobolev spaces, the distance function, the notion of degree and a duality theorem, the variational formulation and conformal map in dimension 2, the metric on the boundary of a Lipschitz domain and polar geodesic coordinates and the Gauss-Bonnet formula and the positive mass theorem in dimension $ \geq 3 $ and in the flat and non flat case. And the Ricci flow. And fields and their relation to the equations.And obstructions in astronomy. And on strings, superstrings and D-branes. And topological solutions in the negative case, critical, supercritical and superstrings and symmetry. And geometrization. And Decision problem, SAT problem and p=np problem.

math.GM↗
arXiv2026

Counting Truchet Tile Balls

A formula is established that counts the number of different balls that can be made by decorating the pentagons and hexagons of a classic football with Truchet-like patterns.

math.GM↗
arXiv2026

A Theory of Scales and Orbit Covers

This paper develops a formal theory of musical scales and their harmonic coverings and introduces orbit covers: coverings obtained by translating a fixed subset across a scale via a group action. Orbit covers generalize familiar constructions, such as the covering of the diatonic scale by tertian triads, and are motivated by the search for a generalized harmonic framework extending common-practice tonality. We model modes as group structures associated with pitch-class sets and scales as torsors, introducing scale covers and, in particular, orbit covers. To each orbit cover we associate a nerve complex encoding its intersection structure and associated topological invariants. We classify triadic orbit covers of heptatonic scales up to affine symmetry and nerve isomorphism. These results support a broader theory of harmonic organization with analytical and compositional applications.

math.GM↗