4.3.Заключение

•Бурный прогресс 50-70-х г.г. XX века в развитии кибернетики и ЭВМ сопровождался своеобразной эйфорией, когда казалось, что любая задача может быть представлена в форме машинной программы и сосчитана. Проблема представлялась лишь в том, чтобы разработать достаточно подробный и адекватный алгоритм, увеличить объем памяти и быстродействие ЭВМ.

Врамках проблематики искусственного интеллекта этот подход трактуется как основанный на логическом выводе в символической форме и точных вычислениях (так называемая компьютерная парадигма). Однако, по мере возрастания сложности алгоритмов, увеличения объема памяти и вычислительной мощности ЭВМ стало ясно, что есть задачи, требующие для своего решения принципиально иного подхода. Речь идет о так называемых трудноформализуемых, нечетко определенных, неалгоритмизируемых и невербализируемых задачах.

•Решение таких задач стимулирует развитие «неалгоритмических» компьютерных систем с недетерминированным поведением. Последние достижения в теории квантовых вычислений на примерах подтвердили следующее утверждение: «… Несмотря на то, что истины логики и чистой математики объективны, наше знание этих истин полностью зависит от законов физики»/. Это заставляет нас переосмыслить традиционный взгляд на то, что математические истины и чистые логические понятия не зависят от вычисления как физического процесса. В этой связи предлагается модифицировать тезис Черча-Тьюринга следующим образом: «Каждая конечно реализуемая физическая система может быть полностью продемонстрирована универсальной моделирующей вычислительной машиной, действующей конечными средствами». В рамках этой модификации расширяется класс вычислимых функций, поскольку объявляются вычислимыми те функции, которые могут быть воспроизведены реальной физической системой, т.е. функции вычисляемые самой природой. Идея понятна, – трудно считать функции невычислимыми, если они вычисляются природой и наоборот. Обычно считается, что функции воспроизводимые природой, всюду плотны на континууме, тогда как функции вычисляемые моделью Тьюринга, составляют лишь перечислимое множество всех функций, определенных на множестве целых чисел. Поэтому и возникла мысль «офизичить» тезис Черча-Тьюринга.

•

/ Р. Фейнман, Моделирование физики на компьютерах. Сборник «Квантовый компьютер и квантовые вычисления» Вып.2. Ижевск. 1999. с. 53-95