Мне известна дискуссия про то, что (а) любое вычисление, которое может быть выполнено, может быть выполнено на машине Тьюринга и то, что (б) мы, двуногие, регулярно делаем нечто такое, что этой машине не подвластно. Традиционно господа делают вывод, что объяснить это можно только тем, что в нас есть какие-то деталюшки, которые обеспечивают концептуально более высокие вычислительные возможности. Я же придерживаюсь немножко другой точки зрения: разгадка в том, что то, чем мы занимаемся, вовсе не является вычислением. Соответственно, сравнивать МТ, занимающуюся вычислениями с мозгом, не занимающимся вычислениями - это изначально абсурд.
Что касается тьюринговости современных компьютеров, то... знаете, что из себя представляет типичная современная программа? Например, Word, Excel, Google Chrome, World of tanks, AIMP, MySQL server и т.д.? Вот Вы тыкаете на иконку, и стартует вычислительный процесс. Выполняется так называемая основная программа. Что она делает? У всех этих и не только этих программ основная программа почти ничего не делает кроме того, что регистрирует в системе обработчики событий. И завершается. Результат: для того, чтобы выразить машиной Тьюринга работу современной программы (даже какого-нибудь банального Блокнота), необходимо выразить ею всю Вселенную, не забыв включить в это выражение содержимое тех областей пространства-времени, которые принципиально недоступны согласно релятивистким законам.
Мне известна дискуссия про то, что (а) любое вычисление, которое может быть выполнено, может быть выполнено на машине Тьюринга и то, что (б) мы, двуногие, регулярно делаем нечто такое, что этой машине не подвластно. Традиционно господа делают вывод, что объяснить это можно только тем, что в нас есть какие-то деталюшки, которые обеспечивают концептуально более высокие вычислительные возможности.
Я же придерживаюсь немножко другой точки зрения: разгадка в том, что то, чем мы занимаемся, вовсе не является вычислением. Соответственно, сравнивать МТ, занимающуюся вычислениями с мозгом, не занимающимся вычислениями - это изначально абсурд.
Что касается тьюринговости современных компьютеров, то... знаете, что из себя представляет типичная современная программа? Например, Word, Excel, Google Chrome, World of tanks, AIMP, MySQL server и т.д.? Вот Вы тыкаете на иконку, и стартует вычислительный процесс. Выполняется так называемая основная программа. Что она делает? У всех этих и не только этих программ основная программа почти ничего не делает кроме того, что регистрирует в системе обработчики событий. И завершается. Результат: для того, чтобы выразить машиной Тьюринга работу современной программы (даже какого-нибудь банального Блокнота), необходимо выразить ею всю Вселенную, не забыв включить в это выражение содержимое тех областей пространства-времени, которые принципиально недоступны согласно релятивистким законам.
Reply
Leave a comment