29 июня 2023г. в рамках работы Всемирного конгресса «Теория систем, алгебраическая биология, искусственный интеллект: математические основы и приложения» (Программа работы Конгресса на официальном сайте: https://congrsysalgbai.ru/ru/), Институт философии и права СО РАН, Центр исследований искусственного интеллекта и социальной эпистемологии ИФПР СО РАН проводит работу секции «Вычислимость машинная и человеческая, феномен неполноты».
Работа секции пройдет смешанном формате. Место проведения: Новосибирск, ул. Николаева, 11. «Точка кипения». Начало работы секции 15.00 (Нск). Регистрация участников производится по ссылке: https://leader-id.ru/events/439507.
В рамках работы секции планируется обсуждение выступлений следующих докладчиков:
- Целищев В.В. Алгоритмическая версия ментализма: диагональный аргумент Пенроуза
- Доманов О.А. Монадные вычисления в теоретико-типовой семантике
- Зайкова А.С. Новая B-теория как основная теория времени для систем искусственного интеллекта
- Моисеева А.Ю. ИИ-система как инструмент познания в контексте задач проверки качества информации
- Хлебалин А.В. Истинность G-предложения для человека и машины
Ссылка для on-line-участия будет размещена 28 июня на сайте ИФПР СО РАН.