Meta Math!: The Quest for OmegaIn Meta Math!, Gregory Chaitin, one of the world’s foremost mathematicians, leads us on a spellbinding journey of scientific discovery and illuminates the process by which he arrived at his groundbreaking theories. All of science is based on mathematics, but mathematicians have become painfully aware that math itself has serious limitations. This notion was first revealed in the work of two giants of twentiethcentury mathematics: Kurt Gödel and Alan Turing. Now their successor, Gregory Chaitin, digs even deeper into the foundations of mathematics, demonstrating that mathematics is riddled with randomness, enigmas, and paradoxes. Chaitin’s revolutionary discovery, the Omega number, is an exquisitely complex representation of unknowability in mathematics. His investigations shed light on what, ultimately, we can know about the universe and the very nature of life. But if unknowability is at the core of Chaitin’s theories, the great gift of his book is its completely engaging knowability. In an infectious and enthusiastic narrative, Chaitin introduces us to his passion for mathematics at its deepest and most philosophical level, and delineates the specific intellectual and intuitive steps he took toward the discovery of Omega. In the final analysis, he shows us that mathematics is as much art as logic, as much experimental science as pure reasoning. And by the end, he has helped us to see and appreciate the art––and the sheer beauty––in the science of math. In Meta Math!, Gregory Chaitin takes us to the very frontiers of scientific thinking. It is a thrilling ride. 
What people are saying  Write a review
User ratings
5 stars 
 
4 stars 
 
3 stars 
 
2 stars 
 
1 star 

Review: Meta Math!: The Quest for Omega
User Review  Mike  GoodreadsFascinating book giving novel insight to the measurement of complexity. Read full review
Review: Meta Math!: The Quest for Omega
User Review  Tim  GoodreadsGreat ideas dealt with at a high level. Sometimes a little more depth would be appropriate. Read full review
Contents
Quotes by LeibnizGalileo  3 
PrimesGodelLISP  11 
DNASoftwareLeibniz  56 
Copyright  
5 other sections not shown
Common terms and phrases
actually algebraic reals Algorithmic Information Theory axiomatic system axioms beautiful binary binomial coefficients biology bits of Q Borel calculate called Cantor Chaitin Chapter compression computable real computer program digital philosophy discuss Einstein elegant program everything exactly example Exponential Diophantine Equation finite formal axiomatic system gatekeeper gives Godel's proof going halting probability halting problem header Hilbert's 10th problem human incompleteness infinity interesting irreducible irreducible mathematical Kind of Science Leibniz LISP logical look math mathematician matics never notion nth bit number of bits number theory output paper paradox philosophy physicist physics positive integers possible precisely primes program is elegant programsize complexity programming language prove quantum question random real rational numbers real number reason Sexpression selfdelimiting simple smallest program solution string theorems there's things tion transcendental Turing Turing's TV bits uncomputable understand universe what's whole numbers Wolfram words zero