Greg Chaitin, The Unknowable

He is a mathematician in the lineage of Cantor and Gödel who pushes Turing's halting problem solution to a limit he called Ω. It's a number that can't be known.