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

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

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

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

Сообщества

Настроить S2

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



Пишет apkallatu ([info]apkallatu)
Калаби-Яу теперь научились довольно концептуально доказывать вариационными методами (Берман-Буксом-Эйсидьё-Гуэдж-Зериахи)

наверняка в коммутативной алгебре полно (не таких важных) мутных технических доказательств, сложных не глубиной, но бюрократизмом. можно доверять Габберу, но что делать, когда Габбер помрёт.

анализ состоит из сложных доказательств чуть менее, чем полностью.

ну то есть не знаю, мечта о проверке доказательств, как сейчас есть проверка типов в языках программирования, может быть и long shot, но не такая уж и дурацкая. положим, математиков такая прилада работы не лишит, но позволит не совершать глупых ляпов в больших доказательствах. есть ещё люди (типа меня), кто психологически так устроены, что себе в технических местах с большим количеством деталей верят с большим трудом.


(Читать комментарии)

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

Как:
(комментарий будет скрыт)
Identity URL: 
имя пользователя:    
Вы должны предварительно войти в LiveJournal.com
 
E-mail для ответов: 
Вы сможете оставлять комментарии, даже если не введете e-mail.
Но вы не сможете получать уведомления об ответах на ваши комментарии!
Внимание: на указанный адрес будет выслано подтверждение.
Имя пользователя:
Пароль:
Тема:
HTML нельзя использовать в теме сообщения
Сообщение:



Обратите внимание! Этот пользователь включил опцию сохранения IP-адресов пишущих комментарии к его дневнику.