Ранняя теория
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 посмертно помиловала его.
Алонзо Чёрч
Отец лямбда-исчисления
Чёрч был профессором Принстонского университета. Его лямбда-исчисление является теоретической основой функционального программирования. Тьюринг защитил под его руководством докторскую диссертацию в Принстоне. В 1936 году каждый из них независимо дал определение вычислимости, которое позже назвали тезисом Чёрча — Тьюринга; он остаётся центральным в теории вычислений.
Курт Гёдель
Логик
Теоремы Гёделя о неполноте считаются одним из важнейших математических открытий XX века. Они показывают, что даже такие точные системы, как математика, имеют внутренние ограничения — философское прозрение, глубоко влияющее на развитие ИИ.
Клод Шеннон
Отец теории информации
Шеннон был не только основателем теории информации, но и одним из первых исследователей искусственного интеллекта. Он создал механическую мышь (Тесей), способную решать лабиринты — одну из ранних демонстраций обучающейся машины. Его магистерская диссертация 1937 года «Символический анализ релейных и переключающих схем» считается основополагающей для теории цифровых переключательных схем.
Норберт Винер
Отец кибернетики
Винер был математиком в МТИ и основал кибернетику — междисциплинарную область. Его концепция «обратной связи» повлияла на ранние исследования ИИ. Он был и одним из первых учёных, предупредивших об опасностях таких машин, хотя и не первым, кто их опасался: в статье 1960 года в Science он противопоставил своё предупреждение роману Сэмюэла Батлера о машинах, господствующих над людьми, написанному почти за столетие до того.
Известные цитаты
Я предлагаю рассмотреть вопрос: «Могут ли машины мыслить?»
Computing Machinery and Intelligence · Mind 59 (236), 1950, 433–460
Либо… человеческий разум (даже в пределах чистой математики) бесконечно превосходит возможности любой конечной машины, либо существуют абсолютно неразрешимые диофантовы проблемы.
Some basic theorems on the foundations of mathematics and their implications · Gibbs Lecture, 1951; Collected Works III, 1995, p. 310 · Internet Encyclopedia of Philosophy
Если для достижения своих целей мы используем механическое средство, в работу которого не можем эффективно вмешаться, когда оно уже запущено… то нам лучше быть вполне уверенными, что цель, вложенная в машину, — это та цель, которой мы действительно желаем, а не просто её красочная имитация.
Some Moral and Technical Consequences of Automation · Science 131 (3410), 1960, 1355–1358