Войти в систему
Home - Создать дневник - Написать в дневник - Подробный режим
LJ.Rossia.org - Новости сайта - Общие настройки - Sitemap - Оплата - ljr-fif
Редактировать... - Настройки - Список друзей - Дневник - Картинки - Пароль - Вид дневника
Сообщества
Настроить S2
Помощь - Забыли пароль? - FAQ - Тех. поддержка
Towards a Hermeneutic Categorical Mathematics http://arxiv.org/find/math/1/au:+Rodin_A/0/1/0/all/0/1Забавные труды про философскую сущность математикии почему теория множеств неудовлетворительна в качествеоснования, а теория категорий гораздо лучше. Ничего так.Автор:[ фотография | CV | статья в журнале Неприкосновенный Запас ]Привет
(Читать комментарии) - (Добавить комментарий)
(Ответить) (Уровень выше) (Ветвь дискуссии)
Без […] хотя бы минимального (а желательно - более основательного) бэкграунда в теории категорий […] в области языков программирования сейчас делать нечего.Уже лет 15 как. Это мэйнстрим и просто язык, на котором все сколько-нибудь содержательные результаты в области связанной с языками программирования формулируются.
(Ответить) (Уровень выше)
(Читать комментарии) -