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

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]privet_hedge
2014-07-19 17:17 (ссылка)
Имхо, такие основания охватят только часть математики. Мне больше нравится такой подход http://plato.stanford.edu/entries/mathematics-inconsistent/#FouMat

(Ответить)


[info]chronos
2014-07-19 19:35 (ссылка)
Хорошо, а то тема интересная. Война, войной, а лекции-то тут причем.

(Ответить)


[info]wieiner_
2014-07-20 18:53 (ссылка)
интересно у вас там: моей тензорной лингвистики и дифференциальной логики (приращений бескончномалых логических понятий) только не хватает :)

(Ответить)


[info]hasek
2014-07-20 23:05 (ссылка)
А Воеводский сейчас исключительно унивалентными основаниями занимается или ещё чем-то? Спрашиваю потому, что уже долгое время слышу его фамилию только в связи с этим. Или это я от жизни отстал.

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


[info]tiphareth
2014-07-20 23:39 (ссылка)
в основном

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


[info]wieiner_
2014-07-21 11:31 (ссылка)
а вы будете там эргодическую теорию излагать с точки зрения групп? интересно, а видео с конференции будет?

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


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

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

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


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

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


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

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


[info]wieiner_
2014-07-24 17:34 (ссылка)
п.с.
всю жизнь мечтал разработать (и разрабатываю) "3D Studio Max для исчисления высказываний"!

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


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

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