Ум против компьютера. Превосходит ли человеческий ум компьютер: обоснование с точки зрения математической логики.
2 марта 2023, с 17:30 до 19:00 по Красноярскому времени
![Image](https://leader-id.storage.yandexcloud.net/upload/4341013/32ff4dcd-09c8-4be3-a140-9c85d714170d.jpg)
Уже идут:
![Скрипкина Татьяна Константиновна Скрипкина Татьяна Константиновна](https://leaderid.s3.amazonaws.com/user_photo/395040/60cb63c990668892390729_180.jpg)
![Евсюкова Валентина Сергеевна Евсюкова Валентина Сергеевна](https://v3.leader-id.ru/files/user_photo/383820/383820_200.jpg)
![Викентьев Юрий Викентьев Юрий](https://v3.leader-id.ru/files/user_photo/299764/299764_200.jpg)
![Берестов Игорь Владимирович Берестов Игорь Владимирович](https://leader-id.storage.yandexcloud.net/user_photo/396018/63d0c8db3f8a9100397286_180.jpg)
![Моисеева Анна Моисеева Анна](https://v3.leader-id.ru/files/user_photo/282066/282066_200.jpg)
![Вольф Марина Николаевна Вольф Марина Николаевна](https://leader-id.storage.yandexcloud.net/user_photo/288748/615fe7ce0e2d5606783789_180.jpeg)
О мероприятии
В первой части мы рассмотрим критерии сопоставления человеческого интеллекта и машинного «интеллекта». Практические успехи искусственного интеллекта, несмотря на их ошеломляющий характер, могут служить скорее прикидочным и эмоциональным оценкам в таком сравнении, поэтому требуется более обоснованные аргументы. Знаменитый логик Курт Гёдель предложил сопоставление ума и компьютера в русле соображений, имеющих характер «математической достоверности», то есть, максимальным из имеющихся средств убедительности рассуждения о человеческом уме в сравнении с машиной. Первая теорема Геделя утверждает, что в любой формальной системе математики существует истинное утверждение, которое недоказуемо. Поскольку самое строгое доказательство является прерогативой компьютера, а понимание истинности утверждения – прерогативой человеческого ума, британский философ Дж. Лукас заявил о принципиальном превосходстве человеческого ума над машинным «интеллектом», основав направление «Ментализм», единственным сторонником которого долгое время был британский математик (ныне лауреат Нобелевской премии) Р. Пенроуз. Сторонники искусственного интеллекта, объединившись в направлении под названием «Механизм», подвергло резкой критики менталистов, которые якобы не обладали достаточной компетенцией в области математической логики. Но посмертные рукописи самого К. Гёделя показали, что он на стороне менталистов. И тогда началась настоящая битва Механизма и Ментализма в вопросе о том, кто «умнее» - человек или компьютер, уже с применением самых изощренных аргументов.
Контакты
Адрес
Зал
Институт НЕДОСТУПНЫХ ПРОБЛЕМ
Организаторы
Целищев Виталий Валентинович