Проблема остановки и аргумент Пенроуза

– Да, но принцип работы вычислительной машины – это и есть язык ее программирования, т. е. алгоритмическая последовательность элементарных действий по записи и стиранию значений на ленте машины Тьюринга. То есть, разбирая сверху вниз язык какого угодно уровня до уровня простейших кодов, можно понять и принцип действия машины.

Проблема остановки и аргумент Пенроуза

В теории вычислимости проблема остановки — это проблема разрешимости, которая может неформально быть поставлена в виде: «Даны описание алгоритма...

– Машина Тьюринга – монстр, существующий только в математических текстах. Мой близкий друг Владимир Чехлов, получивший в свое время Госпремию за разработку БЭСМ-6, занимался разработкой периферии наших ЭВМ и любил говорить, что никто не понимает, что происходит в современном сложном компьютере. Те же асинхронные взаимодействия вряд ли можно описать в терминах теории машины Тьюринга, которая реальную физику вычислительного процесса уже не ловит. Что говорить, если руководство IBM не всегда понимает логику того, что происходит на ее заводской периферии, где идут самостоятельные процессы оптимизации производства вычислительных устройств. Хотя существенные элементы архитектуры ЭВМ во многом наследуют элементы архитектуры фон Неймана, это правда. Но у меня возникает ощущение, что многие, скорее, очень хотят, чтобы они соответствовали этой архитектуре.

– Известна позиция Роджера Пенроуза, критикующего алгоритмическое разложение феномена мышления и ставящего под сомнение реальность его имитации с помощью вычислительных машин. С этим был связан мой предыдущий вопрос о вычислимости.

– Похоже, вы, как и многие, угодили здесь в одну и ту же математическую западню. Когда что-то вычислимо, это не означает автоматически, что это можно сделать. А когда невычислимо, то сделать якобы нельзя. Все это – превратное понимание в широком смысле узких математических терминов. Вообще все рассуждения по поводу теоремы Геделя о неполноте и невозможности из-за этого понять мозг, на мой взгляд, бредовы. Никакого отношения теорема Геделя к тому, как работает мозг, не имеет вообще. Если стоять на простой и наивной точке зрения, что мозг устроен определенным образом и благодаря этому устройству мы наделены определенными способностями, то понять, как именно работает мышление, в конечном итоге можно.

И ничто не запрещает нам это сделать! Другое дело, что скрытых факторов в случае с устройством мозга продолжает оставаться очень много.

⇐ Предыдущая 1 2 3 456 7 8 9 10 Следующая ⇒