A Relatively Small Turing Machine Whose Behavior Is Independent of Set Theory
A New Kind of Science