MK
> Вообще, наличие теории не означает, что имеет смысл использовать только её. Использовать стоит то, что удобно.
Size: a a a
2020 July 26
MK
Угадайте автора
AF
Угадайте автора
Любой математик
χλ
Любой математик
Несправедливо
AF
Чем?
DS
Угадайте автора
Фамилия на Гранин начинается.
MK
Нет
χλ
Любой математик
Сомневаюсь, что математик так бы сказал, значение слова в мат. дискурсе не подходит
χλ
Как мне кажется
MK
Этим математиком был Брагилевский
AF
"Нам неудобно использовать теорию множеств, потому что мы попробовали построить множество всех множеств и говно какое-то получилось. Следующие пятьдесят лет будем рисовать точки и стрелочки" — это кто сказал?
"Нам неудобно использовать теорию множеств, потому что мы попробовали построить множество всех множеств и говно какое-то получилось. Следующие пятьдесят лет будем рисовать точки и стрелочки" — это кто сказал?
Воеводский
LO
Этим математиком был Брагилевский
Цитирует без кавычек поди
Как это принято у них в твитере
Как это принято у них в твитере
AD
Этим математиком был Брагилевский
Оч похоже
MK
Это он и есть, я из твиттера скопировал
CS
Этим мальчиком был Маклейн
к
> Вообще, наличие теории не означает, что имеет смысл использовать только её. Использовать стоит то, что удобно.
похоже на меня, но не мог вспомнить где писал, а это и не я
DB
А есть какая-то функция типа Exp -> Type или около того? Нашёл способ узнать тип только у Name.