Вопрос 24: Доказательство гипотезы четырех красок, найденное в 1976 году, считается первым в математике прецедентом неклассического доказательства, то есть доказательства при помощи НЕГО. Назовите ЕГО одним словом.
Ответ: компьютер.
доказательство гипотезы сводится к очень большому, но конечному перебору различных случаев. Неудивительно, что лучше человека справились даже компьютеры того времени.
Источник(и): https://ru.wikipedia.org/wiki/Проблема_четырёх_красок
Автор: Мишель Матвеев