Возможна ли принципиально иная математика?

[migmit]

arseniiv в сообщении #521021 писал(а):

migmit в сообщении #520990 писал(а):

и отладка будет вестись на уровне ассемблера .NET

Вы как-то странно считаете. То всё программирование приравниваете к программированию на Haskell (на той странице внизу), то думаете, что всё в конечном итоге перейдёт на .NET…

Попробуйте читать внимательно.
1) Я не приравнивал программирование к программированию на хаскеле. Я говорил, что программисты НАЧИНАЮТ ПОНИМАТЬ, что занимаются теоркатом; рассылка Haskell-cafe была приведена как пример (находящийся на переднем крае CS)
2) Я не думаю, что всё перейдёт на .NET, но допускаю такую возможность.

[arseniiv]

Я бы не сказал, что

migmit в сообщении #521564 писал(а):

программисты НАЧИНАЮТ ПОНИМАТЬ, что занимаются теоркатом

это корректное суждение. Программисты программируют, наверно. А заниматься теоркатом можно по-разному: исследовать (теоремы там доказывать новые), просто использовать (опять же: как? Математика так просто одним махом не прикладывается к программированию — сначала нужно немного слов о том, какой термин чему сопоставлять), знать и ничего с этим не делать и прочее.

[Yuri Gendelman]

migmit в сообщении #520422 писал(а):

Но уже тот факт, что ПРОГРАММИСТЫ начинают потихоньку понимать, что занимаются именно теорией категорий, о чём-то говорит.

Это - слишком категорическое утверждение. (Один герой Мольера тоже очень удивился, когда понял, что говорит прозой.)

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

Для справки: Математическая теория реляционных баз данных тоже гораздо сложнее, чем кажется программистам. См:
Цаленко. Моделирование семантики в базах данных. М.: Наука. 1989.
Что интересно, его же:
Цаленко, Шульгейфер. Лекции по теории категорий. Изд. МГУ, 1970

[migmit]

arseniiv в сообщении #522285 писал(а):

Программисты программируют, наверно.

Конечно. А кроме того, если это хорошие программисты, они думают о том, что делают. О том, как это делать лучше и проще.

arseniiv в сообщении #522285 писал(а):

просто использовать (опять же: как? Математика так просто одним махом не прикладывается к программированию — сначала нужно немного слов о том, какой термин чему сопоставлять)

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

-- Пн янв 02, 2012 23:36:23 --

Yuri Gendelman в сообщении #522340 писал(а):

migmit в сообщении #520422 писал(а):

Но уже тот факт, что ПРОГРАММИСТЫ начинают потихоньку понимать, что занимаются именно теорией категорий, о чём-то говорит.

Это - слишком категорическое утверждение. (Один герой Мольера тоже очень удивился, когда понял, что говорит прозой.)

Как это? Я постарался сделать его настолько некатегорическим, насколько вообще можно.

Yuri Gendelman в сообщении #522340 писал(а):

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

А вот это — весьма категорическое утверждение.

Yuri Gendelman в сообщении #522340 писал(а):

Для справки: Математическая теория реляционных баз данных тоже гораздо сложнее, чем кажется программистам.

Естественно, кто б спорил.

Yuri Gendelman в сообщении #522340 писал(а):

См:
Цаленко. Моделирование семантики в базах данных. М.: Наука. 1989.
Что интересно, его же:
Цаленко, Шульгейфер. Лекции по теории категорий. Изд. МГУ, 1970

Может, и интересно, но вполне понятно. Учитывая, что базы данных — это таки категории...

[arseniiv]

migmit в сообщении #522409 писал(а):

Конечно. А кроме того, если это хорошие программисты, они думают о том, что делают. О том, как это делать лучше и проще.

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