avva: (Default)
[personal profile] avva
Я написал небольшую заметку по-английски о том, как я вижу некоторые аспекты философии математики и применение математики к физическому миру. Вот ее перевод на русский язык:

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

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

1. Первая ошибка состоит в том, что путают счет и пространственное сближение. Эти две операции мы обычно проводим в уме совместно, потому что так мы учились считать - наблюдая наборы вещей, стоящих рядом - но вовсе необязательно их совмещать. Когда мы говорим "возьми два яблока, добавь еще два яблока, посчитай - теперь у тебя четыре яблока", мы автоматически представляем в уме, как два дополнительных яблока становятся рядом с двумя первоначальными - но это всего лишь удобная уловка, без которой можно легко обойтись. Я сейчас покажу, как. Представьте, что я попросил вас посчитать вместе двух овец в Англии и еще двух в Австралии. Вы представляете в уме английских овец и считаете: один, два. Теперь воздержитесь от соблазна телепортировать австралийских овец и поставить их рядом с английскими; вместо этого слетайте в уме за мгновение в Австралию и посмотрите на австралийское поле - вон они там стоят, три, четыре. Вот вы и посчитали 2+2 овцы, не совмещая их вместе в пространстве, ни в реальной жизни, ни в уме. Это совершенно нормальный способ счета, которым в отдельных ситуациях мы пользуемся все время - скажем, если кто-то попросит вас посчитать, сколько стульев стоит в большой и заполненной мебелью комнате, вы не будете совмещать все эти стулья перед собой в уме, вы просто окинете взглядом комнату и пересчитаете их по одному.

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

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

Обычно нет особой причины настаивать на этом - нет никакого вреда в том, чтобы представлять реальность состоящей из яблок, камней, облаков и чего угодно еще. Но представьте себе теперь такой аргумент, который нередко встречается: "Математические истины: придуманы ли они людьми или существуют независимо от нас? Было ли 2+2=4 верным до того, как появились люди и изобрели это равенство? Я думаю, что задолго до существования людей, на безжизненной Земле миллирады лет назад, когда два камня выкатились на пляж, на котором уже лежало три камня, всего на пляже оказалось пять камней". Что происходит в этой истории, если подробней присмотреться? Ну во-первых, тут есть использование пространственного совмещения, о котором я писал выше: нам проще представить два камня, вкатывающихся на пляж, чем складывать в уме три камня и еще два из другого места. Но оставим это, еще до самой операции сложения, присмотритесь к этим трем камням, которые лежат на пляже. Что это за объекты? Какие мы вообще имеем основания сказать, что на пляже лежит "камень"? Там есть какая-то куча атомов разных видов, и рядом с ними еще много других атомов (воздух, песок итд.) с несколько другими плотностями и другим поведением, но между всеми этими атомами нет никакой определенной границы. На атомном уровне есть постоянный обмен атомами между всеми этими местами. Для того, чтобы сказать "это дискретный объект камень", вам нужно как-то научиться игнорировать эту неизбежно размытую границу - например, выбрав определенную градацию шкалы и сгладив все, что ниже ее. В нашем восприятии окружающего мира за нас эту работу выполняют наши грубые чувства; но в этой гипотетической картинке Земли далекого прошлого нет ни нас, ни наших чувств. Реальность не знает никаких "камней" и не интересуется ими - в ней есть только атомы.

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

Все вышесказанное не означает, что математика "выдумана", а не "открыта"; мой анализ оставляет место как для платонизма, так и для формализма, на мой взгляд. Просто пример пяти камней на пляже до появления человечества не помогает разрешить этот вопрос: без дискретизации "по-человечески" нет смысла у утверждения о том, что там было пять камней, а не просто куча атомов. Все равно может быть верным - и я лично считаю верным - что законы, определяющие поведение дискретных объектов, хоть они обычно и являются ментальными объектами, универсальны, и что 2+2 равно 4 и до того, как появились люди, и у всех возможных инопланетян.

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

Date: 2012-11-12 10:19 pm (UTC)
From: [identity profile] huzhepidarasa.livejournal.com
Мы почему-то уверены, что карты работают, и что следующая карта будет лучше предыдущей. Угол падения равен углу отражения. Мы уверены, не измеряя никаких углов, что если их измерить, они будут равны, даже не зная, чему именно. Почему? Рабочая гипотеза: есть отдельная от карт территория, которой эти карты более или менее точно соответствуют. Но это необязательно; можно считать, что территория — это свойство карт работать.

Date: 2012-11-12 10:26 pm (UTC)
From: [identity profile] ibsorath.livejournal.com
Между этими двумя подходами я вижу существенную разницу. Во втором случае понятно, о чём идёт речь. А в первом - не понятно (потому что непонятно, в каком ещё смысле, кроме того, что Вы предложили во втором варианте, может существовать отдельная от карт территория)

Date: 2012-11-13 07:02 am (UTC)
From: [identity profile] huzhepidarasa.livejournal.com
1. Все возможные наблюдатели (или их большие группы, ага) приходят к принципиально одинаковым картам.
2. У разных классов наблюдателей карты принципиально разные, несовместимые (но все работают).

Тот факт (пока гипотеза), что все работающие карты одинаковы, ― это свойство чего-то. Чего? Уж никак не карт.

Date: 2012-11-13 08:53 am (UTC)
From: [identity profile] ibsorath.livejournal.com
Погодите, а "принципиальная одинаковость" - это что такое? Изоморфизм? Так это свойство карт, вообще-то.

Date: 2012-11-13 10:11 am (UTC)
From: [identity profile] huzhepidarasa.livejournal.com
Изоморфизм двух карт ― это свойство только этих двух карт, изоморфизм всех хороших карт вообще (предполагаемый) ― свойство (по-видимому) множества всех карт, которое не карта (это множество можно назвать территорией). Здесь есть трудность, конечно. Ваши карты существуют не сами по себе, а только как объекты на моих картах. Ну так и неудивительно, что они согласованы.

Date: 2012-11-13 10:27 am (UTC)
From: [identity profile] ibsorath.livejournal.com
А тут как раз всё понятно. Множество карт мы можем назвать "территорией", но это будет территория в несколько другом смысле, чем изначально.

Уровень "множества карт" - эток ак раз уровень ещё более абстрактный, чем уровень конкретной карты. Он от этого не становится чем-то плохим, конечно. Но и "истинной реальностью" он тоже не становится))

Date: 2012-11-13 10:39 am (UTC)
From: [identity profile] huzhepidarasa.livejournal.com
Почему в другом смысле (в каком именно), и почему не становится? Если не принимать во внимание трудность, о которой я говорил, множество всех карт неотличимо от реальности O:-)

Date: 2012-11-13 10:56 am (UTC)
From: [identity profile] ibsorath.livejournal.com
Да потому, что множество не существует отдельно от своих элементов. Множество - это и есть (в определённом смысле) его элементы, только рассматриваемые "единовременно".

Так что ваша Реальность, при таком определении, просто не будет иметь ниакого смысла, пока не будет её составляющих - то есть карт. А тут толкуют о какой-то "реальности, существующей отдельно от наших восприятий и вне сознания")))

Date: 2012-11-13 01:56 pm (UTC)
From: [identity profile] huzhepidarasa.livejournal.com
Я не понимаю, в чем трудность. Ну да, множество ― это его элементы. Но это не элемент, а элементы. Существенно то, что они все изоморфны (предположительно). Если они неизоморфны, то реальности нет. Если изоморфны, то есть (их изоморфизм и есть реальность, если опять же не учитывать маленькой трудности). Но это все теория, карта-то у нас одна.

Date: 2012-11-13 02:35 pm (UTC)
From: [identity profile] ibsorath.livejournal.com
а тут и нет трудностей, ни у вас, ни у меня.
трудности у тех, кто толкует о "объективной реальности" не в Вашем смысле слова, а в вот этом непонятном "существующая, хоть и недоступная прямому наблюдению, тра-тата"

Date: 2012-11-13 09:51 am (UTC)
From: [identity profile] ibsorath.livejournal.com
ну и кроме того: карты (словесные описания, научные модели) строятся для наблюдаемого мира - мира чувственных впечатлений. Никакой непонятной "ненаблюдаемой, но на самом деле существующей Объективной Реальности" тут не требуется.

Date: 2012-11-13 09:54 am (UTC)
From: [identity profile] vladwed.livejournal.com
Ну нет, карты делаются далеко не только для непосредственно наблюдаемой или ощущаемой местности. Чуть вниз к микромасштабам и там уже не будет ничего непосредственно наблюдаемого. Однако, карты строятся и для этих карт сохраняется свойство эквивалентности в описании местности.

Date: 2012-11-13 10:31 am (UTC)
From: [identity profile] ibsorath.livejournal.com
А это потому, что микромасштабы - это не непосредственная реальность, а тоже карта непосредственной реальности.

Ну вот сами подумайте, что мы называем "атомом"? Непосредственное наблюдаемое явление? Нет же. У него ни цвета, ни вкуса, ни запаха нет, у атома.

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

Атом никто никогда не видел и не увидит. На экране электронного микроскопа мы видим не атом, а просто цветное пятно. И ИНТЕРПРЕТИРУЕМ его как "атом" - внутри соответствующей карты. Но это конечно не атом, а пятно на экране.

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

Date: 2012-11-13 10:38 am (UTC)
From: [identity profile] vladwed.livejournal.com
Атом никто никогда не видел и не увидит.
----

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

Если я прав, то это просто понятийный тупик, который ставит точку на интересной теме реальности. :)

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

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

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

Date: 2012-11-13 10:49 am (UTC)
From: [identity profile] ibsorath.livejournal.com
Да нет. "Реальным" можно называть всё, что угодно. Но стоит а) помнить, что именно вы имеете в виду, и б) помнить, что у слова может оказаться много разных значений, и не путать одно с другим.

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

Но это чисто такой способ времяпровождения - специально себя заморочить, чтобы поинтереснее было. Это не прояснение мышления, а наоборот.

Вот когда вы говорите "аналогия даёт нам возможность выйти за пределы чувственного восприятия" - вы уже лукавите. Вы просто снабжаете слово "реальность" новым смыслом, теперь в новом смысле "реальными" будут хоть уравнения Янга-Миллса, хоть кварки, хоть пятимерные мембраны. Но потом Вы делаете вид (возможно, сами того не замечая), что новое значение слова "реальность" - оно типа такое же, как старое, и выходит атомы и кварки "реальны" ровно в том же смысле, как и стулья, цвета и запахи. А мы, мол, вырвались за пределы чувственного восприятия.

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

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

Date: 2012-11-13 10:56 am (UTC)
From: [identity profile] vladwed.livejournal.com
Так я говорю примерно о том же: любой разговор можно свести в итоге к неоднозначности используемой терминологии, но этот путь ведет в один единственный тупик: не общаться и не обсуждать вообще ничего.

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

Date: 2012-11-13 11:00 am (UTC)
From: [identity profile] ibsorath.livejournal.com
О как! То есть если данный конкретный разговор оказался спором о словах, то и любой другой окажется тем же? И если в данном конкретном разговоре вдруг выяснится, что в основе непонимания лежала просто путаница, то и в любом другом разговоре будет так же? С чего бы это??

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

Просто случаются ситуации, когда люди упорно ходят кругами не по каким-то принципиально-мистическим причинам, а просто в силу привычки. Очень многие споры на этом и основаны, тут Вы правы. Но это вовсе не делает общение бессмысленным, чего вы, в самом-то деле?))


Date: 2012-11-13 11:05 am (UTC)
From: [identity profile] ibsorath.livejournal.com
Если хотите, могу привести вот такой, вполне классический, пример. Предположим, я задам Вам вопрос - где, по-Вашему, находится гром, пока он не гремит. Как Вы будете отвечать?

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

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

Date: 2012-11-13 10:54 am (UTC)
From: [identity profile] ibsorath.livejournal.com
Теперь про само "непосредственное наблюдение". Обратите внимание, как упорно Вы ходите по кругу, объявляя чувственные впечатления "всего лишь" биохимическими реакциями. Это всё потому, что вы феномен "восприятия" рассматриваете "в третьем лице". У вас в воображении чей-то глаз, чей-то мозг, вы представляете, как в этот глаз падает свет, чего-то там запускает, перекидывается на мозг, а там возникает нечто, что вы объявляете "зрительным восприятием".

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

Date: 2012-11-13 10:32 am (UTC)
From: [identity profile] ibsorath.livejournal.com
Другое дело, что карты можно строить и для карт. Типа метакарты получатся. И дальше метаметакарты. И так сколько угодно. Теоретического предела у этой лестницы вверх нету. А вот дно - есть.

Date: 2012-11-13 10:39 am (UTC)
From: [identity profile] vladwed.livejournal.com
Хорошо, а что есть "дно" в данном случае, если как раз не та самая объективная реальность?

Date: 2012-11-13 11:07 am (UTC)
From: [identity profile] ibsorath.livejournal.com
"Дно" - это то, что до абстрагирования. Пока вы не начились говорить и давать имена вещам, из чего состоял данный Вам мир? Можно назвать это "чувственным континуумом", но это будет опять же название. На время выкиньте из головы слова и концепции и оглядитесь вокруг, прислушайтесь к чувствам. Вот это "дно" и есть. То, что ДО слов и абстракций. Процесс абстрагирования начинается с этого. Конца ему уже нет. А начало есть.
(deleted comment)

Date: 2012-12-06 03:06 pm (UTC)
From: [identity profile] ibsorath.livejournal.com
Даже и не знаю - я философию как-то не очень знаю и не очень люблю, честно говоря. Ну вот Витгенштейн может быть, но там тоже разбираться надо. Коржибский, но он не философ, как мне кажется. Вообще конечно это всё по ведомству "лингвистической философии" или "аналитической философии", я думаю, где-то там нужно копать.

January 2026

S M T W T F S
    1 2 3
4 5 6 78910
11121314151617
18192021222324
25262728293031

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jan. 7th, 2026 01:46 am
Powered by Dreamwidth Studios