Игорь Соболев
Теорема Гёделя как причина раскола американского общества
После университета надо было искать работу. Я хотел заниматься чем-то содержательным, а вокруг были одни банки, все делали какие-то системы документооборота, а мне при взгляде на них почему-то хотелось застрелиться. К тому же, меня раздражало, что мои однокурсники, которые должны бы заниматься чем-то близким к математике, занимались непонятно чем. Потом я по знакомству устроился на работу. Нужно было программировать, но программирование было простым, детским, работа мне не нравилась и я ушел. На новой работе тоже было программирование, но более творческое, близкое к математике. Оно мне нравилось больше, но все равно я от него сильно уставал, приходилось отдыхать. За последние годы у меня начало появляться ощущение, что мир вокруг как-то формализуется, то есть из него исчезает реальное содержание. Раньше все работали на производстве, а сейчас одни блоггеры. Раньше дети играли во дворе, а теперь они уткнулись в айфоны. Раньше показывали фильмы с сюжетом, а теперь ролики на ютюбе и сериалы на ТНТ. Даже компьютерные игры изменились. Раньше они были с сюжетом, когда в них играешь, как будто живешь, а сейчас только онлайновые РПГ. Когда я ходил в магазин, мне было жалко охранников, которые стояли там целый день без дела, когда я видел людей, разносящих еду в коробах, мне тоже их было жалко, так как я считал, что они зря тратят свою жизнь. Потом появились криптовалюты, их я вообще считал каким-то надувательством, деланием денег из воздуха. Современное искусство я считал лишенным содержания и презирал. Я не мог понять, откуда вся эта пустота взялась? В последние годы эти ощущения стали просто невыносимыми. Я стал писать в фейсбуке всякие тексты, где объяснял, почему мне не нравится современный мир. Один раз написал, что мне не нравится BigTech, а его поклонники сочли меня сумасшедшим. Я стал думать, в чем причина всего этого? В конце концов я пришел к такому выводу. Я рассуждал так. Поведение человечества формализуется. Но на поведение влияет интеллект. Значит он по каким-то причинам тоже формализуется. Но что может на него так влиять? Тут я вспомнил книгу Пенроуза. Если он прав, то с точки зрения человека искусственный интеллект должен быть каким-то слишком формальным. Но ведь именно такова моя точка зрения на окружающий мир. Не означает ли это, что на мир как-то влияют формальные системы? Формальные системы в виде программирования пришли сначала в прикладную науку, а потом в бизнес и с тех пор их влияние на мир только растет. Значит, вполне возможно что это является причиной формализации интеллекта. Итак, выскажем такую гипотезу.
