, winners of the 2007 Gödel Prize in theoretical computer science for their 1994 paper
, which showed that there's no "Natural Proof" of the
P vs. NP Problem
(the most important open problem in theoretical computer science). For details, see
Jon Erickson's editorial in DDJ
comments powered by Disqus.
comments powered by