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

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

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

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

Сообщества

Настроить S2

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



Пишет Misha Verbitsky ([info]tiphareth)
@ 2020-02-09 20:27:00
Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Настроение: tired
Музыка:Forgotten Woods - AS THE WOLVES GATHER
Entry tags:math, smeshnoe

Cyclicly co-fibrant co-homotopy
Прекрасное
https://cemulate.github.io/the-mlab/
генератор статей из нкатлаба
совершенно неотличимых от оригинала
Уважаю дико

Если перегружать, она загружает новую статью,
такую же осмысленную! бесконечно много их.


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


[info]tiphareth
2020-02-17 22:42 (ссылка)
ничего
это всегда была тупая фигня

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


[info]kaledin
2020-02-17 22:52 (ссылка)
Ну, там лично у Воеводского было несколько неплохих идей, но их самих по себе ни для чего не хватает.

Это что касается оснований; вся компьютерная часть фигня целиком.

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


[info]jduns
2020-02-18 06:21 (ссылка)
Понятно. Спасибо !

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


[info]jduns
2020-02-18 06:20 (ссылка)
Спасибо !
Жаль, что все так у Воеводского - как-то никак, после мотивных работ

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


[info]kaledin
2020-02-18 06:22 (ссылка)
Да нет, это по уму-то важнее и более фундаментально, чем мотивные работы (которые по большому счету попса лишь бы отстали). Но он недоделал. Причем даже не потому, что помер.

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


[info]jduns
2020-02-18 22:03 (ссылка)
Простите, но не могу удержаться - а почему ? Меня вся эта история реально волнует (из чистого интереса).
Заранее спасибо за ответ !

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


[info]kaledin
2020-02-18 22:12 (ссылка)
Потому что речь на самом деле про хорошее понимание абстрактной теории гомотопий, которое по ощущениям разных людей должно также задевать лямбда-калкулус и вычислимость. А такого и близко нет пока что.

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


(Анонимно)
2020-02-21 23:10 (ссылка)
Спасибо !

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

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