На плечах гигантов, на спинах электронов
Вторая 1/8-я часть.
«Вычислимость» человеческого мышления.
Многие ученые задавались вопросом о вычислительной природе умственной деятельности человека. Термин «вычислительный» следует рассматривать в стандартном смысле вычислимости по Тьюрингу. В самом деле, компьютеры, которыми мы повседневно пользуемся, являются цифровыми, и именно это их свойство оказывается существенным для современных разработок в области ИИ.
Этот вопрос содержит в себе ряд принципиально важных аспектов, которые можно сформулировать следующим образом. Представляет собой человеческое мышление лишь вычисление, которое можно описать в виде универсальной машины Тьюринга, или оно имеет невычислимую, неалгоритмизируемую составляющую – и на современном этапе развития науки и техники моделирование этой составляющей пока не представляется возможным? Если так, то тут же возникает еще один вопрос: является ли эта "невычислимая составляющая" также и непостижимой, – то есть недоступной для научного анализа? Два полюса: «всякое мышление есть вычисление» и «разум неподвластен языку математики, и вообще, науки» указывают на широчайший диапазон возможных точек зрения от физикализма до мистицизма и религиозного доктринерства.
В [Пенроуз, 2005] Р. Пенроуз на основании теоремы Гёделя о неполноте выдвинул гипотезу о невычислимости сознания, согласно которой сознание, в частности понимание, невозможно моделировать вычислительными средствами, – но, тем не менее, можно надеяться на постижение этих процессов научными методами.
«Многое говорит за то, что результаты Гёделя демонстрируют нечто большее, – а именно, доказывают, что способность человека к пониманию и постижению сути вещей невозможно свести к какому бы то ни было набору вычислительных правил».
«Из доказательства Гёделя отнюдь не следует, что существуют недоступные математические истины. Из него следует лишь, что человеческая интуиция не укладывается ни в рамки формальной аргументации, ни в рамки вычислительных процедур».
«Вычислимость» человеческого мышления.
Многие ученые задавались вопросом о вычислительной природе умственной деятельности человека. Термин «вычислительный» следует рассматривать в стандартном смысле вычислимости по Тьюрингу. В самом деле, компьютеры, которыми мы повседневно пользуемся, являются цифровыми, и именно это их свойство оказывается существенным для современных разработок в области ИИ.
Этот вопрос содержит в себе ряд принципиально важных аспектов, которые можно сформулировать следующим образом. Представляет собой человеческое мышление лишь вычисление, которое можно описать в виде универсальной машины Тьюринга, или оно имеет невычислимую, неалгоритмизируемую составляющую – и на современном этапе развития науки и техники моделирование этой составляющей пока не представляется возможным? Если так, то тут же возникает еще один вопрос: является ли эта "невычислимая составляющая" также и непостижимой, – то есть недоступной для научного анализа? Два полюса: «всякое мышление есть вычисление» и «разум неподвластен языку математики, и вообще, науки» указывают на широчайший диапазон возможных точек зрения от физикализма до мистицизма и религиозного доктринерства.
В [Пенроуз, 2005] Р. Пенроуз на основании теоремы Гёделя о неполноте выдвинул гипотезу о невычислимости сознания, согласно которой сознание, в частности понимание, невозможно моделировать вычислительными средствами, – но, тем не менее, можно надеяться на постижение этих процессов научными методами.
«Многое говорит за то, что результаты Гёделя демонстрируют нечто большее, – а именно, доказывают, что способность человека к пониманию и постижению сути вещей невозможно свести к какому бы то ни было набору вычислительных правил».
«Из доказательства Гёделя отнюдь не следует, что существуют недоступные математические истины. Из него следует лишь, что человеческая интуиция не укладывается ни в рамки формальной аргументации, ни в рамки вычислительных процедур».