Surprise Computer Science Proof Stuns Mathematicians

Kurt Gödel, Vacuous Paradoxes and Self-Reference

Landmark Computer Science Proof Cascades Through Physics and Math

John Horton Conway