Фрайди найт
vit_r опять сделал коммент с очень точным наблюдением (http://ailev.livejournal.com/667930.html?thread=5693210#t5693210): "чем больше формализация, тем меньше люди обращают внимание на смысл". И ведь это крайне точно, замечал много раз: чем больше формализация, чем больше
( Read more... )
1.Насчёт онтологии в математике. Как посетитель http://fizmatclub.spb.ru/courses/2009s.html#ontology_as_mathematics, скажу - важна не онтология объектов, важны методы математики. Стиль мышления. В конце концов, важны не ответы на вопросы, важен метод их получения (математика ум в порядок приводит...).
Далее, насчёт онтологии : аксиоматика теории множеств была воспринята в философию.
А вот теория категорий, Вы к ней как относитесь? С моей точки зрения, это именно то, что Вы имеете в виду, т.е., то, что Вы хотите - но совсем иначе, чем Вам видится. Объекты, классы, морфизмы... кажущаяся бедность конструкции. А далее оказывается, что примеры из совершенно разных областей описываются на одном и том же языке - простейший пример, это финальный объект. И прямое произведение чего угодно, и объединение чего угодно ( с сохранением внутренней структуры) и много чего ещё им является.
"Онтология" проявляется не в объектах, а в связях между ними - чего лично я в программировании не встречал. Множество гомоморфизмов между двумя группами, например. Ну и плюс обручи, сшивающие математику в одну науку - а не в миллион маленьких областей. Как мне кажется - Вы отбросили весь смысл, стоящий за математическими объектами - и обвиняете их в отсутствии смысла.
Ремарка в сторону - далеко не все студенты кафедры алгебры понимают теорию категорий. Судя по всему, сделать так, чтобы было понятно любому читающему, вообще невозможно.
2. Давайте я скажу так : пользы от исследований нет, никто этого особенно и не утверждает. Есть пользы побочные : чистые математики производят на свет прикладных, обучают всех, кто в этом нуждается, математике, поддерживают культурный фон. За достаточно маленькие деньги. Вот Вы говорите, давайте прикладные будут существовать сами по себе, чистые им не нужны. Чисто логически - да, всё хорошо. Но логика нашего правительства в отношении образования тоже безупречна. К сожалению, постфактум выясняется, что там такую мелочь забыли, тут специфику не учли, и.... Ну, Вы тоже самое предлагаете. Вы претендуете на понимание социальных процессов - и это очень плохо. Будь Вы в придачу ко всему и социолог, специализирующийся на таких вопросах, и ещё первоклассный математик - плоть от плоти, тогда Ваши предложения имели хотя бы тот вес, что Вы смотрите на ситуацию и снаружи, и изнутри, и профессионально. Сейчас же Вы говорите : я понимаю, как работает эта машинка. Уверяю Вас, Вам кажется. Правильные слова : мне кажется, я смутно различаю какие-то закономерности. Более этого я услышать от Вас не могу :) Извините.
3. Образное мышление музыкантов. Знаете, я тоже немного музыку сочинял. Совсем не то. Это как говорить - все мыслительные деятельности одинаковы.
Я тут, в общем-то пытаюсь разве что критиковать. У Вас в голове есть картинка - в ней всё хорошо и разложено по полочкам. Когда Вам говорят, что всё сильно сложнее, Вы говорите зачем усложнять, всё же понятно - это так, так и так. А я пытаюсь снова сказать - всё гораздо сложнее. И не то, чтобы я считал Вас в этой области менее компетентным, чем я... всем-то неприятно как раз от того, что Вам кажется, что Вы знаете - и активно транслируете в массы. И, поверьте, людям вне науки обычно про науку всё гораздо яснее, чем людям внутри. А я не могу списать это на свойство взгляда со стороны :)
Итак, если Вы хотите онтологии - приведите пример.Действительно интересно. Мне кажется, теория категорий вполне удовлетворяет любым запросам. Ну, топосы там есть. И вообще Гротендик. Чего Ваша душа желает?
Reply
Парадигма объекто-ориентирования какраз порлностью об этом.
Язык Smalltalk знаете?
//Судя по всему, сделать так, чтобы было понятно любому читающему, вообще невозможно.
Не невозможно, а непрактично. :)
Производительность труда слесаря-сантехника или электрика от того что он знает теорию категорий не увеличится, а только упадет.
Если он вдруг вместо того чтобы просто сделать, вдруг начнет искать красивое математическое решение для того что надо сделать.
А "трагизм" ситуации с автором этого блога какраз в том, что ему хочется, чтобы математики (и программисты к ним до кучи) были, вели себя, как селесари-сантехники, работа которых ему ближе и понятнее.
//Вы претендуете на понимание социальных процессов - и это очень плохо. Будь Вы в придачу ко всему и социолог, специализирующийся на таких вопросах, и ещё первоклассный математик - плоть от плоти, тогда Ваши предложения имели хотя бы тот вес, что Вы смотрите на ситуацию и снаружи, и изнутри, и профессионально. Сейчас же Вы говорите : я понимаю, как работает эта машинка. Уверяю Вас, Вам кажется. Правильные слова : мне кажется, я смутно различаю какие-то закономерности. Более этого я услышать от Вас не могу :) Извините.
+1 :)
//...всем-то неприятно как раз от того, что Вам кажется, что Вы знаете - и активно транслируете в массы. И, поверьте, людям вне науки обычно про науку всё гораздо яснее, чем людям внутри. А я не могу списать это на свойство взгляда со стороны :)
so do I
Reply
Reply
Требуя от гораздо более молодой отрасли успехов сравнительных с более старой и развитой.
//Пассивной связи.(в программировании оно так - и парадигма ООП не хочет большего.) А в качестве активной связи. Из которой сыплется больше золота, чем из самого объекта.
Вы просто не знаете о шаблонах... :)) или по-другому мета-программировании. ;)
Reply
Reply
Тут вы оч похожы на автора темы в своем профессиональнои максимализме.
Добавлю в защиту программирования, что "недостаточное" его развитие в этом направлении связано еще и с тем, что содержательная работа программиста зависит еще и от кучи дополнительных сложностей и ограничений, чисто инженерного плана замечу, на которые математикам или плевать с большой колокольни, или они им совершенно непонятны и неизвестны.
Например, программисты не могут себе позволить так вольно обращатся с понятием "бесконечность", которая лежит в основе практически всех математических формализмов.
Замечу еще.
Что тут интересно пролучается.
Я, как программист, концептуально нахожусь в акурат посередке между вами и автором топика, потому как в силу специфики деятельности вынужден понимать смысл аргументации и вашей, и его. ;)
Reply
Я, как программист, тоже нахожусь посерёдке :)
Понятие бесконечности не лежит в основе, уж извините.
Reply
К сожалению, как и большинство программистов, для которых "будущее" сводится зачастую к освоению какой-то новой модной технологии.
//Проблема в том, что в математике связи нагружены семантически - в программировании я это замечаю разве что во всевозмиожном машинном обучении - но и то это пока, как это сказать, неявно и побочно.
8) разве это проблема?
Семантика в математике неотделима от личности самого математика, так как он одновременно является и субъектом ради которого делаются вычисления, так и объектом -- самим вычислителем.
Но ведь и в мозгах программист находится все такая же семантика.
А то что она может не так развита как в математике, то на это я уже указывал -- слишком молода пока еще область.
Больше напоминает времена Виета или там Ферма, чем математику в её теперешнем состоянии.
Частые холивары в её стенах, на тему процедурные против функциональных, машино-зависимые проти платформонезависимых, частное тому подтверждение... все равно что спор геометров с алгебраистами. ;)
А что до машинного обучения и вообще ИИ -- то это еще одна, еще более молодая ветвь, больше напоминающая алхимию пока. ;)
//Понятие бесконечности не лежит в основе, уж извините.
Даже если расширить "бесконечность и непрерывность"?
Или вы имели в виду какую-то конкретную подобласть?
Reply
Да, у программистов : имена являются не более, чем номами - только идентификаторами. В математике имена никого не замещают - являются именами объектов.
Я затруднюсь сказать, что лежит в основе :)
Одни скажут - пустое множество, мне ближе идея с объектами и стрелочками. Кольцо всегда как кольцо функций и прочая алгебраическая ерунда.
Reply
Да-а?
То есть формулы математики поймет даже африканский абориген не умеющий читать?
Или они будут работать даже если листик с этими формулами будет лежать на Луне?
Что это как не стихийный идеализм о котором здесь кажется упоминалось... :)
//имена являются не более, чем номами - только идентификаторами.
Да ну, конечно.
А такие понятия как файл, строка, ячейка памяти наконец, они конечно не являются именами объектов.
Дальше... массив, список, дерево... и т.д. и т.п.
//Я затруднюсь сказать, что лежит в основе :)
Тады не знаю. Я говорил о бесконечности и непрерывности не как о своем мнении, а потому что подчерпнул такое мнение у кого-то из классиков. :)
//Одни скажут - пустое множество, мне ближе идея с объектами и стрелочками.
Понятно пустое множество не само по себе, а с правилами операций над ним.
Но в принцыпе принимается -- теория множеств более основная чем что либо еще.
А объекты со стрелочками -- это уже парафия ООП. ;)
//Кольцо всегда как кольцо функций и прочая алгебраическая ерунда.
Об этом мне уже сложно судить. :)
Reply
И это несколько иное, нежели теория множеств.
Хорошо, ещё и обращение странное. Никто не пытается доказать-понять ячейку памяти.
Например, что такое очередь? Для программиста, в общем-то, странным занятием будет её изучать. Для математика - использовать.
Reply
Например, что такое очередь? Для программиста, в общем-то, странным занятием будет её изучать. Для математика - использовать.
А вот здесь не скажите.
Это опять вы со своего внешнего незаангажированного опыта говорите.
Конечно программист своих действий не доказывает, слава богу Дийкстра в этом не победил.
Но то что он "просто использует", это тоже не правда.
Знать теоритически что такое очередь, и применять её для решения какой-то задачи -- это две большие разницы как говорят в Одессе.
Все равно что просто читать книжки по математике и доказывать теоремы. ;)
Кроме того, программист чаще всего применяет не просто сами эти выхолощенные объекты, а их композиции, типа массивы строк или очереди деревьев.
Причем часто при довольно специфических ограничениях.
Что подразумевает уже некоторую исследовательскую работу.
Если хотите, в этом программирование даже сложнее математики.
Потому как программист имеет дело с объектами которые имеют собственную жизнь, постоянно меняют свое состояние.
Reply
Reply
Разве не хочет он работу математиков (и программистов докучи) заформализировать и поставить на жесткие формальные рейки техпроцессов получения результата?
На основании стандартизированных и лицензированных подходов... :) учитывая что именно такова, именно в этом состоит его профессиональная деятельность.
Думаю, я все же ближе к автору блога чтобы правильно понимать смысл его высказываний. ;)
Reply
Reply
Говорит же он о том, более внешнем, что ему ближе и понятнее, о стиле ведения работы в математике.
Ему кажется что то как математики работают сейчас, это хаотично и неэффективно.(охота и собирательство, как он говорит)
И у него есть пример как работают инженера (и он сам консультирующий инженеров), и он считает этот пример адекватным и годящимся для того чтобы и математики так же работали.
И по его мнению это будет лучше. :)
Reply
Leave a comment