Goal oriented or fun oriented?

Today, I had fun. For the past few years, whenever I’ve gone on a bike ride, I’ve been goal focused. Mountain biking: distance and elevation. Have I pushed myself hard […]

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 […]