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

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

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

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

Сообщества

Настроить S2

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



Пишет Misha Verbitsky ([info]tiphareth)
@ 2014-07-19 13:59:00
Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Настроение: tired
Музыка:D-Pressiv Nimm Mich Mit EP
Entry tags:bl, hse

унивалентные основания
Воеводский таки поедет, кстати
http://bogomolov-lab.ru/SHKOLA2014/talks/voevodsky.html
с лекциями о программировании унивалентных оснований математики


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


[info]m
2014-07-23 23:39 (ссылка)
Миша, не знаете, через кого и как можно зарегистрироваться, мб
жить в общаге, или поехать вольнослушателем ?

Я как-то только сейчас проникся идеей поехать.

(Ответить) (Ветвь дискуссии)


[info]tiphareth
2014-07-24 02:20 (ссылка)
регистрироваться не нужно, но жилье в общежитии уже расписано (скорее всего)
то есть придется снимать отдельно
не то чтобы сильно дорого, думаю, можно прямо на вокзале снять за копейки

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]wieiner_
2014-07-24 17:30 (ссылка)
"унивалентные основания" - я бы тоже с удовольствием поехал просто послушать хоть голоса умных дядек (с определенным моим (невысоким) уровнем понимания в трех- четырехмерной логике), но война в Украйне и житейские проблемы делает сие невозможным. ну хоть нагуглю чего-нибудь с вашей конференции, да и просто книжек/статей натырить может удастся..надеюсь хоть следуют заветам Гильберта..

(Ответить) (Уровень выше)

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