Два формализма

[ulysses4ever]

Те, кто более-менее знают меня, в курсе, что я страшный формалист. Хуже того: формалист, гордый этим своим качеством. Все просто: я утверждаю, что абсолютно большая часть недопониманий (у меня и других), с которыми я встречался в учебе и не только, были вызваны недостаточными или даже неверными формализмами.

Comments

[ulysses4ever]

Я ничего удалять не буду, конечно. Спасибо, что продемонстрировали процесс осмысления в терминах теории категорий. Я сейчас немного занят, чуть попозже обязательно постараюсь разобраться с тем, что Вы написали. Дело в том, что я знаком с этой теорией на уровне общей идеи и нескольких определений, так что мне придется немного напрячься. Но я постараюсь.

[ulysses4ever]

Так то, что Вы дилетант, написано у вас в постах в начале -- так что я в курсе, а ,,предупрежден, значит...`` =) Все равно любопытно. Мне бы хотелось побольше алгебры в сети видеть, но к сожалению, профи, видимо, тут мало вращаются (вероятно, другие дела есть). Вот бы блог такого же дилетанта как вы, только по более традиционным вещам (коммутативная алгебра, алгебраическая геометрия). А то мне и Ваш дилетантизм труднодоступен.

[ulysses4ever]

За ссылку благодарю, посмотрю. Насчет преображения математики -- это я слыхал, просто весь вопрос в том, какую пользу может принести такое преображение и кому =) Мой научный руководитель (немолодой к.ф-м.н.) на вопрос, а что за зверь такой, теория категорий, говорил именно в ключе преображения, но как-то без особого энтузиазма: есть-де ,,некоторые результаты``, которые из одних математических структур удалось перенести на другие...

А вот про то, что это как-то и к информатике прикладывается -- ни он не знает, ни я до конца не понимаю, как и где ;)

[ulysses4ever]

Да, я про Haskell начинал одну книжку читать, но бросил -- аллергия у меня на книжки по CS от отечественных авторов. Было там похожее определение списка, только таких страшных слов как ,,бифунктор`` и ,,копроизведение`` там не было, там было ,,декартово произведение`` и ,,размеченное объединение``. С понятием катаморфизма встречался, как раз в Вики -- вообще, много рылся там по этому поводу, но по Вики сложно получить целостное видение, хотелось бы хорошую книжку по лямбда-исчислению, ну и всему остальному (да ещё бы и во взаимосвязи): теория категорий и функциональное программирование (видимо, тут основная точка соприкосновения с CS).

[ulysses4ever]

Охотно верю. А о них можно в книжках просто по теории категорий почитать?

[ulysses4ever]

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