Рецензия на «Гёделевский аргумент» (Иванов Евгений Михайлович)
"теорема Геделя утверждает, что для любого достаточно выразительно богатого языка и для любой непротиворечивой дедуктики, заданной на этом языке, множество истинных формул всегда больше множества доказуемых формул." Истин больше, чем мышление само себе способно доказать. 1. Может, мозг будучи энергетически слишком затратным органом ОТКЛЮЧАЕТСЯ и ради экономии не берётся ДОКАЗЫВАТЬ что либо? 2.Не есть ли в этом спасение? Не потому ли человек живёт, что совершенно ИСТИННУЮ вещь - КОНЕЧНОСТЬ - не доказывает. Ведь зачем жить-то, если умрёшь? Совершенно глупо! 3. Если возможен искусственный интеллект, то почему он "геделевский аргумент" - препона??? Может, этот аргумент и сделает почти искусственный интеллект таки искусственным интеллектом...Его надо скопировать, а не зацикливаться на нём... Вспомнилось видео с записью речи Юнга...как раз о том, что психика - своеобразный "демпфер" что ли...для этого тривиального и пугающего ДОКАЗАТЕЛЬСТВА КОНЕЧНОСТИ ОРГАНИЗМА...это в конце интервью http://www.youtube.com/watch?v=PxXa9PWeo84 время 31.12 - "на этот счёт мы не можем быть уверены..." Лидия Кашуро 16.04.2013 21:45 • Заявить о нарушении
Здесь речь идет о логике, а логика абстрагируется от самого физического процесса осуществления доказательства. Т.е. речь идет лишь об принципиальной возможности или невозможности чего-либо. Но реально учет ресурсов, конечно, важен. В конце 2 раздела я и показываю, что конечность человека, снимает те ограничения на имитацию его поведения, которые накладывает теорема Геделя. Хотя это и не означает, что не существует иных ограничений, уже физического или метафизического порядка, которые делают ИИ невозможным. См. об этом мою статью "Почему не возможен ИИ" http://www.proza.ru/2011/06/20/827
Иванов Евгений Михайлович 18.04.2013 09:19 Заявить о нарушении
Перейти на страницу произведения |
