Олег Мазуров ([info]oleg_mazurov) wrote,
@ 2007-07-23 13:04:00
Previous Entry  Add to memories!  Tell a Friend  Next Entry
Entry tags:переводы, сознание

Сюзан Блекмор, "Беседы о сознании" 2006

Роджер Пенроуз

Истинное понимание лежит за пределами вычислимости.



...
Сью: Хорошо, теперь попробуйте очень просто объяснить... Как я понимаю, один из Ваших аргументов состоит в том, что Вы, как математик, способны понимать некоторые вещи, которые не могут быть получены в результате логических вычислений.
Роджер: За это я также подвергаюсь нападкам - за мои слова, что якобы мы, математики, способны понимать вещи, недоступные вам, простым смертным. Это совершенно определенно не было в моих намерениях.
Сью: У меня перед глазами встает картина, как Вы сходите с тротуара или чего-то там... или я придумываю? Не могли бы Вы рассказать?
Роджер: Это произошло, когда я работал над одной проблемой в теории относительности - вопрос о том, действительно ли черные дыры существуют в некотором определенном смысле. У меня был очень необычный подход к этой проблеме, с чисто математической точки зрения. И ко мне зашел один мой друг - большой любитель поговорить. И был момент, когда во время прогулки он вовлек меня в разговор, и мы с ним переходили улицу. На середине улицы мы остановились - разговор умолк - чтобы посмотреть не идут ли машины, и очевидно в этот момент мне пришла в голову некоторая идея. Потом на другой стороне улицы разговор продолжился, и то, что пришло мне в голову, улетучилось. Но после, когда мой друг уже ушел, меня не покидало странное приподнятое настроение, которое я никак не мог привязать к чему-либо. И я перебирал все, что случилось со мной в тот день - "Могло ли то или это быть причиной этого чувства? Нет, не вижу связи." - и так далее. В конце концов я дошел в памяти до того момента, когда я переходил улицу, и та идея снова возникла в моей голове. Я подумал: "О, вот что это было", - и я понял, что это был ключ к тому, что мне было нужно для решения этой проблемы. Все остальное, хотя и включало большой объем работы, было довольно просто после этого момента.
Сью: И как это соотносится с сознанием, поскольку можно сказать, что то озарение было в некотором смысле бессознательным?
Роджер: Ну, моя точка зрения состоит в том, что в математике озарение должно иметь смысл. Один может иметь видения, другой быть полон сумасшедших идей, которые не имеют никакого смысла, но для того, чтобы идея пустила корни, она должна иметь некоторый смысл. И это то, где, как мне кажется, сознание играет важнейшую роль; это взаймодействие с подсознанием, которое порождает всевозможные идеи, но для того, чтобы эти идеи работали вместе, вы должны быть способны подключить к этому свое сознание.
Сью: Вы тем самым делаете очень сильное утверждение. Вот Ваш замечательный мозг полный жизненного багажа математических и физических идей, и все полученное образование и воспитание, и все те природные способности - и все это взаимодействует параллельно, очень много всего - и в момент озарения возникает нечто. Откуда проистекает эта идея, что требуется нечто большее, чем просто мозг, осуществляющий некоторый вычислительный процесс? Я хочу понять, почему Вы считаете необходимым выйти за рамки вычислительной модели?
Роджер: То, что составляет другую сторону, что является сознательным - это понимание - вот, что я утверждаю. И это на самом деле и есть теория Геделя. На меня постоянно нападают за это, но я думаю, что те, кто это делает, главным образом не понимают этого аргумента. Я не знаю почему - потому что он довольно прост.
Сью: Поясните, потому что я тоже не понимаю его. Вы утверждаете, что весь этот мыслительный процесс, оперирование идеями и все такое прочее может быть вычислительным процессом, а понимание нет? Почему?
Роджер: Понимание требует осознания; сознание вовлечено в понимание - это одно основание аргумента.
Сью: Как Вы можете это обосновать?
Роджер: В обычном смысле этого слова - если нечто не сознает что-либо, Вы не скажете, что это нечто понимает что-либо, если оно это не сознает.
Сью: Не знаю. Я думаю, можно сказать, что если я совершила какое-то бессознательное действие над физическим объектом, которое требует понимания - если я успела подхватить что-то, что начало падать...
Роджер: Я бы сказал, что в этом нет понимания; Вы совершаете подобное действие в результате автоматической реакции.
Сью: Это всего лишь понимание базовых физических принципов, но это понимание в некотором роде.
Роджер: Я полагаю, что это слово может употребляться в более широком смысле, нежели тот, который я подразумеваю. То, какой смысл я вкладываю в это слово, можно было бы назвать "сознательным пониманием" - понимание, которое требует сознания. Поймать мяч можно совершенно бессознательно, это не вовлекает никакого понимания, вы просто делаете это.
Сью: Значит для Вас, в отличие от меня, понимание это нечто большее и требует сознания. Что есть сознание в таком случае? Я пытаюсь добраться до того смысла, в котором Вы употребляете это слово, потому что Вы делаете очень сильные утверждения, принимая во внимание то, как мало мы знаем о сознании, и как мало его понимаем.
Роджер: Вы можете увидеть это в том, как люди используют компьютеры. Я имею ввиду то, что вы можете использовать компьютер для множества разных замечательных вещей, но это ничего не значит, если вы не знаете, о чем они, что означает тот или иной ответ.
Сью: Это похоже на "китайскую комнату" Серля и аргумент о синтаксисе и семантике? То есть, есть разница между тем, что компьютер делает без понимания, и тем что делаете вы, когда действительно понимаете что-то?
Роджер: Да. Это не мой аргумент, но я думаю, что аргумент Серля имеет ценность. Я всегда так считал.
Сью: Значит Вы полагаете, что Серль в своей комнате, или Серль вместе со своей комнатой, не обладают пониманием китайского языка?
Роджер: Да, это так, я согласен с ним в этом.
Но позвольте мне закончить про Геделя, потому что это важнейший аргумент. Он же и приносит мне больше всего трудностей, потому что это очень сильный аргумент и люди сразу пытаются найти в нем дыры.
Аргумент заключается в следующем - я сформулирую его простым языком - допустим вы пытаетесь установить истину очень четко сформулированного математического утверждения, например Великой теоремы Ферма, о том, грубо говоря, что некоторый вычислительный процесс никогда не завершится. Далее, очень простые математические утверждения не вызывают никаких споров в отношении, какие из них истинны и какие ложны; выяснение этого может быть непростой задачей, но сам факт их истинности или ложности объективен и бесспорен. Теперь, как можно выяснить, что какие-то определенные утверждения действительно истинны? Можно использовать некоторую аксиоматическую систему, некоторые правила или процедуру, которые, будучи применимы надлежащим образом, приводят к заключению, которому вы обязаны верить. И что показал Гедель, это то, что любая такая система правил, при условии, что она не слишком тривиальна, будет обладать таким свойством, что ваша вера в то, что эти правила дают только истинный результат, позволит вам выйти за пределы этих правил. Таким образом, вы можете, если хотите, утверждать, что система этих правил непротиворечива: если ваши правила могут порождать только истинные утверждения, они обязаны быть непротиворечивыми, и если они обязаны быть непротиворечивыми, то это утверждение их непротиворечивости, которое самое является утверждением такого же рода, лежит за пределами досягаемости этих правил, то есть не выводимо с их помощью. Откуда вы знаете, что подобные утверждения истинны, при том, что они не получены путем использования правил? Откуда вы знаете, что все, что вы можете получить из этих правил, истинно? Но вы можете доверять этим правилам, только если ваше понимание говорит вам, что эти правила хорошие, что они не породят ложных утверждений.
Это понимание, которое говорит вам, что из них нельзя вывести ложные утверждения, дает вам нечто превосходящее сами правила. Таким образом, понимание оказывается не ограниченным никакой системой правил, поскольку ваша попытка заставить эти правила имитировать понимание приводит к тому, что понимание немедленно выходит за их пределы.
Сью: И это понимание, оно уникально для человека?
Роджер: Нет, не думаю. Конечно, кто-нибудь может сказать: "Хорошо, моя собака не понимает теоремы Геделя"; или кто-нибудь также может сказать: "Хорошо, я не понимаю теоремы Геделя" - и это не будет означать, что он не человек, или что он не обладает сознанием. И тот факт, что его собака не понимает теоремы Геделя, точно также не означает, что она не обладает сознанием.
Сью: Но я пытаюсь понять принцип, какого рода сущности могут потенциально обладать этим специальным пониманием, которое Вы описали.
Роджер: Ну, я думаю, что в общем случае дело именно в понимании. Сущность для меня не может рассматриваться разумной, если она не обладает пониманием.
Сью: Можно ли в принципе, в будущем, построить фантастического робота, который обладал бы подобным пониманием?
Роджер: Если робот означает вычислительно-управляемую систему...
Сью: Именно так, я имею ввиду вычислительно-управляемую систему.
Роджер: Тогда я бы сказал, что нет, такая система никогда не будет разумной. Она может очень хорошо играть в шахматы...
Сью: ... но не быть разумной в том смысле понимания, который Вы используете? Тогда что же требуется еще?
Роджер: Это очень трудно постичь. Это не так трудно сделать на практике, и посмотрите на эти тесты Тьюринга - каждый год они проводят эти огромные соревнования, - и все эти программы по-прежнему безнадежно глупы. Можно было бы предположить, что используя всю ту фантастическую вычислительную мощь, которой обладают эти машины, и которая во много-много-много раз превосходит наши человеческие вычислительные способности,... - и все-равно они остаются безнадежно глупыми.
Сью: Многие считают, что машины становятся все лучше и лучше, и что это дело времени, когда они начнут действительно понимать; а Вы говорите что есть что-то особенное в понимании, чего у них нет и никогда не будет?
Роджер: Можно достичь некоторой степени имитации, но это не будет подлинным пониманием.
Сью: Хорошо, скажите мне, что такое подлинное понимание?
Роджер: Подлинное понимание включает в себя осознание. Видите ли, я считаю, что геделевский аргумент на самом деле очень строгий, хотя многие мне говорят: "Аргументы Роджера интересны, но они по сути ошибочны". Я говорю: "Хорошо, покажите мне, где ошибка." Никто этого не сделал. Я долго ждал. Мне в ответ грубят, но никто так и не указал на ошибку.
Сью: Ну, я не в состоянии указать на ошибку, но я могу указать на большой скачок в Ваших рассуждениях - утверждение, что есть нечто дополнительное, что является "подлинным пониманием" - и я хотела бы знать, что же это такое.
Роджер: Да, ну, тогда мы попадаем в область предположений, и я это признаю.
Сью: ОК, предположите.
Роджер: Я утверждаю, что геделевский аргумент говорит нам, что мы не являемся чисто вычислительными сущностями, что наше понимание есть нечто за пределами вычислений. Он не утверждает, что это что-то нефизическое, но для полноты не хватает некоторого критического элемента, который имеет некоторое отношение к квантовой механике. Мой аргумент, и я признаю его слабость, похож на метод Шерлока Холмса, т.е. после того, как вы исключили все другие возможности, то что остается обязано быть истиной, какой бы невероятной она не казалась. Квантовая механика - наиболее очевидное место, где наши знания о физике недостаточно полны. Где еще вы можете найти невычислимость в физике? Похоже, больше нигде. Следовательно здесь, предположительно, она и находится.
Сью: Таким образом Вы приходите к идее, что сознание требует некоторого рода квантовых вычислений.
Роджер: Сказать, что работа мозга основывается на квантовой механике в самом фундаментальном смысле уже выходит за рамки общепринятого. Но даже этого оказывается недостаточно, поскольку я выхожу за рамки стандартной квантовой механики. Мне требуются некоторые усовершенствования в квантовой механике - а это уже за рамками общепринятого даже в квантовом мире.
Сью: Допустим, что мы делаем эти два нетрадиционных шага, куда они приведут нас в вопросе понимания, как работает мозг, и откуда в нем появляется сознание?
Роджер: Если вам нужно, чтобы в мозге происходили невычислимые процессы, вам необходимо найти в нем нечто, что имеет неплохие шансы на выделение крупно-масштабных квантовых эффектов, и здесь на сцене появляются микротрубки - эту идею я получил от Стюарта Хамероффа.
Мне пишут много и часто - подчас о совершенно сумасшедших теориях. И вот я получаю это письмо от человека, о котором я никогда не слышал раньше, и который пишет об этих забавных трубках в биоклетках, и я думаю: "Ну вот, еще один!". Но затем он приводит картинки этих трубок, и я вижу, что это как раз то, что мне нужно, потому что нервы оказывают слишком большое воздействие на среду. Нет никакой возможности защитить нервный сигнал от взаимодействия со средой. А с микротрубками такой шанс появляется.
Сью: Вас не смущает тот факт, что, во-первых, микротрубки являются частью любой клетки организма, и, во-вторых, общепризнанно, что они выполняют структурную функцию, которая объясняет, почему они там находятся, и что они делают?
Роджер: Позвольте мне сначала ответить на второй вопрос, и я воспользуюсь аналогией. Нам известно для чего служит нос - для фильтрации воздуха, ощущения запахов и так далее. Но что мы видим, глядя на слона? Что он использует нос для всего: мытья, захвата предметов, строительства сооружений. То, что мы знаем одну из главных функций микротрубок, не означает, что они у них не может появляться никаких других функций при определенных обстоятельствах.
Сью: А как насчет первого вопроса, что они присутствуют во всех клетках, а не только в нейронах?
Роджер: Возможны несколько ответов на этот вопрос. Мое предположение связано с различием между структурами решеток типа A и B. Предположительно есть два типа структур микротрубок: первая, которую я описал в своей книге "Тени разума", - это решетка типа A. Решетка типа B выглядит очень похоже, но она не стабильна и постоянно разрушается. Все аргументы против того, что микротрубки имеют отношения к сознанию, указывают на решетки типа B.
Совершенно очевидно, что в нейронах мы имеем дело со стабильными микротрубками: те, которые теряют связи, разваливаются и снова собираются, мы наблюдаем в обычных клетках, но в нейронах мы видим стабильные микротрубки.
Сью: Насколько я понимаю, Стюарт первоначально пришел к этой идее, потому что он наблюдал эффект воздействия некоторых анастетиков на микротрубки, и это почему он решил, что они могут играть роль в процессе отключения сознания; а затем он выяснил, что большинство анастетиков не оказывают никакого воздействия на микротрубки и начальная цель теории была отброшена. Вы по-прежнему придерживаетесь той теории - по-прежнему считаете, что ответ может быть найден там?
Роджер: Я определенно открыт для разных теорий в отношении микротрубок. Я считаю, это только часть ответа - это мое предположение. Люди часто говорят, что эти гипотезы нельзя проверить, но существует много подходов к проверке подобных гипотез, и также имеется много косвенных подтверждений, но я никогда не слышал, чтобы это обсуждалось. Кроме микротрубок мы знаем о существовании нанотрубок, которые сходны с ними. Они значительно меньше и очевидно гораздо более подвержены квантово-механическим эффектам. Вы можете закрутить эти нанотрубки в одну или в другую сторону, и это аналогия. Я не утверждаю, что микротрубки обладают тем же свойством, но это косвенное свидетельство.
Сью: Если говорить о том, что произойдет в будущем, то я представляю, как многие из тех, с кем я общаюсь в области исследования сознания, в частности функционалисты и приверженцы теории идентичности, скажут, что мы узнаем больше о вычислительных процессах мозга, о восприятии, об обучении, памяти - и "трудная проблема" в объяснении сознания просто уйдет сама собой.
Предположительно Вы заявляете нечто другое - в будущем мы узнаем больше обо всех этих различных химических и физических структурах, но в конце концов - опа! - мы обнаружим совершенно новый процесс, который и объяснит понимание и сознание присущее человеку?
Роджер: Да, примерно так. Я бы сказал, что наше понимание физического мира гораздо более ограничено, чем многие люди думают. Физики обычно очень высокомерные люди и они претендуют на то, что могут объяснить почти все. Но мой взгляд заключается в том, что вот есть физический мир, о котором мы знаем очень много, но в нем остаются очень большие вещи, которые мы до сих пор не понимаем, и я заявляю, что невычислимость - одна из них, но во многих отношениях она незначительна и второстепенна, на нее даже не обращаешь внимания.
Сью: Но ее значимость сильно возрастает, если она объясняет великую тайну того, что значит обладать сознанием.
Роджер: Именно, именно. Она некоторым образом пассивно присутствует и ждет своего часа, и только когда эволюция достигает определенного уровня развития, когда она может зацепиться за нее и начать использовать ее, только тогда появляется сознание.
...



(54 comments) - (Post a new comment)


[info]vlkamov
2008-01-09 08:48 am UTC (link)
используя всю ту фантастическую вычислительную мощь, которой обладают эти машины, и которая во много-много-много раз превосходит наши человеческие вычислительные способности,... - и все-равно они остаются безнадежно глупыми.
...
Я говорю: "Хорошо, покажите мне, где ошибка." Никто этого не сделал. Я долго ждал. Мне в ответ грубят, но никто так и не указал на ошибку.

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

(Reply to this) (Thread)


[info]oleg_mazurov
2008-01-10 08:15 am UTC (link)
Проблема в том, что Пенроуза нельзя назвать глупым. Но каким-то образом это получился одногранный бриллиант. Ум без мудрости. Или без рефлексии.
Можно, впрочем, не сильно этим загружатся, поскольку его теория, похоже, вымрет в полном соответствии с алгоритмом Дарвина: за отсутствием жизнеспособного потомства (в интеллектуальном плане, разумеется), поскольку никто, кроме него, не в состоянии воспроизвести весь этот калейдоскоп идей.
Как сказал по этому поводу Серль: "Пусть цветет миллион цветов; пусть все эти люди продолжают свои исследования".

(Reply to this) (Parent)(Thread)


[info]vlkamov
2008-01-10 12:02 pm UTC (link)
> Проблема в том, что Пенроуза нельзя назвать глупым...

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

(Reply to this) (Parent)


(Anonymous)
2008-04-02 09:21 am UTC (link)
Нет, это тоже не аргумент. Возьмите любое предложение-утверждение и деконструируйте его. Это легко и банально. Слова путают и обязаны путать, потому что мы всегда в состоянии выйти за рамки сюиминутных значений даного слова или связи слов и спросить уже с другой "кочки зрения". Пенроуз ведь о другом говорит: ЕСЛИ понимание есть вычисление, то как отличить калькулятор от человека? Степень сложности? Вряд ли, поскольку утверждая это, мы будем игнорить результат Гёделя: противоречивость или неполноту замкнутости. А Вы пытаетесь опровергнуть Пенроуза, как однажды Аристотель мегариков в апории о черепахе и Ахилле: нет, они неправы, поскольку даже при том, что Ахилл проходит бесконечное количество отрезков пространства, он проходит его за бесконечное количество отрезков времени. Выход за буквализм Аристотеля дал интегральное и дифференциальное исчисление. С Пенроузом то же. Его критический потенциал недооценивать не стоит, хотя конструктивный, безусловно, архиспекулятивен.

(Reply to this) (Parent)(Thread)


[info]vlkamov
2008-04-02 11:58 am UTC (link)
> Слова путают и обязаны путать
Для борьбы с путанием слов есть средство - определение.

Пенроуза опровергнуть невозможно, т.к. он "путает слова".

(Reply to this) (Parent)(Thread)


(Anonymous)
2008-04-02 09:58 pm UTC (link)
А для поиска определений есть средство - книги Пенроуза (к примеру "Новый ум короля"). Всё настолько чётко, насколько сего можно ожидать в таком вопросе. В интервью давать определения - глупо. Я то подумал, что вы глубже целите: в невыразимость в Витгенштейновском смысле. Ан нет!:))
Слова он не путает, а употребляет в смысле, который сам избрал. Что полностью допустимо. Прада особых отклонений от общезначимого употребления не вижу. Просто критикуя мелочи не увидите главного. Или видите - но по-партизански молчите;)

(Reply to this) (Parent)(Thread)


[info]vlkamov
2008-04-03 05:26 am UTC (link)
> Или видите - но по-партизански молчите;)

А с кем говорить ?

(Reply to this) (Parent)(Thread)


(Anonymous)
2008-04-03 07:07 am UTC (link)
"используя всю ту фантастическую вычислительную мощь, которой обладают эти машины, и которая во много-много-много раз превосходит наши человеческие вычислительные способности,... - и все-равно они остаются безнадежно глупыми.
...
Я говорю: "Хорошо, покажите мне, где ошибка." Никто этого не сделал. Я долго ждал. Мне в ответ грубят, но никто так и не указал на ошибку.
Для начала немножко этого самого: как видим, не только машины безнадежно глупы :-)
А ошибки есть. Но говорить о них имеет смысл, если оппонент согласен о них говорить, согласен их признать и съесть шляпу; пенроузы же несут чушь нимало не смущаясь и тупо повторяют ее раз за разом. Скажем, разбери по пунктикам процитированную сентенцию насчет глупости-мощности ЭВМ и легко убедишься в том, что это просто чудовищное нагромождение нелепостей. Казалось бы все - может есть шляпу с чистой совестью, но стоит только отойти на пять минут, как пенроузы заводят ту же пластинку."

А с кем говорили?:)

(Reply to this) (Parent)(Thread)


[info]vlkamov
2008-04-03 09:22 am UTC (link)
Здесь я говорю с никем ;-)

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

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

(Reply to this) (Parent)(Thread)


[info]nature_wonder
2008-04-03 10:35 am UTC (link)
Простите, что вклиниваюсь, привлек ваш бодрый настрой. Оппоненты несут чушь, это понятно. Это обычное дело. Один из признаков неконструктивных обсуждений - когда стороны убеждены, что оппонент несет чушь.

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

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

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

(Reply to this) (Parent)(Thread)


[info]vlkamov
2008-04-03 02:13 pm UTC (link)
> вы читали Пенроуза или только участвовали в обсуждениях;

Птолемея не читал, но осуждаю.

> вы отказываете трубочкам в существовании или у вас применительно к ним есть некие конкретные возражения.

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

> Просто вы выражаете распространенную позицию,
Я - распространенную !?!? Вы мне безбожно льстите. Один как перст. Кругом мнения, авторитеты, никто не хочет говорить по делу, а только о своей позиции. А мне на позиции, витгенштейнов-пенроузов и т.п.... ну вы поняли. "Усы, лапы и хвост - вот мои документы."

> Оппоненты несут чушь, это понятно.
Здесь причина перепутана со следствием. Потому и оппоненты, что несут чушь. Когда бы доложили экспериментальные результаты, анализ какой - я ж со всей душой, а нету. Отнюдь не против мысленных экспериментов.

> каковы нынешние мерки для процессоров
Мип-с

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

(Reply to this) (Parent)(Thread)

(no subject) - [info]nature_wonder, 2008-04-03 02:45 pm UTC
(no subject) - [info]vlkamov, 2008-04-04 03:55 am UTC
(no subject) - [info]nature_wonder, 2008-04-04 06:25 am UTC
(no subject) - [info]nature_wonder, 2008-04-04 06:44 am UTC
(no subject) - (Anonymous), 2008-04-05 10:21 pm UTC
(no subject) - [info]vlkamov, 2008-04-07 04:33 am UTC
(no subject) - [info]vlkamov, 2008-04-04 06:06 am UTC
(no subject) - [info]nature_wonder, 2008-04-04 08:32 am UTC
(no subject) - [info]vlkamov, 2008-04-07 04:31 am UTC
(no subject) - [info]nature_wonder, 2008-04-07 06:13 am UTC
(no subject) - [info]vlkamov, 2008-04-07 08:25 am UTC

[info]vlkamov
2008-04-03 02:18 pm UTC (link)
А вот уже никто откликнулся. Философский вопрос, материализм и т.п. - "путает слова". Именно что "позиция". А данных как не было, так и, что характерно, нет.

(Reply to this) (Parent)(Thread)

(no subject) - (Anonymous), 2008-04-03 02:55 pm UTC
(no subject) - [info]vlkamov, 2008-04-04 03:30 am UTC
(no subject) - (Anonymous), 2008-04-04 08:30 am UTC

(Anonymous)
2008-04-03 01:30 pm UTC (link)
Вы так и не уловили, что вопрос то философский. Аналировать стоит не вышеупомянутую разницу между двумя носителями свойств, а само различие этих свойств. Согласен, что души нет, а всё психика, но из этого совершенно не обязательно следует материализм. На даный момент мы совершенно не знаем, что за свойство делает что-то психикой. Примитивность (в описательном, а не оценочном смысле) вашей позици состоит в том, что единственными свойствами психики вы считаете склонность к "вычислениям" и структурное подобие. Пенроуз подрезает первое свойство, показывая разную соотносимость психики и ЭВМ к теореме Гёделя. Кроме того он значительно "деконструирует" второе, показывая, что на квантовом уровне (а это просто уровень масштаба, где происходит резкое изменение законов природы) отмечаемое вами структурное подобие между мозгом и "идеальным компьютером" может не иметь места быть:)Он может быть неправ в деталях (микротрубочки как основание мышления меня немного забавляют), но в своих вопросах и сомнениях он очень даже прав.

(Reply to this) (Parent)


[info]apoudy
2009-03-09 05:36 pm UTC (link)
тут было совсем лишним списать оппонентов на полных идиотов.
буду рад дать ответ, не прикрываясь Витгенштейном, и уж точно жду поедания шляпы.

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

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

1. фиксируется грамматика для записи логических задачек.
2. человек формулирует задачу.
3. машина решает.
4. проигрыш засчитывается машине, если она не может решить поставленную задачу: выдает неверный ответ или никакого ответа.

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

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

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

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

(Reply to this) (Parent)(Thread)


[info]oleg_mazurov
2009-03-10 06:27 am UTC (link)
> 4. проигрыш засчитывается машине, если она не может решить поставленную задачу: выдает неверный ответ или никакого ответа.

Что значит "никакого ответа"? Каков критерий того, что машина не нашла правильного ответа?

Другой вопрос. Каковы шансы человека в следующем соревновании:
1. фиксируется грамматика для записи логических задачек
2. машина формулирует задачу
3. человек решает
4. человеку засчитывается проигрыш, если он не может решить поставленную задачу (при том, что машина способна продемонстрировать правильное решение)

Какой вывод из этого можно сделать?

(Reply to this) (Parent)(Thread)

(no subject) - [info]apoudy, 2009-03-10 10:10 am UTC

[info]inf1nity
2008-06-01 12:11 am UTC (link)
а вы батенька дебил...
извиняюсь, спокойной ночи :)

(Reply to this) (Parent)(Thread)


[info]vlkamov
2008-06-01 02:16 am UTC (link)
Мне в ответ грубят, но никто так и не указал на ошибку.

(Reply to this) (Parent)


[info]apoudy
2009-03-10 06:14 pm UTC (link)
надо понимать, что на меня большое влияние оказывает Милтон Эриксон и всё, что от него пошло. если в нескольких словах описать к чему сводится клиническая психология, то это будет следующее: осознанность чего-то слабо или вообще никак не связана с интеллектуальностью или способностью этого чего-то к free will, речи, логическому выводу или любым другим высшим когнитивным функциям. целые огромные блоки мыслей, функций, контроля и т.п. могут уходить в подсознательное (бессознательное) или, наоборот, начинать осознаваться. т.е. это отдельное самостоятельное qualia, а не совокупность всех qualia. всё это доказано бесчисленным количеством простейших опытов.

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

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

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

(Reply to this) (Thread)


[info]nature_wonder
2009-03-10 10:41 pm UTC (link)
Мне кажется, это практически банальность - в смысле, никто уже в наши дни не будет с этим спорить. Только причем тут Пенроуз, не понятно.

(Reply to this) (Parent)(Thread)


[info]apoudy
2009-03-11 07:46 am UTC (link)
ну хорошо, что банальность. у меня прямо гора с плеч :)
а Пенроуз почему-то пишет то о целостности я, то о проблесках сознания, как о некотором макро-эффекте с мозге, то о понимании, как некоем обязательном аттрибуте сознания: что не понимает, то не осознает и не является сознанием, соотв. всё остальное как бы сознание.

(Reply to this) (Parent)(Thread)


[info]nature_wonder
2009-03-11 08:05 am UTC (link)
Пенроуз пишет о сознании, потому что в этом случае понимание однозначно обнаружимо. Тем не менее, факт подсознательных рассуждений никак не влияет на логику его аргументов. Нет разницы, где происходит понимание - вопрос в том, алгоритмично ли оно.

(Reply to this) (Parent)(Thread)


[info]apoudy
2009-03-11 08:24 am UTC (link)
Ну собственно споры вокруг этого и ведутся - что там обнаруживается: понимание, ощущение понимания или еще что.

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

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

(Reply to this) (Parent)(Thread)


[info]nature_wonder
2009-03-11 09:56 am UTC (link)
Я думаю, нужно просто разделять: критика Пенроузом сильного ИИ (это один вопрос) и его попытки предложить пути подхода к этой проблеме (другой вопрос). Их можно рассматривать независимо. И очевидно, что за строгость второго он не отвечает - тут никто не имеет четкого понимания.

(Reply to this) (Parent)(Thread)


[info]apoudy
2009-03-11 10:18 am UTC (link)
Согласен, он и сам это разделяет. Но, как я сказал, критике ИИ на основе геделевской теоремы полвека уже и начата она самим Геделем. В то же время аргумент Китайской комнаты можно спокойно переложить на любые вычисления, хоть квантовые, хоть божественные. Нужно либо показать, что семантика является эмерджетнным свойством каких-то синтаксических алгоритмов (чего пока никто не сделал, насколько я знаю), либо предложить функциональную модель понимания и сознания в алгоритмических терминах, где они бы являлись не чертиком из коробочки и не свойствами чего-то, а конкретными алгоритмами, функционально реализующими "понимание" над определенной синтаксической структурой или чем-то таким.

UPD: в случае с "алгоритмами" я тут даю себе вольность - имеются в виду алгоритмы любой вычислительной модели, как классической, так и квантовой и любой другой, если такие есть.

(Reply to this) (Parent)(Thread)


[info]nature_wonder
2009-03-11 10:34 am UTC (link)
Такую вольность позволять как раз нельзя, т.к. алгоритм вполне определенное и четкое понятие. И именно с алгоритмическим разумом воюет Пенроуз. Поэтому уж никак не ему предлагать "функциональную модель понимания и сознания в алгоритмических терминах".

(Reply to this) (Parent)(Thread)

(no subject) - [info]apoudy, 2009-03-11 11:34 am UTC
(no subject) - [info]nature_wonder, 2009-03-11 01:14 pm UTC
(no subject) - [info]apoudy, 2009-03-11 05:51 pm UTC
(no subject) - [info]nature_wonder, 2009-03-12 08:54 am UTC
(no subject) - [info]apoudy, 2009-03-12 09:28 am UTC
(no subject) - [info]nature_wonder, 2009-03-12 11:30 am UTC
(no subject) - [info]apoudy, 2009-03-12 11:45 am UTC
(no subject) - [info]apoudy, 2009-03-11 09:17 pm UTC
(no subject) - [info]nature_wonder, 2009-03-12 09:10 am UTC
(no subject) - [info]apoudy, 2009-03-12 09:16 am UTC
(no subject) - [info]nature_wonder, 2009-03-12 11:52 am UTC
(no subject) - [info]apoudy, 2009-03-12 12:02 pm UTC
(no subject) - [info]nature_wonder, 2009-03-12 12:48 pm UTC
(no subject) - [info]apoudy, 2009-03-12 01:12 pm UTC

(54 comments) - (Post a new comment)

Create an Account
Forgot your login or password?
Login w/ OpenID
English • Español • Deutsch • Русский…