Knuth. I'm glad I was exposed to him young (around 18/19 yrs
   old). I agree that P likely = NP. I think one or two basic
   axioms may need to be modified but I see no reason why it's
   unachievable. The "spook and mystery" stuff is woo, as is the
   Mathematical Universe idea. It's awesome that we can describe
   many things mathematically but describing something and even
   building things with the descriptions doesn't make it "the thing
   itself". I guess it keeps them busy though.