psilogic | О природе математических идей и формул

Entry tags:

О природе математических идей и формул

Мой камрад

falcao очень любит пофилософствовать на тему "бытия" математических формул. Боюсь переврать его позицию, но пусть поправит, если перевру. Он считает формулы, а точнее идеи, которые эти формулы выражают, существующими объективно и независимо от людей в некотором гипотетическом мире идей - как-то так. Где-то у него была даже запись на эту тему, но яндексом не нашел, а недавно в комментах тема опять всплыла.

Понятно, что для Крокодила эта точка зрения - как красная тря... тьфу, это для быков... как толстая болонка, пришедшая на водопой.

Так давайте же покушаем вопрос: какова природа математики и математических идей?

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

Вдарим вульгарным материализмом по тигриному гуманизму!

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

Любая мысль по природе - это некий процесс в мозгу, включающий в себя, по всей видимости, серии электрохимических разрядов, пробегающих от нейрона к нейрону, плюс изменения состояния самих нейронов.

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

Замечу, что обе формулировки объясняют, из чего сделана мысль, но не определяют, что называется мыслью (предполагаю, что это и так понятно). Что-то вроде "стол сделан из дерева", так вот, мысль сделана из электрохимических разрядов.

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

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

Как получается математика

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

Мы привыкли к тому, что в мыслях много "вкусовщины", пристрастности: то, что Васе кажется красивым, Маше кажется некрасивым - в таком роде. Но нельзя сказать, что таково свойство всего мышления. Есть идеи, мысли, утверждения, в которых пристрастности меньше или больше.

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

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

Обратите внимание: для достижения стабильности нужно предварительное обучение. Но это обучение может потерпеть неудачу - у некоторых учеников стабильности добиться не получается, в том числе и на уроках математики. Их просто объявляют детьми, не имеющими математических способностей. Таким - прямая дорога в философы. ;)

В качестве эталона стабильности берутся учителя (а те равняются на самых выдающихся математиков-профессионалов). Результаты учеников должны совпадать с тем, что выдают учителя.

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

Ценность математики

Многие, наверное, в курсе, что в науке используется схема "модель - эксперимент". С одной стороны - некие формулы, рассуждения, числа - это модель, а с другой - результаты опытов в лабораториях или "на природе" и числа, которые получаются при измерениях приборами - это эксперимент. Модель должна совпадать с экспериментом в пределах погрешности:

модель (в голове) == /погрешность/ == эксперимент (в голове или вне головы)

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

Математика здесь слева - в моделях. Математики занимаются тем, что делают "заготовки" для моделей, которые потом используются в науке, в инженерном деле, в торговле. Эти заготовки ценны тем, что они стабильны. Стабильность, например, гарантирует, что самолет, рассчитанный при помощи математических формул, будет летать каждый день, а не только в те дни, когда философ Брехель соглашается с концепциями философа Устобрёхова.

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

Итоговый FAQ

1. Вопрос: Какова природа мысли? Ответ: мысль состоит из электрохимических процессов в мозгу.

2. Вопрос: Какова природа математической идеи? Ответ: первично - это мысль, вторично - запись мысли в памяти или на бумаге.

3. Вопрос: Почему математические идеи дают одинаковые (стабильные) результаты? Ответ: потому, что другие идеи не называют математическими, а людей, которые не способны давать одинаковые результаты в математике, не называют математиками.

4. Вопрос: Почему математика так полезна? Ответ: потому, что ее результаты стабильны, предсказуемы, а стабильность и предсказуемость очень часто требуется на практике.

5. Вопрос: Почему абстрактные математические модели так часто оказываются полезными на практике? Ответ: потому, что матеатики предпочитают модели, которые дают разнообразные следствия, а чем больше следствий, тем больше шансов, что они окажутся похожими на что-то, что есть в природе.

Threaded | Flat

Вы забавны.

между тем, в свое время сам факт, сама возможность существования математики, настолько свела с ума обитателей того самого времени, что и породила, по сути, философию
правда, не ту, которую вы называете философией, а ту, сталкиваясь с которой вы стараетесь философией не называть
ключевые слова для ликвидации безграмотности - пифагор, пифагорейцы, метафизика платона, ну и пусть физика платона тоже будет

Edited 2010-12-13 13:46 (UTC)

(удовлетворённо) угу! А теперь прикинь способы. Геометрические и символьные. С учётом записи.

>Какова природа мысли? Ответ: мысль состоит из электрохимических процессов в мозгу.

ЭХПроцессы - это носитель. Мысль, как и идея, сама по себе инвариантна относительно материального носителя.

>Почему математические идеи дают одинаковые (стабильные) результаты?

Вероятностные алгоритмы тоже мысли и идеи, но они дают разные результаты.

Не раскрыта природа стабильности результатов.

Любая мысль по природе - это некий процесс в мозгу, включающий в себя, по всей видимости, серии электрохимических разрядов, пробегающих от нейрона к нейрону, плюс изменения состояния самих нейронов.

Дальше не читал:-)

В ФАКе вообще ничего не отвечает на вопрос, поставленный falcao.
А так-то, конечно, веревка ≡ вервие простое.

> Пример стабильного утверждения: если русскому человеку предложить разборчивый русский текст и попросить сказать, что тут написано - результат будет один и тот же.

> Стабильность возникает не потому, что математика обладает какими-то мистическими свойствами, а потому, что среди всех мыслей, идей, утверждений специально выбираются те, которые дают стабильные результаты

То есть результат прочтения любого связного текста на понятном языке -- математическое утверждение. Интересная точка зрения, но заслуживающая отдельного обоснования :)

> Стабильность, например, гарантирует, что самолет, рассчитанный при помощи математических формул, будет летать каждый день

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

Вообще, был такой автор, МОрис Клайн и были у него пара книжиц на эту тему: "Математика: Поиск истины" и "Математика: утрата определенности".

"Математические идеи и вообще любые идеи - это тоже мысли."

Ложное оттождествление. Бывают мысли, которые выражают идеи. Точно также идея может быть выражены иным образом. В первую очередь материальным носителем: бумаге, компьютере, что хотите. Если вы считате, что $E=mc^2$ кодирует электрохимимческие импульсы в моей голове, то вы ошибаетесь. Хотя бы потому что вряд ли в вашей при "разархивации" это породит точно такие же импульсы, однако о чем речь вы поймете. Мысль - одно из возможных представлений идеи.

Если мы принимаем это определение:
"Любая мысль по природе - это некий процесс в мозгу, включающий в себя, по всей видимости, серии электрохимических разрядов, пробегающих от нейрона к нейрону, плюс изменения состояния самих нейронов."
то мысль имеет совершенно конкретную зависимость от носителя - мозга. А идея - нет.

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

я что-то не понял, физика == математика?

Одна беда: а что если математика к идеям и мыслям не имеет отношения?

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

"...1. Вопрос: Какова природа мысли? Ответ: мысль состоит из электрохимических процессов в мозгу..."
Самое интересное - это как и почему эти процессы зарождаются.
И может главное - зачем?
Вот к примеру, можно ли синтезировать данный процесс ( процесс мысли) в неком приборе?
Назовём его роботом.
Наверное можно. Пусть даже не сейчас, пусть даже лет этак через...ну, когда наука до этого дойдёт.
И вот в чём коренной вопрос: а так уж умны будут мысли робота по сравнению в человеческими?
И в чём будет ( а будет обязательно!) их принципиальное отличие?

Если Алиса и Боб оба считают, что 2*2=4, у них эта мысль одинаковая или нет?
Идея одна и та же, но процессы в мозгах совершенно разные (ибо мозги неповторимо разные).

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

По сути поста: мне, например, осталось неясным, какой исходный тезис вы оспаривали.

"формулы, а точнее идеи, которые эти формулы выражают, существующими объективно и независимо от людей в некотором гипотетическом мире идей - как-то так." - это..?

А какой пример следствия из денного утверждения?
Например, "число Пи существует само по себе во вселенной"?

>Любая мысль по природе - это некий процесс в мозгу, включающий в себя, по всей видимости, серии электрохимических разрядов, пробегающих от нейрона к нейрону, плюс изменения состояния самих нейронов.

Это рабочая гипотеза, пока не доказанная. Можно лишь утверждать, что мышление как процесс сопровождается электрохимическими разрядами в мозгу. Как ветер сопровождается качанием деревьев.

Еще философский наброс:
наличие (существование) мысли для меня самоочевидно. А существование всего остального, включая мозг и окружающую реальность, я могу лишь воспринимать в виде опять же мысли, и мысль эта вторична, будучи лишь логическим выводом из мыслей-ощущений. В этом отношении математическая идея sin(2Pi)=0 столь же реальна, как и идея солнца (а солнце мы не можем воспринимать иначе как идею, потрогать-то его нельзя).

Я не буду отвечать сразу на всё, а сосредоточусь пока на самом первом Вашем тезисе.

Вот тут выше совершенно правильно заметили, что мысль (точнее, то, что под ней обычно понимают) всего лишь сопровождается "процессом в мозгу". Допустим, что физиологи как следует изучили "моск" и выяснили, что конкретной мысли (пусть это будет хоть 2x2=4, хоть теорема Пифагора) соответствует нечто, связанное с вполне понятными и конкретными процессами. Но что это в принципе может дать?

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

Потом всё это перевели в машинные коды и запустили на разных компьютерах. Внутри них происходят вполне понятные и "отслеживаемые" процессы: какие-то нули и единички каким-то хитрым образом меняют друг друга в памяти. Можно ли утверждать, что "алгоритм" -- это и есть вот это самое "мельтешение", и что ответы у разных машин совпали из-за того, что компьютеры имеют "общего эволюционного предка"? Или потому, что выдаваемые ими результаты "стабильны"? То есть они как бы "волею судеб" совпали, а потом это дело взяли и "узаконили"?

Я пока на этом остановлюсь, но добавляю одну вещь по поводу различения понятий "мысль" и "идея". В моей терминологии, "идея" есть нечто принципиально "имматериальное", а "мысль" я определяю как "уловленную идею". Грубо говоря, число "пи" можно понимать как "идею", которая "принадлежит Вечности". И она могла быть "уловлена" какими-то "сознаниями" помимо нашего. Когда я думаю о числе "пи" тем или иным способом, то у меня в голове возникают определённые мысли. Тут разница очевидна, потому что "идея" как бы "одна на всех", а мысли у всех разные, хотя и "схожие". Потому что моя голова -- это моя голова, и в неё идут одни "физические процессы", а в Вашей происходит что-то пусть даже "аналогичное", но другое. Просто в силу того, что Тигр не "тождествен" Крокодилу! :)

ТО, что мысль это результат работы мозга, это конечно правильно.
НО настораживает как вы просто сравниваете импульс в мозгу и мысль(т.е. физиологию и психическое)
и ставите знак равно. В науке нам показали, что вот посмотрите на монитор где изображен ваш мозг: вот вы подумали об облачке и вот активность мозга в это время, а вот вы подумали, как вы думали об облачке и вот. Как то так(не спорю есть много еще чего).
Сеченов рассматривал физиологические явления как основу психических, он не отождествлял психику с рефлексами (он сам предупреждал об этом). А вот на конференции ученых академии наук в 50х ему приписали рефлекторную концепцию психики, отождествлявшую психику с рефлексами(название книги"Рефлексы головного мозга" прочитали, а дальше решили не читать видимо).
ну это так уточнения.

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

5: философия давно (типо 2400 лет таму назад) дала определенный ответ - "двойка образует мир"; самим математикам (почему-то, я не понимаю) не свойственно понимать математику знанием миробразующего уровня - они придерживаются иллюзии, что математические решения носят субъективный характер.

А так вся органическая номенклатура в химии, по сути - чистая математика...

Если я правильно понимаю, в таких случаях предполагается, что пресловутая стабильность результатов обеспечивается структурой окружающей среды, а не структурой мозга математика :) И в этом смысле "существует независимо".

Я только по пятому пункту не согласен. Математики строят модели не произвольно в надежде, что таковые случайно будут иметь следствия, полезные на практике. Они намеренно строят полезные модели. Аксиоматика, лежащая в основе таких моделей, не под действием грибов придумана, а выбрана так, чтобы аксиомы эти отражали некие наблюдаемые свойства Вселенной. Это в основном. Бывает, что любопытсво уводит слегка в сторону, но выводимые следствия оказываются полезными впоследствии. Ну и есть, конечно, категория так называемых чистых математиков, очень похожих в своей чистоте на философов. Они любят свои модели за их "внутреннюю красоту" и ни за что больше. О их "выдающихся трудах" мы узнает только если случайно(!), независимо от желания автора, они оказались полезны, может быть через сотню лет. Сколько таких внутренне красивых моделей канули в Лету за эту сотню лет - никто не считал. Примерно как у философов, которые, впрочем, "угадывают" чаще, поскольку пишут неопределенно.

(deleted comment) (Show 2 comments)

6. ...?
7. Profit

Threaded | Flat

Page 1 of 2

no subject

no subject

no subject

no subject

no subject