Статья 482

Такой концепции придерживались создатели Общего Решателя Задач - С. Ньюэл, Д. Шоу и Р. Саймон. Однако логические исследования проблемы поиска доказательств преследуют цель изучить не то, как человек реально изобретает доказательство, но то, как возможен поиск доказательств, каковы методы этого поиска, как соотносятся эти методы по их силе и сложности. То же самое можно сказать и о задачах, относящихся к области искусственного интеллекта. В общем, перед этой областью исследований стоят проблемы моделирования ряда процедур, носящих интеллектуальный характер, но сами способы их реализации могут существенным образом отличаться от методов, которые использует естественный интеллект. Все это важно, тем более что история науки и методологии свидетельствует развитие науки и культуры осуществлялось не за счет совершенствования психики и творческих способностей отдельных личностей, а путем изобретения и совершенствования научных методов.