Would computers really want to do math proofs?
Roger Penrose wrote a book titled "The Emporor's New Mind." The book roused quite a bit of controversy, because he claimed that he had proof that computers can't think in
is_archive