Пифагоровы штаны на все стороны равны
Jul. 29th, 2015 08:13 am1) Если мы принимаем существование объективной (независимой от нашего сознания) реальности, то это значит, что мы можем создать такую «теорию всего», которая совсем не использовала бы наш обычный язык (описания на котором Тегмарк изящно именует baggage в значении «лишний вес»), а только язык математики. 2) Нечто, что может быть описано с применением только языка математики, само по себе является математической структурой.
Кажется, автор совсем забыл, что одну и ту же математическую истину можно записать бесконечным множеством различных способов – но любой из них будет понятен только тому, кто знаком с использованными в нем обозначениями. Иными словами, прежде, чем математическое высказывание приобретает для нас смысл, мы должны научиться переводить его на наш обычный язык (на что требуется несколько лет математического образования). Так что математическое описание не только Вселенной, но и чего бы то ни было – только крыша дома, построенного при помощи нашего обычного языка, обойтись без которого ведь никак невозможно.
Когда об «общей теории всего» говорит, например, Стивен Вайнберг, он имеет в виду всего лишь теорию, которая смогла бы объединить общую теорию относительности и квантовую теорию поля. Судя по картинке в статье Тегмарка, он вроде бы подразумевает то же самое. Но Вайнберг отлично понимает, что за пределами доступных нам сейчас энергий вполне могут обнаружиться еще какие-то взаимодействия, которые не охватываются ни ОТО, ни КТП – и, соответственно, потребуют новой теории для их описания. А вот Тегмарк, похоже, совсем об этом не думает :)

no subject
Date: 2015-07-29 02:39 pm (UTC)----
:) Так с обозначениями или значениями?
no subject
Date: 2015-07-29 11:27 pm (UTC)no subject
Date: 2015-08-03 05:50 am (UTC)no subject
Date: 2015-07-29 02:46 pm (UTC)Bas C Van Fraassen Scientific Representation: Paradoxes of Perspective.
Тегмарку следовало бы ее проработать, но Тегмарк не любит читать других, он предпочитает творить с чистого лица.
Две цитаты из книги ван Фраассена к теме:
p. 83 “Suppose now that science gives us a model which putatively represents the world in full detail. Suppose even we believe that this is so. Suppose we regard ourselves as knowing that it is so. Then still, before we can go on to use that model, to make predictions and build bridges, we must locate ourselves with respect to that model. So apparently we need to have something in addition to what science has given us here. The extra is the self-ascription of location.”
p. 83 “Have we now landed in a dilemma for our view of science as paradigmatically objective? If we say that the self-ascription is a simple, objective statement of fact, then science is inevitably doomed to be objectively incomplete. If instead we say it is something irreducibly subjective, then we have also admitted a limit to objectivity, we have let subjectivity into science.”
no subject
Date: 2015-07-29 11:47 pm (UTC)Признаться, я вижу проблемы уже на этой стадии. Модель предмета, которая точно воспроизводит все детали предмета, ведь и есть сам этот предмет! А свое представление о мире мы потому и называем моделью, что оно воспроизводит только важные для нас (воспринимаемые нами?) детали предмета, оставляя неважные (невоспринимаемые) за скобками. Поскольку мы никогда не сможем гарантировать, что мы восприняли все детали (у нас по определению нет способа проверить, что осталось за пределами нашего восприятия), то наша модель мира всегда остается недостроенной.
А книжка ван Фраассена, похоже, и правда страшно интересная: добавляю сюда ссылку (https://books.google.com/books?id=11RVgVXwulcC&pg=PT153&source=gbs_selected_pages&cad=3#v=onepage&q&f=false) на нее в Google Books.
no subject
Date: 2015-07-30 06:35 am (UTC)p. 19 “Socrates’ thought experiment … has a quite contemporary ring, if we replace gods (as it usual now) with mad scientists.”
p. 19 Quote from Cratylus (Socrates talks to Cratylus). “Let us suppose the existence of two objects. One of them shall be Cratylus, and the other the image of Cratylus, and we will suppose, further, that some god makes not only a representation such as a painter would make of your outward form and color, but also creates an inward organization like yours, having the same warmth and softness, and into this infuses motion, and soul, and mind, such as you have, and in a word copies all your quantities, and places them by you in another form. Would you say this was Cratylus and the image of Cratylus, or that there were two Cratyluses?”
p. 22 “Look back now at Socrates, Cratylus, and the god they imagine. Did the god make an image of Cratylus or did he not make a representation of anything, but a clone? That depends. Cratylus was too nasty in his response. Did this god go on to display what he made to the Olympic throng as a perfect image of Greek manhood? Or did he display it as an example his prowess at creature-making? Or did he do neither, but press the replica into personal service, since he couldn’t have Cratylus himself?“
no subject
Date: 2015-07-30 12:28 pm (UTC)В реальном мире идентичных копий не существует: скажем, автомобили, сошедшие с одного конвейера, все-таки различаются мелкими несущественными для их пользователей деталями и, кроме того, сразу же приобретают дополнительные разные детали, как только на них начинают ездить. То же можно сказать и, например, об однояйцевых близнецах. Так что идеальный двойник макрообъекта - это чисто теоретическая конструкция; а раз так, то бессмыссленно рассуждать о том, как к ней относиться в реальном мире ;)
no subject
Date: 2015-07-29 04:47 pm (UTC)Математическое описание ведь само по себе ничего не даёт, если число уравнений не совпадает с числом неизвестных.
no subject
Date: 2015-07-29 11:25 pm (UTC)no subject
Date: 2015-07-30 04:17 pm (UTC)(no subject)
From:(no subject)
From:(no subject)
From:no subject
Date: 2015-07-30 06:32 am (UTC)no subject
Date: 2015-07-30 01:05 pm (UTC)(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:no subject
Date: 2015-07-30 01:33 am (UTC)Проще всего это объяснить на примере программы или алгоритма. Один и тот же алгоритм можно запускать на разных устройствах. Там единицы и нолики будут разным образом кодироваться. И результат будет разным образом представляться. Причем кому-то он будет понятен кому-то нет. Магия возникает, когда мы представим, что субъект (или сознание) - это тоже алгоритм. И вот один алгоритм-сознание увидит здесь нолики и единицы, другой - нет. И все переплетается, семантика и синтаксис. Не знаю, получилось ли у меня кратко это объяснить.
Но вообще современное пифагорейство более целостно и красиво, когда преподносится в вычислительной обертке. И мне оно по понятным причинам очень интересно :)
no subject
Date: 2015-07-30 11:48 am (UTC)А что такое алгоритм? Это ведь запись последовательности определенных действий. В случае машинных алгоритмов все просто: мы сами создали машины таким образом, чтобы они непосредственно реагировали на наши команды, записанные определенным способом.
Если же речь идет об алгоритмах, которыми мы собираемся управлять живыми существами, мы должны предварительно позаботиться, чтобы эти существа понимали наши команды: грубо говоря, сформировать у них условные рефлексы! Иными словами, здесь нужен перевод, интерфейс.
Предполагать, что сознание - это алгоритм, это примерно то же самое, что думать, что Вселенная - это часы (иными словами, переносить свойства нашего последнего технического изобретения на внешний мир; наше сознание в данном случае - внешний мир, потому что не мы его создали).
Это не значит, что нельзя пытаться смоделировать какие-то желательные нам свойства частей этого внешнего мира в железе/силиконе (чем мы постоянно и занимаемся). Но, мне кажется, важно не забывать, что построенное нами не тождественно внешнему миру, а только воспроизводит его в той степени, в какой мы его поняли. А?
"современное пифагорейство более целостно и красиво"
Похоже, что для того, чтобы оценить эту красоту, нужен определенный склад ума ;) Мне пока что не удалось найти убедительное для меня описание этих идей, но я не теряю надежды ;)
no subject
Date: 2015-07-31 02:14 am (UTC)На этот вопрос можно отвечать очень долго. Поэтому я похоже зря сказал, что "Проще всего это объяснить на примере программы или алгоритма" :) Тут ведь сразу много пластов. И возможность отрыва от субстрата, и разные варианты перекодирования данных и самых алгоритмов, и многое другое. Если нужен какой-то краткий ответ, то алгоритм - это некоторая машина Тьюринга :)
Вот есть например, целая статья в Википедии о том, как пытаются формализовать алгоритм:
https://en.wikipedia.org/wiki/Algorithm_characterizations
Кстати, в этой статье даже Серль с Денеттом отметились, оказывается :)
Там подзаголовок - "1995 – Daniel Dennett: evolution as an algorithmic process"
Примечательно, что в этой долгой истории поиска определения для алгоритма можно усмотреть аналогии (или даже какие-то корреляции) с проблемой определения для сознания.
>>> Предполагать, что сознание - это алгоритм, это примерно то же самое, что думать, что Вселенная - это часы
Интересно, с каким уровнем мы могли бы тогда отождествить сознание? Например, есть подходы, когда сознание отождествляется с субстратом (в вычислителем). Например, некоторые считают, что отношение сознание-мозг подобно отношению пищеварение-желудок, то есть сознание привязано к биологической природе (Джон Серль, например). Некоторые считают, что сознание не связано с субстратом и в перспективе его можно будет копировать на другой мозг подобно копированию файла. Но в обоих случаях будут некоторые корреляции с алгоритмами, выполняемыми на субстрате. И кстати, Ваша позиция (изложенная в этом посте) очень напоминает позицию Серля (см. например, его цитату из указанной статьи). Но Серль не учитывает некоторых важных вещей, например, с той же китайской комнатой, как мне кажется. Но это еще одна длинная история.
>>> Но, мне кажется, важно не забывать, что построенное нами не тождественно внешнему миру, а только воспроизводит его в той степени, в какой мы его поняли.
Проблема в том, что непонятно, что является несущественным по отношению к сознанию.
>>> Мне пока что не удалось найти убедительное для меня описание этих идей
Честно сказать, мне тоже там далеко не все понятно, да и там нельзя говорить о какой-то законченной картине. Но потому и очень интересно разбираться в этом.
(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:no subject
Date: 2015-07-30 08:10 am (UTC)Отмечу, что обучение обычному языку так же занимает несколько лет обучения:)
Более того, Павлов постоянно подчеркивал, что у языка есть такая особенность, как способность удалят нас от действительности, когда за словами мы не видим мира: «Весьма часто случается, что один исследователь не может воспроизвести верных фактов другого — и только потому, что словесная передача этим другим обстановки всего его дела не соответствует, не воспроизводит точно и полно действительности. И, наконец, когда вы дойдете до выводов, когда вы начнете оперировать с теми словесными сигналами — этикетками, которые вы поставили на место фактов, — то здесь фальсификация действительности может достигать огромнейших размеров. Вы видите, как много возникает различных затруднений, которые мешают вам ясно видеть подлинную действительность. И задачей вашего ума будет дойти до непосредственного видения действительности, хотя и при посредстве различных сигналов, но обходя и устраняя многочисленные препятствия, при этом неизбежно возникающие.» Т.е. перевод на обычный язык еще ничего не дает, это может быть также далеко от действительности, как и математическая запись. Более того, в моей практике обычно бывает наоборот – математическое описание имеет смысл, а вот его перевод на обыденный язык дает не слишком осмысленный набор слов. Например, как перевести на обыденный язык утверждение: «данная величина имеет экспоненциальный рост»?
”язык математики”
А что это такое, что это за язык?
Не думаю, что это набор математических символов и терминов. Большая часть из них возникли исторически, т.е. случайно, в силу привычки, под влиянием не математических соображений и т.п.
Математика занимается построением дедуктивных систем. Т.е. из аксиом по определенным правилам выводит следствия. Вот способ построения таких дедуктивных систем (с самими этими системами) я бы и назвал языком математики.
В чем сила математики. Если у вас где-то есть нечто, что удовлетворяет неким аксиомам, то по определенным правилам (обычно называемым правилами логики) можно получить следствия. Но математика сделала это за нас, она уже построила очень разработанные дедуктивные системы, поэтому то и можно и нужно воспользоваться уже готовым математическим результатом, а не проделывать всю цепочку логических рассуждений каждый раз заново. Тем более, что такая цепочка для своего изложения может потребовать нескольких томов:) Вот эти дедуктивные системы и являются языком математики. Причем одну и туже систему удается применять совершенно в разных областях.
Я уже несколько раз спрашивал и пока не получил ответа на такой вопрос: Существуют ли примеры, когда объекты НЕ следуют логическому выводу, т.е. когда аксиомы выполняются, а следствия из них нет? Пока я такого примера не увидел:)
И тут возникает вопрос – а почему природа должна следовать этим выводам, которые в чрезвычайно развернутой форме «дарит» нам математика? Это либо божественный промысел, либо сами правила вывода заимствованы из природы (и преобразованы нашим мозгом). Но если они адекватны природе, то в этом смысле вполне можно в переносном значении говорить, что природа является математической структурой. Хотя на самом деле наоборот, математика пользуется закономерностями природы. Но самый главный вывод отсюда – что такие закономерности имеют место быть!
no subject
Date: 2015-07-30 01:01 pm (UTC)Верно, и именно поэтому Павлов и выделил язык как отдельную (вторую) сигнальную систему ;)
"математическое описание имеет смысл, а вот его перевод на обыденный язык дает не слишком осмысленный набор слов"
Именно с этой повышенной четкостью, по сравнению с обычным языком, математического описания и связана эффективность математики. Недаром время от времени возрождается надежда, что, если бы нам удалось описать, например, систему морали на языке математики (как хотел Спиноза), нас бы миновали многие напрасные муки ;)
"Вот способ построения таких дедуктивных систем (с самими этими системами) я бы и назвал языком математики"
Не имею ничего против такого определения, но в приложении к обсуждаемой гипотезе (мир - это число), Тегмарк говорит не о способе(способ ведь нельзя приравнять к миру, это ведь еще хуже, чем сравнивать яблоки с апельсинами?), а о структуре. Когда он определят "мат. структуру" как то, для описания чего можно обойтись только языком математики, без привлечения обычного языка, очевидно, он имеет в виду именно запись, текст - последовательность символов? Или я неправильно это поняла?
"Существуют ли примеры, когда объекты НЕ следуют логическому выводу"
А что Вы имеете в виду под "объектами"? Математические следствия, конечно, не могут не следовать из аксиом: ведь математика и есть набор аксиом плюс набор правил дедукции. Все следствия следуют автоматически ;)
Если же под объектами Вы понимаете объекты (явления?) реального мира, то мат. описание некоторых из них - например, движение подброшенного вверх камня - сравнительно просто, а вот можно ли составить мат. описание, скажем, моральной системы - вопрос открытый, даже несмотря на всю гениальность Спинозы, попытавшегося это сделать ;)
"почему природа должна следовать этим выводам, которые в чрезвычайно развернутой форме «дарит» нам математика"
Да, это, конечно, и есть тот главный вопрос, который и порождает все это пифагорейство! Раз природа так хорошо описывается математикой, значит, математика и лежит в ее основе - Тегмарк тоже проговаривает это заклинание в своей статье ;) Но мне, признаться, такое рассуждение совсем не кажется убедительным - и мы, насколько я помню, уже обсуждали это с Вами.
Не стоит забывать, что ведь тот самый набор аксиом (скажем, евклидовских), который лежит в основе математики, мы взяли не с потолка, а сформулировали как обобщение нашего практического опыта, как отражение воспринимаемых нами свойств внешнего мира. Точно так же и наш набор правил дедукции - не случаен, а основан на нашем опыте жизни в мире. Да, исходя из этого "первичного набора", мы можем получать новое знание, уже не опираясь на внешний мир - мы даже можем, например, произвольно изменить аксиомы и/или правила и посмотреть, что из этого получится? Но стоит ли удивляться, что плоды этих усилий все же оказываются не чем иным, как описанием все того же мира (каких-то его частей)?
На мой взгляд, удивительнее было бы другое: если бы нам удалось придумать что-нибудь такое, что не имело бы к миру никакого отношения ;) По-моему, та же проблема возникает в литературе вообще и в научной фантастике в частности: как бы ни старались авторы, все равно их фантазия ограничена реалиями этого мира (включая реальные возможности наших мозгов, как части все того же мира ;)
no subject
Date: 2015-07-30 01:24 pm (UTC)Я его не читал, поэтому на второй вопрос ответить не могу:)
Пусть будет структура, ведь математическая теория имеет определенную структуру.
” Если же под объектами Вы понимаете объекты (явления?) реального мира, то мат. описание некоторых из них - например, движение подброшенного вверх камня - сравнительно просто, а вот можно ли составить мат. описание, скажем, моральной системы - вопрос открытый, даже несмотря на всю гениальность Спинозы, попытавшегося это сделать ;)”
Под объектами я имею в виду объекты реального мира. С моралью ситуация интересная. Есть ли тут система аксиом, из которой можно выводить следствия? Если нет – то мой вопрос не про это.
Уточню вопрос условным примером: если скорость изменения некой величины пропорциональна самой величине, то величина меняется по экспоненциальному закону. Можно ли найти в природе такую величину, которая бы не удовлетворяла этому утверждению? Т.е. скорость ее изменения была бы пропорциональна самой величине, а вот величина бы менялась не по экспоненте. А если таких примеров нет, то почему?
” Раз природа так хорошо описывается математикой, значит, математика и лежит в ее основе - Тегмарк тоже проговаривает это заклинание в своей статье ;) Но мне, признаться, такое рассуждение совсем не кажется убедительным - и мы, насколько я помню, уже обсуждали это с Вами. ”
Да обсуждали. Тегмарк перевернул с ног на голову. Надо так: Раз природа так хорошо описывается математикой, значит, в основе математики лежат природные закономерности. Собственно вы об этом дальше и пишите, с чем я разумеется согласен.
Но, повторюсь, самое главное следствие из всех этих рассуждений – закономерности существуют.
(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:no subject
Date: 2015-08-04 05:14 pm (UTC)Более всего понравилось следующее суждение:
Допустим, я верю в Творца Вселенной. Но при этом считаю совершенно невозможным поверить в Бога, создающего мир на основе уравнений высшей математики (Э. Гуссерль: Бог не считает; считает лишь человек). Например, если многие космологи считают абсурдным допущение, что столь тонкая подгонка физических констант явилась результатом слепого случая, то утверждение о том, что Бог занимался подгонкой констант на основе уравнений высшей математики, представляется почти таким же абсурдным.
no subject
Date: 2015-08-05 02:14 am (UTC)Способ, как творил Создатель,
Что считал он боле кстати,
Знать не может председатель
Комитета о печати ;)
А если серьезно, то такие статьи, как эта на "Топосе", мне явно не под силу - тут нужен сугубо философски настроенный ум, а я-то даже не в состоянии понять, что, собственно, хочет сказать автор :(
no subject
Date: 2015-08-06 07:30 pm (UTC)ROVELLI, Carlo, Michelangelo's Stone: an Argument against Platonism in Mathematics
и последующее обсуждение на everything-list
https://groups.google.com/forum/#!topic/everything-list/vqEsGle1Tdw
no subject
Date: 2015-08-07 12:32 am (UTC)Добаляю сюда ссылку (http://arxiv.org/pdf/1508.00001v1.pdf) на эту статью, чтобы каждый раз ее не искать.
no subject
Date: 2015-08-08 12:41 am (UTC)Есть такая хорошая книга, называется "Theory of Nothing" (Теория Ничто):
http://www.hpcoders.com.au/nothing.html
Там на странице есть ссылка для бесплатного скачивания. Кстати, там среди отзывов и Тегмарк отметился :)
Ее автор, Russell Standish, часто появляется в обсуждениях на everything-list, поэтому, когда я пошел смотреть по ссылке, я думал, что увижу там комментарии автора этой книги. Но возможно, они еще появятся.
Возвращаясь к этой книге, посмотрите стр. 13-15. Там очень кратко затрагивается обсуждаемый вопрос, упоминается Тегмарк, а также библиотека Борхеса.
Там же дается объяснение, почему книга называется "Theory of Nothing". И аргумент библиотеки Борхеса можно также считать не только опровержением, но и красивым обоснованием, ведь при соответствующих построениях оказывается, что в мире существует Все, которое также есть Ничто (ноль информации библиотеки Борхеса). То есть не просто новые сущности не вводятся, а вообще в основе нет никаких сущностей.
no subject
Date: 2015-08-08 05:47 am (UTC)(no subject)
From:(no subject)
From:(no subject)
From:no subject
Date: 2015-08-08 01:39 pm (UTC)Мне кажется, что часть недоразумений по поводу "теории всего" происходит оттого, что разные люди вкладывают в это понятие совершенно разный смысл. Как я уже упоминала, "теория всего" физиков - это просто теория, которая смогла бы объединить ОТО и КТП, и на ее роль сегодня претендуют теория струн, петлевая гравитация и, наверное, еще несколько, о которых я и не слышала.
Но эти теории вовсе не претендуют на то, что они смогут объяснить, скажем, явления турбулентности, биологической эволюции или сознания - для них требуются отдельные "частные" теории. Соответственно, такая "теория всего", как струнная, совершенно не может претендовать на то, о чем говорит Тегмарк - чтобы быть самой реальностью - потому что такая "теория всего" по определению неполна.
Соответственно, Тегмарк - и, видимо, Стендиш - вроде бы имеют в виду нечто совсем другое? Подозреваю, что основная трудность в понимании идей Тегмарка именно в этом - надо сначала разобраться, какой именно смысл он вкладывает в понятие "теория всего".
(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From: