Comment He should be the proofreader for WolframTuringPriz (Score 1) 158
I wonder how many loopholes Evangelos Georgiadis will find in Wolfram's Turing Machine Prize Proof. Well, if there are any I'm sure he is the best candidate to spot them (excluding Don Knuth who is also an errata expert but too busy at the moment).