*math

Нашёл охуенный вики-сайт по математике, — http://ncatlab.org/nlab/show/HomePage Меня привлекло в первую очередь большое количество статей по конструктивизму и категориальной логике

#thhife

2 comments

Офигенное и понятное (что редкость) введение в интуционисткую теорию типов. http://www.cse.chalmers.se/~smith/handbo...

#ttszeh

add comment

Наконец-таки наткнулся на книгу, качественно и полно раскрывающую тему задания и исследования систем типов с помощью теории категорий, — "Introduction to Higher-Order Categorical Logic" Ламбека. Она описывает три разных способа задать типовые системы с помощью категориальных структур, — начиная от наивного CCC, ... more →

#ttzoso

6 comments

Поцоны, кто на какие курсы в НМУ в этом году пойдёт?
http://ium.mccme.ru/f12/algebra1.html
Я думаю над алгеброй-2, выбираю между топологией и геометрией, и хочу попытаться сходить к Мише. Кто чо как?

#tofhtn

43 comments

Сожрали с Аскаром смесь из ноотропила и кофеина. Няшно пообсуждали за обедом абстрактную алгебру (без криков и оров как обычно), медленно перешли на дискретную (точнее конструктивисткую) математику и философию науки. Снова хочется помучать гомологическую алгебру и теорию категорий.
P.S. Ужасно не хватает скорости ... more →

#tzgtig

26 comments

http://cs407922.userapi.com/v407922413/1...

#tzhsit

8 comments

http://cs406719.userapi.com/v406719457/a...

#oniifo

2 comments

http://www.smbc-comics.com/comics/201105...

#onfiht

1 comment

Отношение между чистыми и прикладными математиками основаны на доверии и понимании. Чистые математики не доверяют прикладным математикам, а прикладные не понимают чистых.

#onzoie

add comment

Кто-нибудь знает хорошие монографии по типизированной лямбде?

#ootonz

add comment

Шикарное развитие алгебры модулей SML — http://www.mpi-sws.org/~rossberg/mixml/
P.S. Это MixML, с xml оно никак не связано.

#oooiiz

add comment