Lý thuyết sơ khai
những năm 1930–những năm 1950 · Turing và 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 và 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 và 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. Turing làm luận án tiến sĩ dưới sự hướng dẫn của ông tại Princeton. Năm 1936, mỗi người đã độc lập đưa ra một định nghĩa về tính khả tính, về sau được gọi là 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. Ông cũng là một trong những nhà khoa học đầu tiên cảnh báo về nguy cơ của những cỗ máy như vậy, dù không phải người đầu tiên lo sợ chúng: bài viết năm 1960 của ông trên Science đặt lời cảnh báo của mình bên cạnh cuốn tiểu thuyết của Samuel Butler, viết gần một thế kỷ trước, kể về máy móc thống trị con ngườ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ĩ?”
Computing Machinery and Intelligence · Mind 59 (236), 1950, 433–460
Hoặc là… trí óc con người (ngay cả trong phạm vi toán học thuần túy) vượt vô hạn năng lực của bất kỳ cỗ máy hữu hạn nào, hoặc là tồn tại những bài toán Diophantine tuyệt đối không giải được.
Some basic theorems on the foundations of mathematics and their implications · Gibbs Lecture, 1951; Collected Works III, 1995, p. 310 · Internet Encyclopedia of Philosophy
Nếu, để đạt được mục đích của mình, chúng ta dùng một cơ cấu máy móc mà một khi đã khởi động thì ta không thể can thiệp hiệu quả vào hoạt động của nó… thì ta nên hết sức chắc chắn rằng mục đích đặt vào cỗ máy chính là mục đích ta thực sự mong muốn, chứ không chỉ là một bản bắt chước hào nhoáng của nó.
Some Moral and Technical Consequences of Automation · Science 131 (3410), 1960, 1355–1358