Ум против компьютера. Превосходит ли человеческий ум компьютер: обоснование с точки зрения математической логики.

В первой части мы рассмотрим критерии сопоставления человеческого интеллекта и машинного «интеллекта». Практические успехи искусственного интеллекта, несмотря на их ошеломляющий характер, могут служить скорее прикидочным и эмоциональным оценкам в таком сравнении, поэтому требуется более обоснованные аргументы. Знаменитый логик Курт Гёдель предложил сопоставление ума и компьютера в русле соображений, имеющих характер «математической достоверности», то есть, максимальным из имеющихся средств убедительности рассуждения о человеческом уме в сравнении с машиной. Первая теорема Геделя утверждает, что в любой формальной системе математики существует истинное утверждение, которое недоказуемо. Поскольку самое строгое доказательство является прерогативой компьютера, а понимание истинности утверждения – прерогативой человеческого ума, британский философ Дж. Лукас заявил о принципиальном превосходстве человеческого ума над машинным «интеллектом», основав направление «Ментализм», единственным сторонником которого долгое время был британский математик (ныне лауреат Нобелевской премии) Р. Пенроуз. Сторонники искусственного интеллекта, объединившись в направлении под названием «Механизм», подвергло резкой критики менталистов, которые якобы не обладали достаточной компетенцией в области математической логики. Но посмертные рукописи самого К. Гёделя показали, что он на стороне менталистов. И тогда началась настоящая битва Механизма и Ментализма в вопросе о том, кто «умнее» - человек или компьютер, уже с применением самых изощренных аргументов.