Cтраница 4
Теперь нам нужен тест Блупа под названием ТЕРМИНАТОР. Однако хитроумный аргумент, придуманный Аланом Тюрингом, доказал, что никакая программа Блупа не сможет безошибочно находить это различие. [46]
Тюринг предложил задачу, в которой человек задает вопросы неизвестно-му-существу-использующему - язык. В пользу Тюринга говорит то, что использование имитирующей игры, ставшей впоследствии широко известной как тест Тюринга, само по себе было весьма тонким обманом, который, давая специалистам по ИИ нечто конкретное для работы, уводил их внимание от философских вопросов разума, ставших главным раздражающим фактором в истории науки и философии. Не обращаясь непосредственно к философским вопросам, как это сделал Тюринг, он спрашивал: Является ли познание функцией материальных процессов, и если да, то могут ли такие функции происходить от неорганической машины. [47]
В нашем веке пришло время для компьютеров, превзошедших самые смелые мечты Паскаля, Лейбница, Баббаджа или леди Лавлейс. Эта теория была тесно связана с математикой. Фактически, теорема Геделя имеет параллель в теории вычислений: Алан Тюринг открыл существование неизбежных дыр в возможностях даже самого могучего компьютера. Словно в насмешку, как раз когда делались эти довольно мрачные прогнозы, строились новые компьютеры, чьи возможности росли на глазах, далеко превосходя самые смелые предсказания их создателей. [48]