four-colour theorem

Human versus machine: who's better at proving theorems?
Road colouring problem solved
  • Plus 100 —the best maths of the last century
  • More maths grads
The new Maths KTN is showing business how to do mathematics and mathematics how to do business.
Robert Hunt concludes our Origins of Proof series by asking what a proof really is, and how we know that we've actually found one. One for the philosophers to ponder...
Syndicate content