Ранняя теория
1930-е–1950-е · Тьюринг и рождение вычислительной науки
Ещё до появления электронных компьютеров математики исследовали глубокий вопрос: могут ли машины «мыслить»? Этот вопрос привёл к созданию теоретических основ, заложивших математический и логический фундамент для последующего рождения искусственного интеллекта. Пионеры этой эпохи — Тьюринг, Чёрч, Гёдель — их работы были не просто математическими изысканиями, но и философским исследованием природы человеческого разума.
Теоретические изыскания этой эпохи можно разделить на три основных направления: развитие теории вычислений (труды Тьюринга и Чёрча), пределы формальной логики (работы Гёделя) и рождение теории информации (вклад Шеннона). Эти три направления, переплетаясь, образуют теоретический фундамент искусственного интеллекта.
Ключевые вехи
Теоремы Гёделя о неполноте
Курт Гёдель опубликовал свои теоремы о неполноте, доказав, что в любой достаточно мощной формальной системе существуют утверждения, которые нельзя ни доказать, ни опровергнуть в рамках этой системы. Это открытие не только потрясло математическое сообщество, но и имело глубокие последствия для теории вычислений и искусственного интеллекта.
Курт Гёдель (1906–1978)
Тезис Чёрча — Тьюринга
Алонзо Чёрч и Алан Тьюринг независимо друг от друга предложили знаменитый тезис Чёрча — Тьюринга. Этот тезис утверждает, что любая эффективно вычислимая функция является вычислимой по Тьюрингу. Тем самым интуитивное понятие «вычислимости» получило формализацию и стало основой компьютерной науки.
Алонзо Чёрч и Алан Тьюринг
Машина Тьюринга
Алан Тьюринг ввёл понятие машины Тьюринга в своей знаковой статье «О вычислимых числах с приложением к проблеме разрешения». Эта абстрактная вычислительная модель способна имитировать любой математически вычислимый процесс.
Алан Тьюринг (1912–1954)
Лямбда-исчисление
Алонзо Чёрч предложил лямбда-исчисление — формальную систему для определения и применения функций. Лямбда-исчисление считается теоретической основой функционального программирования. Исходное лямбда-исчисление 1936 года было бестиповым; Чёрч добавил простые типы в 1940 году («A Formulation of the Simple Theory of Types»), создав одну из первых явно типизированных систем.
Алонзо Чёрч (1903–1995)
Модель нейрона
Уоррен Мак-Каллок и Уолтер Питтс опубликовали работу «Логическое исчисление идей, присущих нервной деятельности», представив первую модель искусственного нейрона (нейрон Мак-Каллока — Питтса). Эта модель упрощала нейрон до бинарного порогового переключателя, заложив основу для последующих исследований нейронных сетей.
Уоррен Мак-Каллок и Уолтер Питтс
Кибернетика
Норберт Винер опубликовал «Кибернетику, или управление и связь в животном и машине», основав новую дисциплину — кибернетику. Изучение того, как системы регулируют себя посредством механизмов обратной связи, оказало глубокое влияние на ИИ и робототехнику.
Норберт Винер (1894-1964)
Теория информации Шеннона
Клод Шеннон опубликовал «Математическую теорию связи», заложив основы теории информации. Понятия энтропии, кодирования и количества информации стали ключевыми инструментами для понимания данных и обработки информации.
Клод Шеннон (1916–2001)
Тест Тьюринга
В статье «Вычислительные машины и разум» Тьюринг заменил неоднозначный вопрос «Могут ли машины мыслить?» игрой в имитацию, где судья по текстовому диалогу пытается отличить машину от человека. Это поведенческий критерий, а не доказательство наличия сознания.
Алан Тьюринг
Дартмутское предложение 1955 года
В 1955 году John McCarthy, Marvin Minsky, Nathaniel Rochester и Claude Shannon использовали термин «artificial intelligence» в предложении Dartmouth Summer Research Project и наметили программу исследований на лето 1956 года.
Джон Маккарти и др.
Ключевые фигуры
Алан Тьюринг
Отец компьютерной науки
Тьюринг был не только основателем компьютерной науки, но и пионером мысли об искусственном интеллекте. Его модель машины Тьюринга заложила основу теории вычислений, а тест Тьюринга стал эталоном для интеллектуальных машин. Во время Второй мировой войны его работы помогли взломать немецкий шифр «Энигма». В 1954 году Тьюринг погиб, подвергшись преследованиям за гомосексуальность. В 2013 году королева Елизавета II посмертно помиловала его.
Алонзо Чёрч
Отец лямбда-исчисления
Чёрч был профессором Принстонского университета. Его лямбда-исчисление является теоретической основой функционального программирования. Его учеником был Тьюринг, и вместе они предложили тезис Чёрча — Тьюринга, который остаётся центральным в теории вычислений.
Курт Гёдель
Логик
Теоремы Гёделя о неполноте считаются одним из важнейших математических открытий XX века. Они показывают, что даже такие точные системы, как математика, имеют внутренние ограничения — философское прозрение, глубоко влияющее на развитие ИИ.
Клод Шеннон
Отец теории информации
Шеннон был не только основателем теории информации, но и одним из первых исследователей искусственного интеллекта. Он создал механическую мышь (Тесей), способную решать лабиринты — одну из ранних демонстраций обучающейся машины. Его магистерская диссертация 1937 года «Символический анализ релейных и переключающих схем» считается основополагающей для теории цифровых переключательных схем.
Норберт Винер
Отец кибернетики
Винер был математиком в МТИ и основал кибернетику — междисциплинарную область. Его концепция «обратной связи» повлияла на ранние исследования ИИ. Винер также первым предупредил об опасностях, которые может принести ИИ.
Известные цитаты
Я предлагаю рассмотреть вопрос: «Могут ли машины мыслить?»
Любая достаточно мощная формальная система неполна.
Опасность машин не в самих машинах, а в зависимости человека от них.