02 марта 2023 г. в Точке кипения (Николаева, 11), в 17.30 открывается второй цикл лекций в рамках
Открытой аспирантуры ИФПР СО РАН.
Лектор: научный руководитель ИФПР СО РАН, д.филос.н. В.В. Целищев.
Цикл Лекций «Ум против компьютера: о природе человеческого мышления и искусственного интеллекта».
В рамках цикла пройдут три лекции:
- Лекция 1: Превосходит ли человеческий ум компьютер: обоснование с точки зрения математической логики.
- Лекция 2: Математическое и компьютерное доказательство: убеждение или вынуждение.
- Лекция 3: Ум и компьютер в каркасе рекурсивного мышления.
02 марта цикл откроется лекцией «Превосходит ли человеческий ум компьютер: обоснование с точки зрения математической логики»
В ней будут рассмотрим критерии сопоставления человеческого интеллекта и машинного «интеллекта». Практические успехи искусственного интеллекта, несмотря на их ошеломляющий характер, могут служить скорее прикидочным и эмоциональным оценкам в таком сравнении, поэтому требуется более обоснованные аргументы. Знаменитый логик Курт Гёдель предложил сопоставление ума и компьютера в русле соображений, имеющих характер «математической достоверности», то есть, максимальным из имеющихся средств убедительности рассуждения о человеческом уме в сравнении с машиной. Первая теорема Геделя утверждает, что в любой формальной системе математики существует истинное утверждение, которое недоказуемо. Поскольку самое строгое доказательство является прерогативой компьютера, а понимание истинности утверждения – прерогативой человеческого ума, британский философ Дж. Лукас заявил о принципиальном превосходстве человеческого ума над машинным «интеллектом», основав направление «Ментализм», единственным сторонником которого долгое время был британский математик (ныне лауреат Нобелевской премии) Р. Пенроуз. Сторонники искусственного интеллекта, объединившись в направлении под названием «Механизм», подвергло резкой критики менталистов, которые якобы не обладали достаточной компетенцией в области математической логики. Но посмертные рукописи самого К. Гёделя показали, что он на стороне менталистов. И тогда началась настоящая битва Механизма и Ментализма в вопросе о том, кто «умнее» - человек или компьютер, уже с применением самых изощренных аргументов.
Регистрация — на сайте Leader ID: https://leader-id.ru/events/400344.