Игорь Соболев
Теорема Гёделя как причина раскола американского общества
Я по образованию математик, защитил кандидатскую диссертацию по геометрии, сейчас работаю в атомной промышленности. У меня есть брат, он хороший программист, а я особой склонности к программированию никогда не испытывал. Как-то мы вместе прочитали книгу Пенроуза «Новый ум короля». В этой книге автор доказывал, что искусственный интеллект, созданный на основе формальных систем, появившихся в результате программы Гильберта, существенно отличается от человеческого. Основным аргументом была известная в математике и логике теорема Геделя, которая утверждает, что существуют верные утверждения за пределами любой формальной системы. Так как формальная система никак не может найти эти утверждения, это по-видимому означает, что человеческий интеллект отличается от алгоритмов. Мы спорили об этой книге, я соглашался с ней, а брат нет. Потом была книга Хофштадтера «Гедель. Эшер. Бах. Эта бесконечная гирлянда». В ней тоже говорилось о теореме Геделя и формальных системах. Из этих двух книг я вынес суждение, что эти формальные системы действительно какая-то ерунда и до человеческого интеллекта им далеко. Итак, имеем следующее предположение
Гипотеза 1. Искусственный интеллект, основанный на формальных системах, существенно отличается от человеческого.
