Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет Misha Verbitsky ([info]tiphareth) в [info]ljr_math
@ 2007-11-02 08:24:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
"The Journey of the Four Colour Theorem Through Time"
Занятное историческое исследование проблемы четырех красок
http://www.calude.net/andreea/4CT.pdf
"The Journey of the Four Colour Theorem Through Time"
от Кэли и Гамильтона и до наших дней


(Добавить комментарий)


[info]tristes_tigres
2007-11-03 19:18 (ссылка)
В недавнем обсуждении на темы доказательств цитировали статью Тюрстона (Thurstone), в которой он утверждал, что у программистов более жесткие критерии корректности, чем в математических доказательствах.

(Ответить)