A Relatively Small Turing Machine Whose Behavior Is Independent of Set Theory
The limits of mathematics