Документ взят из кэша поисковой машины. Адрес оригинального документа : http://wasp.phys.msu.ru/forum/lofiversion/index.php?t18393.html
Дата изменения: Unknown
Дата индексирования: Mon Apr 11 13:15:15 2016
Кодировка: Windows-1251
Студенческий форум Физфака МГУ > Что изучает "наука" математика?
Помощь - Поиск - Пользователи - Календарь
Полная версия этой страницы: Что изучает "наука" математика?
Студенческий форум Физфака МГУ > Наука физика > Есть проблема
GodBlessInfinity
Что есть математика по отношению к другим наукам? Самостоятельная ли это наука, которая вполне себе независима от других, либо же это просто напросто язык, который сам по себе ничего не значит?
ivandasch
Это самостоятельная наука, которая часто имеет приложения в разных областях естествознания. Более того, математики могут развить новое направление, вдохновляясь сюжетами из физики, к примеру. Иногда математика напоминает игру в бисер по Гессе, это правда. Хотя результаты этой игры иногда имеют приложения, но играют в нее не ради приложений, в самом деле. Все разговоры о "языке" и прочем заводятся от незнания современной математики, но это, увы, данность, тут ничего не поделаешь.
GodBlessInfinity
Цитата(ivandasch @ 17.06.2011, 11:39) *
Это самостоятельная наука

Хорошо. Самостоятельные учения: Математика, Богословие, Экстрасенсорика, Астрология, Алхимия.

Цитата(ivandasch @ 17.06.2011, 11:39) *
результаты этой игры иногда имеют приложения

В средние века алхимики и знахари интуитивно, по наитию приходили к результатам, которые впоследствии были подтверждены химией и медициной. Делает ли это алхимию наукой?
ivandasch
2 GodBlessInfinity Математика не имеет дела с реальными объектами, математика изучает абстракции. Я же говорю, игра в бисер, если не читали эту книгу, то прочитайте непременно.
Цитата
В средние века алхимики и знахари интуитивно, по наитию приходили к результатам, которые впоследствии были подтверждены химией и медициной. Делает ли это алхимию наукой?

Это сравнение не отражает сути математики. В математике интуиция и наитие очень важны, как и везде, но математический результат никогда не будет признан, если он не пройдет проверки формальной логикой. Некоторые сюжеты в математике подсказаны естествознанием, но это лишь побуждает развивать абстрактную теорию, задача как раз состоит в том, чтобы как можно более абстрактно и общо описать эти сюжеты. Чем больше абстракции, стройности - тем теория более красивая. В самом деле, это практически и есть игра в бисер по Гессе.
ivandasch
Еще хотелось бы привести цитату Вейля, с которой я, в принципе, согласен
Цитата
Вопрос об основаниях математики и о том, что представляет собой в конечном счете математика, остается открытым. Мы не знаем какого-то направления, которое позволит в конце концов найти окончательный ответ на этот вопрос, и можно ли вообще ожидать, что подобный 'окончательный' ответ будет когда-нибудь получен и признан всеми математиками.

'Математизирование' может остаться одним из проявлений творческой деятельности человека, подобно музицированию или литературному творчеству, ярким и самобытным, но прогнозирование его исторических судеб не поддается рационализации и не может быть объективным
Free Researcher
Самостоятельная наука, да. Простой пример: мы определяем квадрат как прямоугольник с равными сторонами и вроде бы тем самым все про наш придуманный объект знаем и придумывать больше нечего. Однако, если в квадрате провести диагонали, то они пересекутся под прямым углом - что уже изначально не столь очевидно. Еще менее очевидно то, чему будет равна площадь каждого из четырех треугольников, на которые при этом разбивается тот квадрат, и уж тем более неочевидно то, будет ли существовать такое целое число N, чтобы сторону квадрата можно было выразить как N/M (M тоже целое) диагоналей.

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

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

Золотце?
ivandasch
2 Free Researcher Лингвистика все-же изучает по большей части реальные объекты, разве не так? Тут еще вопрос такой - является ли математика естественной наукой? Я лично считаю, что нет, математика ценна безо всякой связи с естествознанием.
d-n
Цитата
Хорошо. Самостоятельные учения: Математика, Богословие, Экстрасенсорика, Астрология, Алхимия.

Ты плохой человек! Бесконечность тебя накажет!
GodBlessInfinity
Цитата(ivandasch @ 17.06.2011, 13:15) *
Математика не имеет дела с реальными объектами

Как и любая религия. Математика рисует Алеф Нуль и говорит "это ваш Бог" - поклоняйтесь.
См. http://ru.wikipedia.org/wiki/Имяславие

Цитата(ivandasch @ 17.06.2011, 13:15) *
математика изучает абстракции.

Это и есть проблема математики.
Но возможен альтернативный подход - математика без абстракций, полностью основанная на физике.
Например профессор Уайлдбегер продемонстрировал как избавить геометрию от "бесконечности"
http://www.youtube.com/user/njwildberger#g...C58498718451C47

Тезис: математика - наука вроде астрологии, полная противоречий.

Цитата(ivandasch @ 17.06.2011, 13:15) *
В математике интуиция и наитие очень важны, как и везде, но математический результат никогда не будет признан, если он не пройдет проверки формальной логикой.

Обратимся к недавней истории с Перельманом:
>Несколько лет математики с мировым именем проверяли верность решения и пришли к выводу, что оно правильное. За это американский Математический институт Клэя присудил петербуржцу Премию тысячелетия.
Формулировка "математики с мировым именем проверяли верность решения и пришли к выводу, что оно правильное" - полностью по Людвику Флеку, Бурдье и др.: "научная истина" является результатом консенсуса. Как "на самом деле", мы не знаем (нам неоткуда взять это знание), но мы делаем утверждение на основание таких-то соображений, и правильность наших выводов о том, как на самом деле, определяется через согласие значимых ("математики с мировым именем") акторов, т.е. экспертов, а это уже вопрос о власти.

Цитата(Free Researcher @ 17.06.2011, 13:52) *
>мы определяем квадрат как прямоугольник с равными сторонами и...

посмотрите,
http://www.youtube.com/user/njwildberger#g...C58498718451C47

и вы поймете, что математика (т.е. "наука" об "абстрактном") для квадратов/треугольников не то что ненужна, но даже вредна.

Цитата(Free Researcher @ 17.06.2011, 13:52) *
Кроме того, совсем уж тупо ставить в один ряд математику (есть формальные правила и есть универсальный объект изучения), богословие (насчет правил вопрос спорный, а вот универсального объекта нет, для пришельцев с Тау Кита все наши священные тексты - просто тарабарщина), экстрасенсорику (ни правил, ни универсального объекта) и алхимию с астрологией (объект есть, правил нет).
Обосновать сможете? У алхимиков и астрологов есть

Ничуть. У вас нет объекта. У вас есть слово "Бесконечность", а богословов есть слово "Бог", у алхимиков - философский камень. Но действительно ставить вас, математиков, в один ряд с алхимиками будет оскорблением для алхимиков, ибо химия нашла способы, хотя и неэффективные, создавать золото из других материалов. А ваша утверждение, что для любого N найдется N+1 > N - это прямое признание креационизма (т.е. создание золота вообще из ничего).

Цитата(ivandasch @ 17.06.2011, 13:58) *
Лингвистика все-же изучает по большей части реальные объекты, разве не так? Тут еще вопрос такой - является ли математика естественной наукой? Я лично считаю, что нет, математика ценна безо всякой связи с естествознанием.

Разве математика - не раздел лингвистики? Тот частый случай, когда манипулируют бессмысленными словами по не более осмысленным грамматическим правилам (аксиомам).

Цитата(d-n @ 17.06.2011, 17:46) *
Ты плохой человек! Бесконечность тебя накажет!

И зачем было создавать новый профиль?
Mocker
Цитата(GodBlessInfinity @ 18.6.2011, 6:20) *
Как и любая религия.

Это необходимое, но недостаточное условие религии.

Цитата(GodBlessInfinity @ 18.6.2011, 6:20) *
Например профессор Уайлдбегер продемонстрировал как избавить геометрию от "бесконечности"

В геометрии и так нет бесконечностей. О чем Вы?
Я посмотрел первые пять лекций и не увидел никаких преимуществ по сравнению с традиционной геометрией.

Цитата(GodBlessInfinity @ 18.6.2011, 6:20) *
ибо химия нашла способы, хотя и неэффективные, создавать золото из других материалов.

Неверно. Эти способы нашла физика, основываясь на математике.

Цитата(GodBlessInfinity @ 18.6.2011, 6:20) *
А ваша утверждение, что для любого N найдется N+1 > N - это прямое признание креационизма (т.е. создание золота вообще из ничего).

Причем тут "создание"? В математике числа уже существуют. А операция прибавления единицы не создает никакого "золота".

Цитата(GodBlessInfinity @ 18.6.2011, 6:20) *
У вас есть слово "Бесконечность", а богословов есть слово "Бог", у алхимиков - философский камень.

Вы приводите некорректные аналогии. У математики с богословием и алхимией гораздо больше различий, чем сходств.

Цитата(GodBlessInfinity @ 18.6.2011, 6:20) *
а это уже вопрос о власти.

О хосспаде. Неужели существует заговор математиков? А где я могу получить свою долю?

Цитата(GodBlessInfinity @ 18.6.2011, 6:20) *
полная противоречий.

Где вы их видели?

Цитата(GodBlessInfinity @ 18.6.2011, 6:20) *
Тот частый случай, когда манипулируют бессмысленными словами по не более осмысленным грамматическим правилам (аксиомам).

Как показывает практика, и слова, и законы вполне осмысленны.
0chan
Господа, не тратьте время и силы.

Это - гиперактивный шизофреник, метастазировавший сюда из /c/ Нульчана (http://0chan.ru/c). Имеет фобии бесконечности и множеств, помешан на языке программирования LISP. Считает математику лженаукой и пытается заменить ее LISP'ом. Во всем (в том числе в непопулярности LISP'а) обвиняет жидов и их заговор.

Попробуйте, интереса ради, попросить его вычислить форму цепной линии, или, скажем, минимизировать линейный функционал на единичном шаре, или рассчитать спектр атома водорода. И посмотрите, что получится.
Wild Bill
Э-э-э... Я несколько в сторону, но кто говорит, что LISP непопулярен? На нем основано множество систем аналитических вычислений, AutoCAD и еще множество программ... Это я не для спора и обсуждения, просто для справки.
АИД
Цитата(Wild Bill @ 18.06.2011, 13:50) *
Это я не для спора и обсуждения, просто для справки.

О, а мне когда-то говорили, что формулы - это сокращенные записи выражений обычного языка. Поэтому в племени "мумба-юмба" наши формулы не работают. Неужто врали?
Flow
Господа, тему сложно читать, экран регулярно заплывает жиром
GodBlessInfinity
Цитата(Mocker @ 18.06.2011, 10:44) *
Это необходимое, но недостаточное условие религии.

If a `religion' is defined to be a system of ideas that contains unprovable statements, then Godel taught us that mathematics is not only a religion, it is the only religion that can prove itself to be one. -- John D. Barrow, Between Inner Space and Outer Space, Oxford University Press, 1999, p 88.

Suppose we loosely define a religion as any discipline whose foundations rest on an element of faith, irrespective of any element of reason which may be present. [Atheism], for example, would be a religion under this definition. But mathematics would hold the unique position of being the only branch of theology possessing a rigorous demonstration of the fact that it should be so classified. -- H. Eves, Mathematical Circles, Boston: Prindle, Weber and Schmidt, 1969.

Цитата(Mocker @ 18.06.2011, 10:44) *
В геометрии и так нет бесконечностей. О чем Вы?

А что такое "угол"? Что такое "квадратный корень из двух"?

Цитата(Mocker @ 18.06.2011, 10:44) *
Я посмотрел первые пять лекций и не увидел никаких преимуществ по сравнению с традиционной геометрией.

Продолжите молиться великим трансцендентным SIN и COS? -- ваше святое право. Только зачем требовать их знание от поступающих в ВУЗы?

Цитата(Mocker @ 18.06.2011, 10:44) *
Неверно. Эти способы нашла физика, основываясь на математике.

И где в этих способах "бесконечность"?

Цитата(Mocker @ 18.06.2011, 10:44) *
Причем тут "создание"?

А что постулирует http://en.wikipedia.org/wiki/Axiom_of_infinity ?

Цитата(Mocker @ 18.06.2011, 10:44) *
В математике числа уже существуют.

А что такое "числа"? Что понимается под "существуют"?

Цитата(Mocker @ 18.06.2011, 10:44) *
Неужели существует заговор математиков? А где я могу получить свою долю?

Вы и так ее имеет. Как писал великий русский алгебраист Манин: "математики хотят получать стипендии, гранты и тому подобное. Для этой цели они изобрели университеты и факультеты, где студентов обучают претендовать на открытия, которые математикам недоступны в силу самого характера их деятельности. В этом состоит сущность математического образования: это просто обучение претенциозности."

Цитата(Mocker @ 18.06.2011, 10:44) *
Где вы их видели?

Где Вы видели "Бесконечное Множество"?

Цитата(Mocker @ 18.06.2011, 10:44) *
Как показывает практика, и слова, и законы вполне осмысленны.

По какому адресу выслать Вам апельсин, чтобы Вы ежедневно высылали мне сотню апельсинов, изготовленных Вами при помощи "теоремы" Банаха-Тарского из присланного мной?


Цитата(0chan @ 18.06.2011, 11:36) *
Господа, не тратьте время и силы.

Это — гиперактивный шизофреник, метастазировавший сюда из /c/ Нульчана (http://0chan.ru/c). Имеет фобии бесконечности и множеств, помешан на языке программирования LISP. Считает математику лженаукой и пытается заменить ее LISP'ом. Во всем (в том числе в непопулярности LISP'а) обвиняет жидов и их заговор.

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

Ваш пост - сплошной ad hominem, посему отвечать Вам - терять время
Mocker
Цитата(GodBlessInfinity @ 20.6.2011, 10:18) *
If a `religion' is defined to be a system of ideas that contains unprovable statements, then Godel taught us that mathematics is not only a religion, it is the only religion that can prove itself to be one. -- John D. Barrow, Between Inner Space and Outer Space, Oxford University Press, 1999, p 88.

Suppose we loosely define a religion as any discipline whose foundations rest on an element of faith, irrespective of any element of reason which may be present. [Atheism], for example, would be a religion under this definition. But mathematics would hold the unique position of being the only branch of theology possessing a rigorous demonstration of the fact that it should be so classified. -- H. Eves, Mathematical Circles, Boston: Prindle, Weber and Schmidt, 1969.

И что Вы этим хотели сказать? Что математика основывается на вере? Не больше, чем любая другая наука.

Цитата(GodBlessInfinity @ 20.6.2011, 10:18) *
А что такое "угол"?

Это сектор плоскости, ограниченный двумя лучами. Численная величина, сопоставляемая углу - длина дуги единичной окружности, попадающей в этот сектор. Вполне конечная величина.

Цитата(GodBlessInfinity @ 20.6.2011, 10:18) *
Что такое "квадратный корень из двух"?

Число, квадрат которого равен двум. Тоже никакой бесконечностью даже не пахнет.

Цитата(GodBlessInfinity @ 20.6.2011, 10:18) *
трансцендентным SIN и COS

Вы думаете, топорное возведение в квадрат может устранить трансцендентность? Умоляю Вас, оно даже квадратные корни устраняет только по большим праздникам.

Цитата(GodBlessInfinity @ 20.6.2011, 10:18) *
Только зачем требовать их знание от поступающих в ВУЗы?

Затем, что это используется на практике. Даже в таких тривиальных вещах, как http://ru.wikipedia.org/wiki/%D0%93%D0%B0%...%82%D0%BE%D1%80

Цитата(GodBlessInfinity @ 20.6.2011, 10:18) *
И где в этих способах "бесконечность"?

Например, в кулоновском потенциале, который обращается в бесконечность в центральной точке. Например, в дифференциальных операторах, само определение которых подразумевает бесконечность.

Цитата(GodBlessInfinity @ 20.6.2011, 10:18) *
А что постулирует http://en.wikipedia.org/wiki/Axiom_of_infinity

Существование бесконечного множества.

Цитата(GodBlessInfinity @ 20.6.2011, 10:18) *
А что такое "числа"?

Элементы некоторого множества, удовлетворяющие списку требований.

Цитата(GodBlessInfinity @ 20.6.2011, 10:18) *
Что понимается под "существуют"?

Выводимость существования из аксиом.

Цитата(GodBlessInfinity @ 20.6.2011, 10:18) *
русский алгебраист Манин

Русский алгебраист Манин, конечно, имеет право на свое мнение, только не нужно на него ссылаться, как на истину в последней инстанции.

Цитата(GodBlessInfinity @ 20.6.2011, 10:18) *
стипендии, гранты и тому подобное

Это копейки. Особенно по сравнению с теми деньгами, которые вертятся в гуманитарной сфере. Если бы математикам нужны были золотые горы или какая-то власть, они были бы не математиками, а юристами.

Цитата(GodBlessInfinity @ 20.6.2011, 10:18) *
Где Вы видели "Бесконечное Множество"?

Вы никогда не слышали ультразвук. Следует ли из этого, что его не существует?

Цитата(GodBlessInfinity @ 20.6.2011, 10:18) *
По какому адресу выслать Вам апельсин, чтобы Вы ежедневно высылали мне сотню апельсинов, изготовленных Вами при помощи "теоремы" Банаха-Тарского из присланного мной?

Теорема Банаха-Тарского ни слова не говорит об апельсинах.
ivandasch
2 Mocker Действительно же, есть проблемы с аксиомой выбора. Так что апельсиновая ирония вполне к месту, увы.
Free Researcher
Цитата(0chan @ 18.6.2011, 11:36) *
Господа, не тратьте время и силы.

Это - гиперактивный шизофреник, метастазировавший сюда из /c/ Нульчана (http://0chan.ru/c). Имеет фобии бесконечности и множеств, помешан на языке программирования LISP. Считает математику лженаукой и пытается заменить ее LISP'ом. Во всем (в том числе в непопулярности LISP'а) обвиняет жидов и их заговор.

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

Цитата(Flow @ 19.6.2011, 1:42) *
Господа, тему сложно читать, экран регулярно заплывает жиром

Два чаю этим господам. drinks.gif Это явно Золотце же, он и на нульчане, и на /sci тиреча обитал.
Mocker
Цитата(ivandasch @ 20.6.2011, 16:00) *
2 Mocker Действительно же, есть проблемы с аксиомой выбора. Так что апельсиновая ирония вполне к месту, увы.

С тем же успехом можно считать проблемой умножение вектора на число. Оно ведь тоже позволяет удваивать объем.
С аксиомой выбора проблем нет, есть проблемы с тем, как она укладывается в голове. Хотя практическая польза от нее сомнительна, это да. Признавать ее или нет - вопрос вкуса, на самом деле.
Впрочем, к апельсину теорема Банаха-Тарского неприменима в любом случае, так как апельсин не является подмножеством
0chan
Цитата(GodBlessInfinity @ 20.6.2011, 10:18) *
Ваш пост - сплошной ad hominem, посему отвечать Вам - терять время

Ты не понял, я не собираюсь с тобой спорить: это невозможно в силу невладения тобой предметной областью. Я лишь предостерегаю окружающих от неразумной траты их времени.
0chan
Коллеги, еще раз: не следует дискутировать с сумасшедшим. Это все пройдено тысячу раз, ничего интересного вас не ждет. Типичный 'диалог' будет развиваться по двум сценариям:
1) Вы достаточно терпеливы, и отвечаете на все просьбы пациента привести определение того или иного термина. Рано или поздно вы упретесь в неопределяемые понятия типа множества. Тогда пациент сделает вывод, что математика - религиозная лженаука;
2) Вы недостаточно терпеливы. Тогда в ответ на очередное его 'define "для всех"' или 'define "существует"' сорветесь, и воскликнете: 'Да ты же упорот!' - тогда пациент засчитает вам слив.

Еще несколько фактов о больном. Написал на Лиспе свой DSL, представляющий лютую мешанину из TCL, OCaml и J (сам пациент упорно называет свое поделие 'лиспом'). На этом самопальном DSL написал вьювер для файлов Варкрафта, выдающий 9fps и вообще сильно тормозящий, по заявлению самого же автора. Вот типичный пример кода:

Код
loadUnitHlp path t
-> say "loadUnit $t"
-> u:b:("$path/unit.txt".fget |> map ?.asChr.{\Newline->\Space; x->x} |> parseST
         |> map [_ a b]~>[a.asStr b.eval] |> sort by=lhd)
-> if u."type" t=:u."type"   u."type"=:t
-> if p:u."proto"
    then {-> keep ?,1 !u |> merge (uts.p||(loadUnit "$(path.asDirname)$p"))
          -> bdel "proto" !u}
    else u."layer" =: tileMasks.(u."layer")
-> faces:(if f:u."faces" (do (bdel "faces" !u) f) (if u."building" 1 5))
-> "$path/gfxes/".ls |> map (drop dataFull.len+1 ?)
    |> map x~>[(split \. x.asFilename).lhd x] |> sort by=lhd
    |> bmap (loadUnitFrames tint=srcTint faces ?)
    |> {gs -> if gs.no? gs=:u."protoGfx"  u."protoGfx"=:gs
           -> !gs."default" || [dummyFrame]
           -> for [n _] in tilesets gs.n.{no? -> gs.n=:gs."default"}
           -> u."gfxes" =: (bdel "default" gs)}
-> (loadImage "$(drop dataFull.len+1 path)/icon.png" tint=srcTint) || uts.p."icon"
    |> {i:ye? -> u."icon" =: i}
-> ss:[] for dir in (ls "$data/units/$t/sounds/")
      ss.(split \/ dir |> ?.rtl.rhd) =: dir.ls
-> if ss u."sounds"=:ss
-> [@!u "dir"=dirs,0 "frame"=0
         "mask"=(map {[c x]-> if u.c x} mcs |> fold conc |> map tileMasks.?
                 |> [0@?] |> fold or)]
-> !u."size"   || [1 1]
-> !u."selSize"|| u."size"*32
-> !u."sight"  || 0


Недавно на Нульче пробегала задача: найти площать пересечения круга и квадрата. Все нормальные люди мгновенно взяли интеграл от sqrt(R^2-x^2), а пациент (который, по его же словам, не понимает определения интеграла) предложил отрендерить круг и квадрат в режиме AND, а потом подсчитать количество пикселей. Серьезно. Я полагаю, можно не продолжать?
Mocker
2 0chan
Я в курсе, что представляет собой Золотце. Но здесь, вне АИБ, он в невыгодном для себя положении, поскольку вынужден отвечать по существу. А если дискуссия идет по правилам, то любая демагогия и любой софизм могут быть опровергнуты. Я терпелив, очень терпелив. А вот сам подопытный, похоже, решил больше здесь не показываться. К чему бы это 15.gif
Для просмотра полной версии этой страницы, пожалуйста, пройдите по ссылке.
Русская версия IP.Board © 2001-2016 IPS, Inc.