любопытные ссылки

[a_shen]

http://podmoskovnik.livejournal.com/121412.html - репетиция Беслан-remake?

http://www.kommersant.ru/doc/1777876 - вышла книжка с дневником Полины Жеребцовой из Грозного (если кто увидит, то скажите или просто купите для меня - в интернете его только небольшие отрывки)

Comments

репетиция Беслан-remake

[almony.livejournal.com]

Т.е. посыл, что спецслужбы вообще не должны отрабатывать сценарии своих действий на случай захвата заложников?

нет,

[a-shen.livejournal.com]

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

Re: нет,

[rainbowwwarrior.livejournal.com]

Во всем виновато НЛО, это очевидно.

[max-ushakov.livejournal.com]

http://www.labirint.ru/books/302035/
купить?

если это

[a-shen.livejournal.com]

несложно, то купи - а то потом уже не будет...

Re: если это

[max-ushakov.livejournal.com]

Заказал только сейчас -- добрый дядя Gmail начиная к какого-то момента стал отправлять все комментарии с LJ в спам (!).

Re: если это

[max-ushakov.livejournal.com]

Купил :) Приезжай -- отдам!

спасибо!

[a-shen.livejournal.com]

я буду в середине ноября (если ничего не случится) - ещё мне ведь надо забрать ценную ткань...

[(Anonymous)]

Здравствуйте.

Слышали ли Вы что-нибудь про "Univalent Foundations of Mathematics"?
http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations.html

Воеводский строит основания математики, опираясь на интуитивное понимании гомотопии.
Насколько я понял, эта аксиоматика (если всё получится) должна полностью заменить ЦФ. Насколько это реально, как Вы думаете? Действительно ли этот проект такой перспективный-амбициозный, как его представляют?

С уважением, Женя.

нет -

[a-shen.livejournal.com]

я думаю, что из московских людей лучше всего про это спросить Беклемишева (он, как минимум, может сказать, кто бы в этом мог понимать)

[66george.livejournal.com]

Спросите у меня, я разбираюсь, что подтвердит Беклемишев (его научил теории типов Крупский, а Крупского научил я). Я посмотрел сайт Воеводского, у меня скорее скептическое отношение (я ждал большего), что разделил со мной корифей науки Г.Е. Минц, когда я ему задал такой же вопрос. Что касается ZF, то этой теории 100 лет, за это время в основаниях математики много чего придумано. Если всё придуманное дойдёт до практики, то не в связи с гомотопиями, а в связи с новым программированием. Впрочем, и гомотопии, и новое программирование (функциональное) опираются на теорию категорий. Для начала почитайте вот это
http://www.cs.ru.nl/~herman/PUBS/IntroTT-improved.pdf

[66george.livejournal.com]

Посмотрите, Саша, что вытворяет израильская военщина

http://plohie-roditeli.livejournal.com/187227.html

Мало того, что они не дают бурятам принимать иудаизм. Они ещё обрезают пиписьки маленьким детям, не спрашивая их согласия! Возможно, ребёнок вырастет и захочет стать бурятом, а пиписька уже обрезана военщиной.

[(Anonymous)]

А можете порекомендовать какую-нибудь крутую книжку по теории игр?