Что значит тренированная логика >)
Aug. 17th, 2005 07:20 amут уж не спросить о компьютерном разуме невозможно! Убедительны ли аргументы против возможности такового на основе теорем Гёделя и Тьюринга (задача остановки, диагональный процесс), приведенные, например, Роджером Пенроузом (Roger Penrose) в его известной книге «Тени разума» («Shadows of the Mind»)? Ведь и нейросеть, и вероятностный компьютер, и даже, кажется, квантовый компьютер в принципе моделируемы на машине Тьюринга - и значит, если Пенроуз прав, не могут породить искусственный интеллект. Вообще, знаем ли мы сегодня больше, скажем, Раймонда Луллия о том, что такое разум?
- Теорема Гёделя - это очень точное, математически точное утверждение о дедуктивных системах определенного типа; то же можно сказать о теореме Тьюринга.
«Разум» - слово естественного языка, которое не имеет терминологического значения ни в одном известном мне контексте. Раймонд Луллий, вероятно, согласился бы с замечанием, что использование этого слова в научной или философской дискуссии есть типичный пример ошибки, называемой «реификация» - возникновение из воздуха предмета, для которого есть слово, материализация означаемого при произнесении означающего. Это как раз пример того, что я назвал выше расплывчатой метафоричностью естественного языка.
Я полагаю, что поэтому не может быть никаких научных аргументов ни за, ни против искусственного интеллекта - мы не условились, о чем говорим.
http://offline.computerra.ru/2001/379/6780/index.html
- Теорема Гёделя - это очень точное, математически точное утверждение о дедуктивных системах определенного типа; то же можно сказать о теореме Тьюринга.
«Разум» - слово естественного языка, которое не имеет терминологического значения ни в одном известном мне контексте. Раймонд Луллий, вероятно, согласился бы с замечанием, что использование этого слова в научной или философской дискуссии есть типичный пример ошибки, называемой «реификация» - возникновение из воздуха предмета, для которого есть слово, материализация означаемого при произнесении означающего. Это как раз пример того, что я назвал выше расплывчатой метафоричностью естественного языка.
Я полагаю, что поэтому не может быть никаких научных аргументов ни за, ни против искусственного интеллекта - мы не условились, о чем говорим.
http://offline.computerra.ru/2001/379/6780/index.html