Математика как естественная наука
Dec. 25th, 2014 04:05 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
Потратил полночи и получил огромное удовольствие, следуя за мыслью
schwalbeman и его оппонентов и собеседников.
Математика как естественная наука
Математика как естественная наука 2
Основная полемика разворачивается с философом Болдачевым, который на протяжении многих лет искусно и последовательно отстаивает в ЖЖ позицию, что математика -- не наука (в том смысле, что математические теории не фальсифицируемы, так как изучают идеальные конструкции внутри самой математики). Несколько лет назад я с ним тоже полемизировал на эту тему в журнале у И-П, но на куда более примитивном уровне (мне тогда казалось, что этого достаточно). Наверное, рано или поздно он каждого попытался обратить в свою веру :)
Основной тезис schwalbeman (интересно, это переводится как заглатывающий?) состоит в том, что математика изучает математические объекты точно так же, как физика -- объекты реального мира. Математика, как и физика, строит математические модели для изучения свойств объектов, и соответствие между моделями и объектами отнюдь не тождественное. Различие между математикой и физикой только в природе объектов. Поэтому если физика естественная наука -- то и математика такая же естественная. Уточнению деталей этой аналогии и ее применимости посвящена основная дискуссия.
Кстати, это понимание полностью согласуется с тем, что приводит Манин в книге "Математика как метафора": "мы изучаем идеи, с которыми можно обращаться так, как если бы они были реальными предметами"
P.S. Спасибо
ninaofterdingen за наводку на интереснейший журнал. Как же я его раньше-то пропустил!?
![[livejournal.com profile]](https://www.dreamwidth.org/img/external/lj-userinfo.gif)
Математика как естественная наука
Математика как естественная наука 2
Основная полемика разворачивается с философом Болдачевым, который на протяжении многих лет искусно и последовательно отстаивает в ЖЖ позицию, что математика -- не наука (в том смысле, что математические теории не фальсифицируемы, так как изучают идеальные конструкции внутри самой математики). Несколько лет назад я с ним тоже полемизировал на эту тему в журнале у И-П, но на куда более примитивном уровне (мне тогда казалось, что этого достаточно). Наверное, рано или поздно он каждого попытался обратить в свою веру :)
Основной тезис schwalbeman (интересно, это переводится как заглатывающий?) состоит в том, что математика изучает математические объекты точно так же, как физика -- объекты реального мира. Математика, как и физика, строит математические модели для изучения свойств объектов, и соответствие между моделями и объектами отнюдь не тождественное. Различие между математикой и физикой только в природе объектов. Поэтому если физика естественная наука -- то и математика такая же естественная. Уточнению деталей этой аналогии и ее применимости посвящена основная дискуссия.
Кстати, это понимание полностью согласуется с тем, что приводит Манин в книге "Математика как метафора": "мы изучаем идеи, с которыми можно обращаться так, как если бы они были реальными предметами"
P.S. Спасибо
![[livejournal.com profile]](https://www.dreamwidth.org/img/external/lj-userinfo.gif)
no subject
Date: 2014-12-25 10:55 pm (UTC)Физика (и прочие естественные науки) строит математические модели для изучения свойств объектов только потому, что обычно это оказывается достаточно эффективным методом. Но не более того. Построение моделей не является ни самоцелью физики, ни необходимой для реализации ее целей стадией, и в ее истории было не так уж мало случаев, когда в той или иной области моделирование как таковое попросту отсутствовало, дело сводилось лишь к сбору и, возможно, некоторому обобщению экспериментальных фактов.
Поэтому математика действительно имеет очень много общего с теоретической физикой. Но последняя - это только часть физики. Важная, полезная, но, вообще говоря, необязательная.
Теоретически, теория и практика...
Date: 2014-12-25 11:34 pm (UTC)На самом деле, математика - это заметная часть физики и существенно зависит от физики. Более того, математика - это одно из свойств физических явлений. Грубо говоря, математика момента большого взрыва несколько отличалась от "нашей" математики и 2*2 там могло быть равно чему угодно, а параллельные прямые пересекались бесконечное количество раз :-) Это если считать, что большой взрыв был и мы не имеем дело со снижением частоты электромагнитного сигнала с расстоянием.
Re: Теоретически, теория и практика...
Date: 2014-12-26 11:08 am (UTC)Грубо говоря, математика момента большого взрыва несколько отличалась от "нашей" математики
Откуда сие следует?
Ну хотябы из того, что...
Date: 2014-12-26 12:20 pm (UTC)Re: Ну хотябы из того, что...
Date: 2014-12-26 01:00 pm (UTC)Параллельные прямые в любом случае не пересекаются. Пересекаться могут параллельные геодезические, и Большой Взрыв тут, вообще говоря, тоже не при чем. Вы как-то смешиваете воедино модель и математический аппарат для работы с ней, причем, что забавно, относите все это к моменту, который сам по себе является в первую очередь артефактом модели (возможно, и имеющим физический смысл, а возможно - и нет).
Re: Теоретически, теория и практика...
Date: 2014-12-26 12:23 pm (UTC)Это неверно. Математика -- это принятый нами язык описания физических явлений и конструирования моделей, а вовсе не их свойство.
Можно спорить, но не буду.
Date: 2014-12-26 01:53 pm (UTC)Количество определений "что такое математика" - пожалуй одно из самых больших для научной дисциплины.
Очень большие куски математики уже не относятся к моделированию физических процессов, а чисто для красоты построений и рассуждений. Та же современная теория множеств имеет уже следовые количества физического смысла.
С другой стороны, математика вполне заметным образом влияет на физику. Вспомнить, хотябы, исходную формулировку закона Ома (согласно студенческому фольклеру): "если в специально сконструированной электрической цепи произвести серию измерений, то, после внесения соответствующих поправок, выяснится, что ток в цепи приблизительно пропорционален напряжению и приблизительно обратно пропорционален сопротивлению". А сейчас что? I=U/R. И, что интересно, никаких поправок вводить не надо и совпадает на довольно больших сериях измерений. Причем, исходно говорилось, что зависимость нелинейная, но в последнее время говорится, что для металлов и их сплавов зависимость линейная в достаточно широком диапазоне значений. И вот и думай после этого, толи приборы стали такие точные, толи физика явлений поменялась за последние 200 лет?
Re: Можно спорить, но не буду.
Date: 2014-12-26 02:14 pm (UTC)Вот с этим надо аккуратнее.
Date: 2014-12-26 02:45 pm (UTC)Re: Вот с этим надо аккуратнее.
Date: 2014-12-26 03:07 pm (UTC)Трудно назвать квантование "чисто математической концепцией". А что именно сдвинул с мертвой точки и т.п. корень из минус единицы?
Исходно квантование - это...
Date: 2014-12-26 03:30 pm (UTC)А корень из минус единицы - очень нужная штука в квантовой механике, в дифференциальных уравнениях, описывающих массу физических процессов, в теории вероятности, которая является инструментом, опять же, в куче разделов физики.
Кстати, интересное наблюдение, которое может говорить о том, что математика - все же естественная наука: согласно официальным годам жизни, начало ТФКП случилось в 18-м веке, большая часть теорем и способов работы с комплесной переменной были сформированы и доказаны к середине 19-го века, а реальное массовое применение этого аппарата в физике началось уже где-то в конце 19 начале 20-го века. Необычно. Все же как-то привычнее считать, что новые данные из физики вызывают разработку новых методов в математике.
Re: Исходно квантование - это...
Date: 2014-12-26 05:51 pm (UTC)Да, штука очень полезная. Как и вся математика - как инструмент. В частности, в любом описании от функций комплексной переменной можно избавиться. Это будет неудобно, но все же вполне возможно.
Чтоб я знал все...
Date: 2014-12-27 01:05 am (UTC)На самом деле, окружающий мир устроен намного проще, чем принято считать :-)
Но. Одна из легенд научного околофизического сообщества состоит в том, что постоянная Планка Планком исходно была изобретена в качестве константы, домножив на которую один из параметров популярной на тот момент модели мироустройства, система "вселенная" становилась стабильной и не происходило "тепловой смерти". А уже потом обнаружилось, что эта постоянная применима и необходима в вычислении зависимостей энергии от частоты для элементарных частиц.
По поводу комплексной переменной... Может быть в "описании" от нее и можно избавиться, но вот ряд задач из теории вероятностей и теории оптимального управления без комплексного переменного не имеет решения. Ну или такое решение пока не найдено. (вы меня извините, я хоть и "математик" немного согласно диплому, но это было больше 20 лет назад :-) всех деталей в 4:04 не помню, а гуглить - лень :-) )
Re: Чтоб я знал все...
Date: 2014-12-27 08:56 am (UTC)Дело не в деталях. Подобная ситуация, вообще говоря, невозможна: все результаты, полученные в рамках ТФКП, допускают переформулировки, в которых комплексные числа явно упоминаться не будут (грубо говоря, каждая комплексная переменная переделывается в пару вещественных). Это, конечно, неудобно, но вполне реально. Как следствие, решение у задач есть, просто его сложнее найти.
Re: Вот с этим надо аккуратнее.
Date: 2014-12-26 10:19 pm (UTC)Даже если допустить, что это так (а это не так), это не противоречит тому, что математика -- язык. Появился язык -- появилась возможность описать на нем то, что раньше описать было нельзя или сложно.
> Та же концепция корня из минус единицы.
Вы меня извините, но это все равно, что сказать, что таблица умножения позволила сдвинуть физику с мертвой точки. Оказался аппарат комплексных чисел удобным -- стали использовать.
Если б все было так просто...
Date: 2014-12-27 01:35 am (UTC)И еще раз скажу ((с) Козьма Прутков), язык - это лишь одна из частей математики. Там еще есть несколько подходов к доказательствам. А еще же есть раздел "логика", которая тоже может быть разная. И от этого тоже меняются результаты применения языка "математики". А еще есть разные подходы к аксиоматике, которая лежит в основе всего. И есть основания полагать, что не все аксиомы, лежащие в основе математики, преподаваемой в школе и университетах, являются истинными. Более того, есть несколько весьма полезных направлений в математике, которые построены на "а давайте допустим что вот эта аксиома не является аксиомой."
И да, таблица умножения - сильно изменила тогдашнюю физику. Еще буквально 200 лет назад очень многие "ученые" не использовали концепцию нуля. (какая там нафиг бесконечность?) И, что кажется еще более парадоксальным, не использовали единицу в вычислениях. От слова "совсем". И да, появление математики с нулями, единицами и бесконечностями позволило сдвинуть с метрвой точки практически все "естественные науки".
Re: Если б все было так просто...
Date: 2014-12-27 10:03 am (UTC)Мы начали с того, как математика относится к физике (помните ваше: математика - это одно из свойств физических явлений). Я возражаю, что математика для физики -- это язык, познавательный аппарат (это не одно и то же, но, как известно, язык определяет сознание). Причем, язык не единственный. Качественные описания играют в физике не меньшую роль, в чем меня убедил pphantom в соседней ветке.
Математика вообще -- это гораздо более широкое понятие, в которое входят и различные математические дисциплины, и методы, и университетские курсы и прочее. Но основное все же -- это познавательный аппарат. И если вернуться к теме моей записи, то этот познавательный аппарат используется одинаково и в физике и в чистой математике, только прилагается к объектам разной природы.
Про аксиомы Вы и вовсе написали оксюморон. Аксиома -- она по определению истинная. Более аккуратно говорить, что можно строить разные аксиоматические теории, и тогда утверждения, которые являются аксиомами в одной теории, могут быть неверными в другой теории. То же самое насчет неклассических логик.
Ноль стал использоваться в Европе с XV века, а актуальная бесконечность не позднее Ньютона с Лейбницем. Поэтому насчет 200 лет назад Вы несколько преувеличили. Знаменитой формуле Эйлера и той уже 300 лет :)
Мне кажется, что за 20 лет у Вас немного все перемешалось. У меня тоже в дипломе 15 лет назад написано "математик", и я отчетливо понимаю, что еще 5 лет назад я математику чувствовал лучше, чем сейчас. Увы, без практики все теряется.
no subject
Date: 2014-12-26 11:31 am (UTC)То же самое можно сказать и про математику когда-то. Вон, Кордано и ему подобные просто пытались решать уравнения третьей и более высоких степеней. Без всяких моделей и теорий. Модели и теории появились много позже.
Поэтому имеет смысл говорить о современной математике и физике, конечно.
no subject
Date: 2014-12-26 11:39 am (UTC)no subject
Date: 2014-12-26 12:18 pm (UTC)no subject
Date: 2014-12-26 12:48 pm (UTC)Только предсказательной силой. А возникла она в результате развития теории или определяется удачными скачками с бубном - несущественно.
Теорию невозможно создать без моделей.
Вообще говоря, тоже нет. Чисто эмпирические теории встречаются достаточно часто.
Но наукой физику делает не это, а физические теории.
В том-то и дело, что нет. Наука - это способ логически неправомерного :) обобщения экспериментальных данных на другие похожие случаи. Теории позволяют улучшить критерии похожести, увеличив эффективность этого процесса, но обязательными не являются.
no subject
Date: 2014-12-26 01:07 pm (UTC)Насчет не необходимости соглашусь. Есть теории, построенные как эмпирические обобщения, но по-моему в современной физике таких нет. Или есть?
Все же вернемся к физике. Я могу, конечно, ошибаться, но физика стала наукой именно тогда, когда появились физические теории. До этого физику не слишком отличали от философии.
no subject
Date: 2014-12-26 01:46 pm (UTC)Есть ли пример науки, где предсказательная сила обуславливалась бы не теорией, а чем-нибудь еще?
Социология, экономика, психология. Во всех трех полноценные теории (не являющиеся в большой степени эмпирикой) либо практически отсутствуют, либо сравнительно слабо развиты.
Есть теории, построенные как эмпирические обобщения, но по-моему в современной физике таких нет.
Есть, и очень много. Вы, по-видимому, совершаете типовую ошибку (впрочем, вполне естественную из-за специфики популяризации), относя к "современной физике" только некоторые разделы физики высоких энергий. На самом деле это небольшая часть физики, причем как раз ее теоретические разделы в контексте нашей беседы являются исключительно неудачным примером, поскольку уже достаточно давно являются в большей степени математикой, чем физикой.
А вообще эмпирические обобщения совершенно типичны для геофизики, астрофизики, биофизики, физики полимеров, физики твердого тела и т.д и т.п. - в общем, практически для всех разделов, где получение экспериментальных или наблюдательных данных является сравнительно дешевой процедурой. Все меняется, когда, условно говоря, на один экспериментальный результат приходится полторы тысячи теоретиков, но это скорее вынужденная ненормальность, чем естественное состояние дел.
Все же вернемся к физике. Я могу, конечно, ошибаться, но физика стала наукой именно тогда, когда появились физические теории. До этого физику не слишком отличали от философии.
Обычно считается, что наука в современном смысле слова (причем не математика и не философия) возникла как результат более-менее четкой формулировки идеи эмпиризма Бэконом. А первые более-менее "модельные" физические теории возникли в XVIII веке.
no subject
Date: 2014-12-26 09:46 pm (UTC)Если я и совершаю ошибку, обобщая мои знания о физике на физику вообще, то это вина школы и университета :) Вся школьная физика, и физика в нефизических ВУЗах, -- это физика, подкрепленная математическим теориями: механика от Ньютона до ОТО, плюс электродинамика, оптика и т.д.. Поэтому для мне удивительно слышать, что в наше время есть еще какая-то другая, "не математическая" физика. То есть я понимаю, что возможны качественные описательные теории, в той же астрофизике, но как только возникает желание что-то описать количественно, то сразу математические модели.
Мне правда интересно, какие есть эмпирические теории в перечисленных Вами областях физики. Я читал Вернадского, он действительно предлагал эмпирические геофизические теории, но это же было 100 лет назад.
no subject
Date: 2014-12-26 10:52 pm (UTC)Да, вполне возможно. Обычно принято делать упор в изучении физики именно на модели - так просто проще, да и просто наличие хорошей модели означает существование компактного описания, которое можно достаточно быстро изложить. В случае университета, наверное, сказалась еще и специфика факультета: если уж физика для чего-то понадобится, то, скорее всего, столкнуться придется именно с моделями.
Ну, например, в геофизике/геологии по большому счету нет теорий формирования месторождений полезных ископаемых, хотя соответствующие попытки (в первую очередь для нефтяных и угольных) делались неоднократно, обходятся геологоразведкой и эмпирическими соображениями, мало отличающимися от поиска "по приметам". В астрофизике качественно достаточно неплохо понятны причины вспышек сверхновых звезд, однако приличных количественных теорий нет, и даже с попытками численного моделирования соответствующего процесса все в целом плохо. Механизмы генерации магнитного поля (например, Земли или Солнца) качественно понятны, но количественных моделей нет или они неудачны. Есть некоторые теории сверхпроводимости, но у всех есть серьезные известные проблемы, и в целом проще сказать, что более-менее нормальной теории нет (хотя знаем мы об этом явлении весьма много). И т.д. и т.п.
no subject
Date: 2014-12-26 11:30 pm (UTC)Я не спорю. Но к ним критерии другие. Вообще, мне кажется что слово "наука" слишком перегружено, и, может быть, более точно в некоторых контекстах стоит говорить о способах познания.
Спасибо за примеры, я был уверен, что за ними стоят какие-то количественные описания, позволяющие делать количественные прогнозы и предсказания. Но при некотором размышлении очевидно, что первыми появляются эмпирические теории. И совсем не обязательно, что их удается математизировать.
no subject
Date: 2014-12-27 02:23 pm (UTC)В том, что модели можно плодить абсолютно без экспериментальных данных, с последующей надеждой их получить, или даже без неё.
В экономиксе это делается сплошь и рядом, да и в физике тоже частенько - взять хотя бы мультивёрс. Но, как я уже говорил Вам ранее, штамповка моделей без дальнейшего соотнесения с экспериментом - это не естественнонаучная деятельность, даже если занимаются ей физики. То есть, такой вот "неестественнонаучный урматфиз".