pith. sign in

arxiv: math/0404335 · v7 · submitted 2004-04-19 · 🧮 math.HO

Meta Math! The Quest for Omega

classification 🧮 math.HO
keywords omegaaccountbookcenturydiscoveryemphasishaltinghistory
0
0 comments X
read the original abstract

This book presents a personal account of the mathematics and metamathematics of the 20th century leading up to the discovery of the halting probability Omega. The emphasis is on history of ideas and philosophical implications.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. On Chaitin's Heuristic Principle and Halting Probability

    math.LO 2023-10 unverdicted novelty 5.0

    Revives Chaitin's heuristic principle to the extent permitted by logic and shows that Omega cannot be a halting probability under any infinite discrete measure, proposing alternative definitions instead.