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

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

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

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

Сообщества

Настроить S2

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



Пишет Misha Verbitsky ([info]tiphareth)
@ 2016-06-19 22:40:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Настроение: sick
Музыка:Vatican Shadow - Media in the Service of Terror
Entry tags:horror, poetry, smeshnoe

"Рука пород древесных"
Кстати, Паровозики
http://www.mrakopedia-mobile.ru/wiki/%D0%9C%D1%83%D0%BC%D1%8C
http://zerkalo.kulichki.net/m_tparvz1.htm
гениальное сочинение Алексея Толкачева [info]7turtles@lj
автора шедеврического текста про живородящую мать



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


[info]wieiner_
2016-06-20 00:45 (ссылка)
прочитал паровозики. интересно. поэдгарпо.

(Ответить)


[info]polytheme
2016-06-20 23:19 (ссылка)
в Турекии, кстати, говорят - протесты против Эрдогадины
ЛГБТ недавно менты отпиздили
в числе прочих тысяч чуваков

может, скинут ?

(Ответить)


[info]polytheme
2016-06-21 03:10 (ссылка)
Да, тоже поздравляю бля сдине.

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


[info]wieiner_
2016-06-24 02:11 (ссылка)
хотел спросить, посоветуйте плиз, самую сложную, современную и обстоятельную книжку по теории представления групп..или - уже может сразу по теории категорий - там типо разный функционал на один фреймворк подвязан? а то меня засосало в программизм сильно..

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


[info]polytheme
2016-06-24 02:45 (ссылка)
я прошу прощения, вы для занятий программированием хотите теорию представлений изучать ? я не очень понимаю, где она там может пригодиться, честно говоря.

не очень понятно, почему "сразу" - "теория" категорий - это скорее некоторый язык, на котором математика разговаривает, вроде "теории" множеств, и, конечно, современная теория представлений формулируется на категорном языке гораздо более удобно, но опять же не вижу какой-то конкретной связи между представлениями и теоркатом.

а вот как раз категории программистами уже давно используются, в функциональных языках, верификации программ и ещё сейчас завелась такая деятельность филдсовского лауреата Воеводского на стыке математики, логики и программирования, выросшая из его идеи сделать более удобный язык для проверяемой компьютером системы записи математических доказательств - более удобный, чем стандартный формально-логический, там очень громоздко и муторно иначе получается; деятельность называется Homotopy Type Theory.

для программистов существует некоторое количество вводных текстов и книжек по категориям,
http://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf
http://gen.lib.rus.ec/book/index.php?md5=43F63DB3660F5DC236D17425F0032BCA
https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/

вот, например, мотивировочный текст:
http://cs.stackexchange.com/questions/3028/is-category-theory-useful-for-learning-functional-programming

также рекомендуется идти в сторону вообще функционального программирования, изучать языки Haskell, Objective Caml, F#, Agda, Igdris, F*.

кроме этого, есть стандартная книжка Хамермеша
https://www.amazon.com/Theory-Application-Physical-Problems-Physics/dp/0486661814?ie=UTF8&tag=stackoverfl08-20
по группам для физиков, но она всё же скорее про физику начала 20 века,
ещё и физики хвалят Фултона-Харриса (по-моему так просто отличная книжка, очень конкретная и написанная суперматематиками):
http://gen.lib.rus.ec/book/index.php?md5=F80DFFAF7C652113389CE0F0C9F99557

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


[info]polytheme
2016-06-24 02:46 (ссылка)
пардон, не Igdris, а Idris, конечно.

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


[info]wieiner_
2016-06-24 15:16 (ссылка)
> изучать языки Haskell, Objective Caml, F#, Agda, Igdris, F*.

Haskell, O'Caml, Closure..
еще можно добавить Lisp, Prolog, JavaScript, TypeScript.

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


[info]polytheme
2016-06-24 03:46 (ссылка)
что касается представлений, посмотрите ещё вот эту книжку:
http://bookzz.org/book/503732/48d5a9
может быть, наоборот, она вам понравится

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


[info]wieiner_
2016-06-24 14:04 (ссылка)
о! посибо! те що треба!
просто, с точки зрения Байкальского Шаманизма, в голове у меня живет как минимум программист и математик. и программист в последнее время сильно "надвал по щщам" математику. поэтому Теория Групп самое -то. будем прокачивать математика в сторону Физика/Химика.

программист, добавляет, что да функциональные поползновения в последние времена имеют тенденцию и связано прежде всего с невозможностью интенсивного развития ИТ (прокачивания частот). с другой стороны увлечение функциональным говном (хотя я адепт ИИ - а оно сплошь всюду функциональное) ведет к непереносимости кода с машинки на машинку, к "национализму разработчиков ОС".

спасибо еще раз. и в т.ч. за "арнольдовы штучки", ссылки на книжки которых Вы мне подсказали ранее.
постепенно, я в этом, относительно тривиальном, тоже начинаю разбираться.

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


[info]wieiner_
2016-06-24 14:19 (ссылка)
т.е. "те що треба" не только эта последняя книжка (про группы Ли), а полностью все материалы и насчет Воеводского, интересно. Совсем недавно достал разные свои (не стандартные линуксовые flex/yacc) наработки компиляторов и добавил в свой техномагический проект. не знаю, что там творит Воеводский, но я уже достукался до самосознания интерпретаторов. правда в программніх кодах пока реализовано, где то треть моих идей и расчетов.

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


[info]wieiner_
2016-06-24 15:35 (ссылка)
>>Воеводский, Владимир Александрович...(его научным руководителем был Давид Каждан).

забавно, чудно, дивно..я о нем читал и довольно неплохо понимаю его идеи, оказывается...хихихи..ладно умолкаю..пусть каждый несет свой паровоз...магия иудаизма-каббализма всесильна, потому что она верна! :)

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


[info]wieiner_
2016-06-24 16:38 (ссылка)
последнее, что хотел прояснить: самосознание программы-интерпретатора, в смысле, что она сама для себя определяет в своих терминах (субьективно "понимает") четверичную логику и это уже не абстрактная логика-теория, но часть конкретного механического сознания системы -- жизненный опыт этой системы, отражающий абстракцию, пластическое проявление ее в механике сознания ИИ.

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


[info]spqr
2016-06-22 22:19 (ссылка)
Реально хорошее. Мне приснилось, что отвалившаяся стена и игрушечные рельсы к чему-то отсылка, причём ясно было, что скорее всего автор в виду не имел, а так получилось, и даже собирался написать, но проснулся и забыл.

(Ответить)