Решение этих задач в окружении, предполагающем) предоставление
машиной множества различных услуг, требует разрешения многих проблем,
включая координацию действий и распределение ресурсов. Некоторые из таких
решений будут рассмотрены в главе Я, посвящеииой операционным системам.
По мере того как от машин требовалось выполнение все более и более интеллек-
туальных заданий, в области компьютерных наук выделилось направление изучения
(кобеиностей человеческого разума. Цель исследований состояла в том, что после
выявления механизмов, позволяющих нашему мозгу рассуждать и познавать, можно
будет разработать алгоритмы, имитирующие эти процессы, и, таким образом, пере-
дать эти возможности машинам. Эта новая область компьютерных наук, именуемая
теорией искусственного интеллекта, в значительной степени основывается на дости-
жениях таких наук, как психология, биология и лингвистика. Некоторые аспекты
теории искусственного интеллекта обсуждаются в главе 10.
Поиски алгоритмов решения все более сложных задач сделали актуальными ис-
следования в области предельных ограничений самих процессов алгоритмизации.
Если не существует алгоритма выполнения задания, то это задание не может быть
выполнено машиной. Говорят, что задача, решение которой может быть описано с
помощью алгоритма, является алгоритмической. Из этого определения следует, что
машины способны выполнять только алтоенггмичесхие задания.
Такое понятие, как «алгоритмические задачи, появилось в математике в на-
чале двадцатого века после доказательства теоремы Курта Геделя о неполноте.
Коротко говоря, эта теореме утверждает, что в любой математической теории,
которая охватывает Традиционную арифметическую систему, существуют утвер-
ждения, которые невозможно ни доказать, ни опровергнуть. В результате любое
полное изучение нашей арифметической системы выходит за пределы возможно-
стей алгоритмических действий.
Стремление исследовать своисгвеииьь? алгоритмическим методам ограничения,
вытекающие из сделанного Геделем открытия, привело математиков к разработке
понятия абстрактных машин, предназначенных для выполнения алгоритмов, и изу-
чению теоретических возможностей этих гипотетических машин. (Это было еще до
того, как технология позволила создать действующие машины для проведения по-
добных исследований.) В настоящее время результаты подобных исследований алгоритмов и машин представляют теоретические основы компьютерных наук.

Комментарии на сайте: