four color theorem (mathematics)

science · 30 November 1975 · 49 years ago

The four color theorem is proved by Kenneth Appel and Wolfgang Haken, the first major theorem to be proved using a computer.

More science on 30 Nov