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 ] 

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



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

Сейчас этот форум просматривают: нет зарегистрированных пользователей


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

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