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?
Kill Ugly Processor Architectures - Karl Lehenbauer