A provocative contribution to the logic of science extends the theorems of Kurt Gödel and Alan Turing, and bears on thinking about prediction, the standard model of particles, and quantum gravity.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results