The First Major Mathematical Theorem To Be Proven Using A Computer Was Which Theorem, Which Concerns The Colouration Of Maps? It Was First Proven In 1976 By Kenneth Appel And Wolfgang Haken.

🎲 Try a Random Question  |  Total Questions in Quiz: 15073  |  🧠 Study this quiz with Flashcards
This question is part of a full practice quiz:
Online Quiz League (OQL) Question Bank — practice the complete quiz, review flashcards, or try a random question.

The Online Quiz League (UK) is a well known weekly team quiz league. 


1. The First Major Mathematical Theorem To Be Proven Using A Computer Was Which Theorem, Which Concerns The Colouration Of Maps? It Was First Proven In 1976 By Kenneth Appel And Wolfgang Haken.