See MS's page: http://channel9.msdn.com/Series/Microsoft-Research-Luminaries/Leslie-Lamport-Selected-as-2013-ACM-A-M-Turing-Award-Winner http://channel9.msdn.c

See MS's page: http://channel9.msdn.com/Series/Microsoft-Research-Luminaries/Leslie-Lamport-Selected-as-2013-ACM-A-M-Turing-Award-Winner http://channel9.msdn.com/Series/Microsoft-Research-Luminarie... His talk back in 2011 on "What is Computation?" http://www.youtube.com/watch?v=BDPHfRuAFnU http://www.youtube.com/watch?v=BDPHfRuAFnU Looks like they knew the result for a while before it went public.