2014 dxdy logo

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

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




Начать новую тему Ответить на тему
 
 Теорема 4C
Сообщение17.12.2008, 20:26 


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

 Профиль  
                  
 
 
Сообщение18.12.2008, 10:17 


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

 Профиль  
                  
 
 Re: Теорема 4C
Сообщение17.12.2023, 03:28 


03/06/10
152
Я услышал, что в 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
Сообщение17.12.2023, 04:55 
Заслуженный участник


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

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

 Профиль  
                  
 
 Re: Теорема 4C
Сообщение21.12.2023, 14:49 


03/06/10
152
Интересно: если у страны есть эксклав и добавляется требование, чтобы страна и её эксклав были одного цвета, то четырёх цветов уже недостаточно
Изображение

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

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 5 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: Stratim


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group