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

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

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