Meta Math! by Gregory Chaitin

The Quest for Omega

A lively, accessible popular-science account of algorithmic information theory and the limits of formal mathematics that traces ideas from Leibniz and Gödel to Turing and the author’s work, centering on the halting probability Ω as a vivid example of mathematical randomness: Ω encodes infinitely many true but irreducible bits that no finite axiomatic system can compress or derive, illustrating a stronger, information-theoretic form of incompleteness and motivating a quasi-empirical, experimental view of mathematics where some mathematical facts are true for no deeper reason and must be discovered rather than proved.

Purchase from Bookshop.org