Доказательство гипотезы четырех красок, найденное в 1976 году, считается первым в математике прецедентом неклассического доказательства, то есть доказательства при помощи НЕГО. Назовите ЕГО одним словом.
Ответ: компьютер.
Зачет:
Комментарий:
доказательство гипотезы сводится к очень большому, но конечному перебору различных случаев. Неудивительно, что лучше человека справились даже компьютеры того времени.