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

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

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

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

Сообщества

Настроить S2

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



Пишет bors ([info]bors)
> формальные языки, которыми оперируют логики (и которые происходят из какой-то совершенно допотопной математики, типа до первой мировой войны

? Формальные языки происходят не из математики, а из математических доказательств. Их математика в целом не может быть понята - нельзя в одно запихнуть всё. Те немногие доказательства, что есть, в этой математике идут из её интепретации, через самореферентность. (Приложения может и используют какую-то интересную математику, но это другое). Это про начало века. Про форсинг и прочие науки я не знаю, но у меня есть интуиция, что там есть интересные и потенциально полезные (по крайней мере в анализе) идеи про переходы и пределы. Категорный язык инетерсен уже сейчас, конечно, но вы же понимаете, что интерес к формальным языкам происходит из-за их родства с доказательствами, которые в свою очередь являются более важной частью математики чем категории.


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

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

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



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