Кафедра Ваннаха: Человечество у колыбели искусственного разума
Ваннах Михаил
Опубликовано 13 июля 2010 года
Одним из наиболее известных достижений математики ХХ века была теорема о неполноте Курта Гёделя. Из этой теоремы следует, что не существует полной формальной теории, где были бы доказуемы все истинные теоремы арифметики. И очень часто эту теорему пытаются трактовать, как научное доказательство ограниченности интеллектуальных возможностей и человека, и человечества в целом.
Теорема Гёделя действительно крайне интересна. Читателям, не изучавшим математику в размере университетского курса (университетского — в смысле мехматовского и иже с ним), можно было бы порекомендовать познакомиться с её мощью и с изяществом её доказательства.
По любой книге — ну, скажем, С. Клини, «Математическая логика». Причём, чем в более зрелом возрасте человек это проделает, тем больше будет его удовольствие. Ну, и некоторая практическая польза, которая проистечёт из лучшего представления о том, что есть основания математики.
Но вот к ограничению возможностей человека теорема эта не имеет ни малейшего отношения. Когда мы, скажем, подшучиваем над дамочками-психологами, с каменным лицом цитируя формулировки теоремы, и делая широкое обобщение, что никогда человек не поймёт сам себя, то мы должны хорошо представлять, где и какую логическую ошибку мы при этом совершаем.
Пример очень аккуратного применения теоремы Гёделя к гуманитарным проблемам читатель сможет найти в прекрасном военном романе подзабытого ныне писателя Льва Славина «Арденнские страсти». А вот о создании сложных технических систем, больших систем, — пользуясь нынешней терминологией — давным-давно написали два советских сатирика, причём написали весьма весело.
Три месяца 1935 года писатели Илья Ильф и Евгений Петров колесили по США в качестве корреспондентов большевистского официоза «Правда». Результатом этой поездки стала книга «Одноэтажная Америка», увидевшая в свет в 1936 году. Соединенные Штаты и тогда уже были самой мощной экономикой мира, и, естественно, в книге уделялось немалое внимание техническим новинкам. Автомобилям и инфраструктуре.
Электрической бытовой технике, которой даже в 1950-е Никсон хвастался перед Хрущевым. Даже Вергилий (или Беатриче – выберите сами в зависимости от политических предпочтений), водивший писателей по лимбам и кругам Америки, и названный в книге мистером Адамсом, в реальности был инженером General Electric С. А. Троном.