Четыре краски

Navuhodonosr

Братство Еретиков  »  Круглый стол  »  июль 2003  »  Четыре краски

Line

03 июля CE 2003 23:25
В ответ на Четыре краски (Кум, 03 июля CE 2003 21:58)

>С теоремой же четырех красок дело обстоит так. Она была формально (строго математически) доказана для числа областей n>. (не помню, какое там число, но вроде бы несколько тысяч). Потом для всех n<=N была произведена проверка методом полного перебора (что, естественно, тоже строго). Проблемы возникли из-за того, что, поскольку число N очень большое, то перебор производили на компьютере и нет никаких шансов проверить его "вручную". Но, если мы доверяем логике математиков, то должны доверять и логике компьютерных программ (а проверку можно выполнить на компьютере же, но с помощью независимо написанной программы - как если бы теорему доказывали два разных человека). Это ни в коей мере не делает математику наукой - эксперимента в ней нет. Компьютер использовался здесь не для моделирования (которое неизбежно огрубляет явление), а только для ускорения счета...

А число N достаточно большое? ;) Ну думаю раз больше тыщи, то очень большое. Академичностью там и не пахнет.
А современные численные методы. Доказательствами сходимости вроде себя там никто не заморачивает вобще. Основной критерий - обсчитывают модель или нет.

Ответить на сообщение

Line

03 июл 23:16 NavuhodonosrОб истоках геометрии
04 июл 13:54 Люцифер Об истоках геометрии
04 июл 15:26 Navuhodonosr  Об истоках геометрии
04 июл 16:25 Незнайка   Об истоках геометрии
04 июл 16:09 Люцифер   Об истоках геометрии
04 июл 15:59 Кум   Об истоках геометрии
04 июл 16:11 Navuhodonosr    Об истоках геометрии
04 июл 16:20 Люцифер     Об истоках геометрии
04 июл 16:37 Navuhodonosr      Об истоках геометрии
04 июл 17:17 Люцифер       Об истоках геометрии
03 июл 21:58 КумЧетыре краски
04 июл 13:52 Люцифер Четыре краски
03 июл 23:25 Navuhodonosr Четыре краски
03 июл 22:24 Leo Четыре караськи
04 июл 13:54 Люцифер  Четыре караськи

Line

Ворота - Площадь - Библиотека - Колодец - Колокольня - Таверна - Круглый Стол - Джихад - Карта - Поиск - Симфония - Новости