Philosophy of science: Theories of almost everything

A provocative contribution to the logic of science extends the theorems of Kurt Godel and Alan Turing, and bears on thinking about prediction, the standard model of particles, and quantum gravity.