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?
The difficult we do today; the impossible takes a little longer.