Математика
Теорема о четырёх красках доказана в 1976 году, но требовала проверки 1936 конфигураций на компьютере.
Кеннет Аппель и Вольфганг Халкен использовали IBM 3033 для перебора всех критических случаев раскраски графов. Это было первым крупным математическим доказательством, зависящим от вычислительной техники, что вызвало споры в научном сообществе о валидности компьютерных доказательств.
Часто спрашивают
Правда ли, что теорема о четырёх красках доказана в 1976 году, но требовала проверки 1936 конфигураций на компьютере?
Кеннет Аппель и Вольфганг Халкен использовали IBM 3033 для перебора всех критических случаев раскраски графов. Это было первым крупным математическим доказательством, зависящим от вычислительной техники, что вызвало споры в научном сообществе о валидности компьютерных доказательств.
К какой категории относится этот факт?
Этот факт относится к категории «Математика». В этом разделе собраны другие удивительные факты по той же теме.
🎮 Сыграть в «Факт или вымысел?»