Manyebook
Gregory Chaitin
Proving Darwin
Meta Math!