Comment Re:Vaughn Pratt is confused (Score 1) 284
So does that mean the proof is valid for some suitable definition of universal and that the prize will be awarded?
"Nuclear war would really set back cable." - Ted Turner