Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 Теорема 4C
Что-то форум, на мой взгляд, зацикливается на ТФ. Но ведь не одной ТФ живы любители элементарных "решений" в математике :)?! Давайте пообсуждаем, к примеру, знаменитую теорему о четырех красках. Имеющееся машинное доказательство Хакена и Аппеля (1976) у многих математиков по-прежнему вызывает недоверие. И довольно-таки много энтузиастов (их число, конечно-же несопоставимо с армией ферматистов, но человек десять я могу насчитать) продолжают искать простое и "человеческое" доказательство этой теоремы
В местной библиотеке появилась книжица Родионов В.В. Методы четырехцветной раскраски вершин плоских графов. Автор доказывает теорему 4С элементарными средствами. Или не доказывает? Успел ли кто-нибудь ознакомиться?

 
Возможно, что теорема 4 красок уже доказана элементарными методами - см. дискуссию в Википедии. Но почему-то широких публикаций об опровержении или подтверждении этих доказательств нет. Надо будет попытаться почитать указанную вами книгу - может автор дает обзор предшествующих доказательств...

 Re: Теорема 4C
Я услышал, что в 2022 году появилось доказательство теоремы о четырёх красках без использования компьютера
https://youtu.be/urijBOcw4us?si=ER-hxcjsi2DwXUNV

-- Вс дек 17, 2023 04:33:20 --

Тут услышал о первом опровержении доказательства https://francis.naukas.com/2022/12/24/s ... o-colores/

 Re: Теорема 4C
sceptic в сообщении #168534 писал(а):
Имеющееся машинное доказательство Хакена и Аппеля (1976) у многих математиков по-прежнему вызывает недоверие.
Бессодержательная фраза, попахивающая демагогией и показывающая полное незнание истории вопроса хотя бы на уровне Википедии.

В 2005 году было получено формальное доказательство с помощью пруфчекера Coq: https://github.com/coq-community/fourcolor

 Re: Теорема 4C
Интересно: если у страны есть эксклав и добавляется требование, чтобы страна и её эксклав были одного цвета, то четырёх цветов уже недостаточно
Изображение

https://translated.turbopages.org/proxy ... nation.svg

 [ Сообщений: 5 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group