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