26 октября в 13.30 в конференц-зале ИФПР СО РАН состоится очередное заседание семинара по социальной эпистемологии и искусственному интеллекту.
Докладчик: ведущий научный сотрудник ИФПР СО РАН А.В. Бессонов.
Тема доклада: Аргумент Гёделя–Лукаса–Пенроуза в проблеме искусственного интеллекта
Аннотация:
Аргумент Гёделя–Лукаса–Пенроуза принято рассматривать как значимое свидетельство принципиальной невозможности создания искусственного интеллекта. Согласно этому аргументу, на неформальном уровне мы можем установить истинность неразрешимого гёделева предложения G, но ни доказать, ни опровергнуть его в формальной арифметике невозможно (первая теорема Гёделя о неполноте). Я попытаюсь показать, что из доказательства первой теоремы Гёделя о неполноте однозначно не следует оценка гёделевского предложения G как истинного, что влечет необоснованность аргумента Гёделя–Лукаса–Пенроуза.