Re:Tim Berners-Lee wins Turing Award
by Ar-Curunir on Tuesday April 04, 2017 @02:13PM
(#14035655)
Stephen Cook, Micali, Goldwasser, Rabin, Scott, Karp, Hartmanis, Stearns, Manuel Blum, Yao and Valiant. These are all pure theoreticians; I didn't include data structures people and applied-ish cryptographers like RSA and DH.
More than a significant fraction of Turing awards have been won by theoreticians.
I see a number of theory guys on the list. That's the thing that's interesting about Shannon's exclusion: for any given explanation, there's a counterexample on the list. I've never really known anyone involved very seriously in the ACM, those guys probably know why he was excluded.
On the other hand, I think I use Claude's work in the same sense that I use Kirchhoff's laws everyday.