>С теоремой же четырех красок дело обстоит так. Она была формально (строго математически) доказана для числа областей n>. (не помню, какое там число, но вроде бы несколько тысяч). Потом для всех n<=N была произведена проверка методом полного перебора (что, естественно, тоже строго). Проблемы возникли из-за того, что, поскольку число N очень большое, то перебор производили на компьютере и нет никаких шансов проверить его "вручную". Но, если мы доверяем логике математиков, то должны доверять и логике компьютерных программ (а проверку можно выполнить на компьютере же, но с помощью независимо написанной программы - как если бы теорему доказывали два разных человека). Это ни в коей мере не делает математику наукой - эксперимента в ней нет. Компьютер использовался здесь не для моделирования (которое неизбежно огрубляет явление), а только для ускорения счета...
А число N достаточно большое? ;) Ну думаю раз больше тыщи, то очень большое. Академичностью там и не пахнет.
А современные численные методы. Доказательствами сходимости вроде себя там никто не заморачивает вобще. Основной критерий - обсчитывают модель или нет.
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 | Люцифер | Четыре караськи |
Ворота - Площадь - Библиотека - Колодец - Колокольня - Таверна - Круглый Стол - Джихад - Карта - Поиск - Симфония - Новости | ||
Дерево сообщений | Список заголовков | Одной страницей |