Обсуждение изнасилований

[posic]

на 450 комментов -- http://avva.livejournal.com/2031154.html

Характерная ситуация, когда провокатор -- http://taki-net.livejournal.com/571569.html -- побуждает подробнее и жестче формулировать свою позицию:

http://pargentum.livejournal.com/942328.html
http://m-elle.livejournal.com/180449.html?thread=6194401#t6194401

Comments

[posic.livejournal.com]

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

Под вывеской computer science, как я понимаю, проходят, в том числе, вполне корректные математические теории и результаты. А пользу и возможности программирования лучше всего иллюстрирует сайт livejournal.com, на котором мы ведем эту беседу.

[vinopivets.livejournal.com]

Конечно, под вывеской computer science есть много настоящего, и это не только корректные математические теории и результаты, но огромный опыт инженерного понимания и применения, и не мне, самому написавшему немало программ и руководившему их написанием, это отрицать. Беда не в computer, а в science. Инженерия использует науку, но сама наукой не является. Это совершенно другая, не менее интересная и полезная деятельность, и ей вовсе не нужна для этого вывеска "наука". Коэффициент полезного действия научного программирования удручающе низок, а ореол научности порождает ненужное доверие к результатам. Насколько я понимаю, физика сейчас в значительной степени стала материаловедением, но физики при этом вовсе не стремятся становится инженерами, т.е. результаты от вывески science примерно те же (это впечатление у меня сложилось и усиливается на протяжении последних лет 15 из бесед с оставшимися в физике и достигшими в ней значительных результатов друзьями).