In 1976, Wolfgang Haken and Kenneth Appel used a computer to prove the four color theorem.
1976 yılında Wolfgang Haken ve Kenneth Appel dört renk teorisini kanıtlamak için bir bilgisayar kullandı.