Who’s Afraid of Natural Proofs?
Alexander Razborov is one of the world experts on circuit lower bounds. Perhaps the expert. In 1990 he won the Nevanlinna Prize for his work on lower bounds, more recently in 2007 he won the Gödel Prize (with Steven Rudich) for their beautiful work on “Natural Proofs” (NaP) .
Unable to display preview. Download preview PDF.