Возможности вычислительных машин и человеческий разум


         

ЛОГИЧЕСКИ НЕПРОТИВОРЕЧИВО; СЛЕДУЕТ ЛИ МНЕ


Радиус блюда равен 10.
Чему равна площадь блюда?
ДОПУЩЕНИЕ О ТОМ, ЧТО БЛЮДО - КРУГ, ЛОГИЧЕСКИ НЕПРОТИВОРЕЧИВО; СЛЕДУЕТ ЛИ МНЕ ПРОДОЛЖАТЬ?
Да.
ПЛОЩАДЬ БЛЮДА РАВНА 314,15899.
Радиус глобуса равен 10.
Глобус - это шар.
Шар - это объект.
Чему равна площадь поверхности глобуса?
ОНА РАВНА 1256,6359.
Длина стороны тарелки равна 10.
Чему равна площадь тарелки?
ДОПУЩЕНИЕ О ТОМ, ЧТО ТАРЕЛКА - КВАДРАТ, ЛОГИЧЕСКИ НЕПРОТИВОРЕЧИВО; СЛЕДУЕТ ЛИ МНЕ ПРОДОЛЖАТЬ?
Да.
ПЛОЩАДЬ ТАРЕЛКИ РАВНА 100.
Когда я говорю "прибор", я имею в виду тарелку.
Чему равна утроенная длина стороны прибора?
ОНА РАВНА 30.
Пожалуйста, назовите ее "х".
Пусть f(x) равняется "x" в квадрате минус "х".
Вычислите значение f(x).
ОНО РАВНО 870.
Программу, побуждающую вычислительную машину выполнять эти действия, лучше рассматривать не как набор команд вида "если так, то делай так", а как совокупность приемов установления фактов. Эти правила используются для того, чтобы установить, каким образом утверждения, которые можно вводить в машину, соотносятся с теми вопросами, которые ей могут быть заданы. Следовательно, поведение вычислительной машины определяется задаваемыми ей утверждениями (например, "глобус - это шар") в той же мере, что и ее командами.
Часто повторяемый трюизм, что вычислительная машина может делать только то, что ей сказано делать, оказывается, таким образом, подобно большинству трюизмов, касающихся сложных вопросов, по меньшей мере, проблематичным. Существует много способов "сказать" что-то вычислительной машине.
Столь же проблематична идея о том, что можно написать программу, реализующую все, что вы "полностью понимаете". Понимать что-то всегда - значит понимать это на некотором определенном уровне. Актуарий [Прим. перев.: Актуарий - специалист-статистик, работающий в области страхования] использует довольно сложные математические средства, обоснования которых он почти наверняка не понимает или они его совершенно не интересуют.

Содержание  Назад  Вперед