Искусственный интеллект

Поведение компьютера может быть представлено в некоторой логической теории, поэтому на основе теоремы Геделя о неполноте логических систем можно заключить, что всегда найдутся задаваемые машине вопросы, истинность которых она установить не сможет. Это, конечно, справедливо. Но точно так же это справедливо и по отношению к человеку, если считать, что при решении проблемы (доказательстве теорем) он использует одну логическую теорию. На самом деле наша интуиция подсказывает, что человек использует не одну логическую теорию, а целый спектр теорий. При невозможности доказать теорему в одной из них он переходит к другой, затем, если с ней ничего не получается, — к третьей и т.д. до тех пор пока не удастся наткнуться на логическую теорию, которая позволяет осуществить доказательство. Не видно никаких препятствий компьютеру делать то же самое, перебирая или конструируя новую логическую теорию в попытке доказать теорему (ответить на вопрос).