The Emperor's New Mind: Concerning Computers, Minds, and the Laws of Physics (Oxford Landmark Science)

by Roger Penrose

Goodstein’s remarkable theorem tells us that no matter what positive whole number we start with (here 581) we always eventually end up with zero!