Lý thuyết Sơ khai
những năm 1930–những năm 1950 · Turing & Sự Ra đời của Máy tính
Trước khi máy tính điện tử ra đời, các nhà toán học đã khám phá một câu hỏi sâu sắc: Liệu máy móc có thể “suy nghĩ”? Câu hỏi này dẫn đến sự hình thành các nền tảng lý thuyết, đặt cơ sở toán học và logic cho sự ra đời của trí tuệ nhân tạo sau này. Những người tiên phong của thời kỳ này — Turing, Church, Gödel — công trình của họ không chỉ là khám phá toán học mà còn là sự truy vấn triết học về bản chất trí tuệ con người.
Các nghiên cứu lý thuyết thời kỳ này có thể chia thành ba hướng chính: phát triển lý thuyết tính toán (do Turing và Church dẫn dắt), giới hạn của logic hình thức (công trình của Gödel), và sự ra đời của lý thuyết thông tin (đóng góp của Shannon). Ba hướng này đan xen nhau, tạo nên nền tảng lý thuyết của trí tuệ nhân tạo.
Các Cột mốc Quan trọng
Định lý Bất toàn của Gödel
Kurt Gödel công bố định lý bất toàn, chứng minh rằng bất kỳ hệ thống hình thức đủ mạnh nào cũng chứa những mệnh đề không thể chứng minh hay bác bỏ trong chính hệ thống đó. Khám phá này không chỉ gây chấn động giới toán học mà còn có ý nghĩa sâu sắc đối với lý thuyết tính toán và trí tuệ nhân tạo.
Kurt Gödel (1906–1978)
Luận đề Church-Turing
Alonzo Church và Alan Turing độc lập đề xuất Luận đề Church-Turing nổi tiếng. Luận đề này khẳng định rằng mọi hàm có thể tính toán hiệu quả đều có thể tính được bởi máy Turing. Điều này hình thức hóa khái niệm trực giác về “tính toán được” và trở thành nền tảng của khoa học máy tính.
Alonzo Church & Alan Turing
Máy Turing
Alan Turing giới thiệu khái niệm máy Turing trong bài báo mang tính bước ngoặt “Về các Số Tính toán được, với Ứng dụng cho Entscheidungsproblem”. Mô hình tính toán trừu tượng này có thể mô phỏng bất kỳ quá trình tính toán nào về mặt toán học.
Alan Turing (1912–1954)
Lambda Calculus
Alonzo Church đề xuất Lambda Calculus, một hệ thống hình thức để định nghĩa và áp dụng hàm. Lambda Calculus được coi là nền tảng lý thuyết của lập trình hàm. Bản gốc lambda calculus năm 1936 vốn không có kiểu; Church đã thêm kiểu đơn giản vào năm 1940 (“A Formulation of the Simple Theory of Types”), tạo ra một trong những hệ thống kiểu rõ ràng đầu tiên.
Alonzo Church (1903–1995)
Mô hình Nơ-ron
Warren McCulloch và Walter Pitts công bố “Một Phép tính Logic của các Ý tưởng Nội tại trong Hoạt động Thần kinh”, giới thiệu mô hình nơ-ron nhân tạo đầu tiên (nơ-ron McCulloch-Pitts). Mô hình này đơn giản hóa nơ-ron thành các công tắc ngưỡng nhị phân, đặt nền móng cho nghiên cứu mạng nơ-ron sau này.
Warren McCulloch & Walter Pitts
Điều khiển học
Norbert Wiener xuất bản “Điều khiển học: Hay Sự Điều khiển và Truyền thông ở Động vật và Máy móc”, sáng lập ngành điều khiển học. Nghiên cứu về cách các hệ thống tự điều chỉnh thông qua cơ chế phản hồi có ảnh hưởng sâu sắc đến AI và robotics.
Norbert Wiener (1894-1964)
Lý thuyết Thông tin của Shannon
Claude Shannon xuất bản “Một Lý thuyết Toán học về Truyền thông”, đặt nền móng cho lý thuyết thông tin. Các khái niệm như entropy, mã hóa và lượng thông tin trở thành công cụ cốt lõi để hiểu dữ liệu và xử lý thông tin.
Claude Shannon (1916–2001)
Phép thử Turing
Trong “Computing Machinery and Intelligence”, Turing thay câu hỏi mơ hồ “Máy có thể suy nghĩ không?” bằng trò chơi bắt chước, trong đó người đánh giá dùng hội thoại văn bản để phân biệt máy với người. Đây là một tiêu chí hành vi, không phải bằng chứng rằng máy có ý thức.
Alan Turing
Đề xuất Dartmouth năm 1955
Năm 1955, John McCarthy, Marvin Minsky, Nathaniel Rochester và Claude Shannon dùng thuật ngữ “Artificial Intelligence” trong đề xuất Dartmouth Summer Research Project và phác thảo chương trình nghiên cứu cho mùa hè năm 1956.
John McCarthy và cộng sự
Nhân vật Quan trọng
Alan Turing
Cha đẻ Khoa học Máy tính
Turing không chỉ là người sáng lập khoa học máy tính mà còn là người tiên phong trong tư duy về trí tuệ nhân tạo. Mô hình máy Turing của ông đặt nền móng cho lý thuyết tính toán, và phép thử Turing cung cấp tiêu chuẩn đánh giá cho máy móc thông minh. Trong Thế chiến II, công trình của ông giúp giải mã mật mã Enigma của Đức. Năm 1954, Turing qua đời sau khi bị bức hại vì xu hướng tình dục đồng giới. Năm 2013, Nữ hoàng Elizabeth II ban lệnh ân xá hoàng gia cho ông.
Alonzo Church
Cha đẻ Lambda Calculus
Church là giáo sư tại Đại học Princeton. Lambda Calculus của ông là nền tảng lý thuyết của lập trình hàm. Sinh viên của ông là Turing, và cùng nhau họ đề xuất Luận đề Church-Turing, vẫn giữ vai trò trung tâm trong lý thuyết tính toán.
Kurt Gödel
Nhà Logic học
Định lý Bất toàn của Gödel được coi là một trong những khám phá toán học quan trọng nhất thế kỷ 20. Chúng cho thấy ngay cả các hệ thống chính xác như toán học cũng có những giới hạn cố hữu — một nhận thức triết học có ảnh hưởng sâu sắc đến sự phát triển của AI.
Claude Shannon
Cha đẻ Lý thuyết Thông tin
Shannon không chỉ là người sáng lập lý thuyết thông tin mà còn là người khám phá sớm về trí tuệ nhân tạo. Ông chế tạo một con chuột cơ khí (Theseus) có thể giải mê cung — có lẽ là một trong những trình diễn AI sớm nhất. Luận văn thạc sĩ năm 1937 “Phân tích Ký hiệu Mạch Rơ-le và Chuyển mạch” của ông được coi là nền tảng cho lý thuyết mạch chuyển mạch kỹ thuật số.
Norbert Wiener
Cha đẻ Điều khiển Học
Wiener là nhà toán học tại MIT, người sáng lập ngành điều khiển học liên ngành. Khái niệm “phản hồi” của ông ảnh hưởng đến nghiên cứu AI thời kỳ đầu. Wiener cũng là người đầu tiên cảnh báo về những nguy cơ mà AI có thể mang lại.
Danh ngôn Kinh điển
Tôi đề xuất xem xét câu hỏi: “Liệu máy móc có thể suy nghĩ?”
Bất kỳ hệ thống hình thức đủ mạnh nào cũng đều bất toàn.
Mối nguy của máy móc không nằm ở bản thân chúng, mà ở sự phụ thuộc của con người vào chúng.