Khi tư duy trở thành đại số — Boole, Turing, Shannon
Từ giấc mơ 'Calculemus!' của Leibniz đến đại số Boolean, các định lý bất hoàn chỉnh của Gödel, máy Turing và lý thuyết thông tin của Shannon — mọi thành phần trí tuệ của AI hiện đại đã sẵn sàng vào năm 1950.
Từ "Calculemus!" đến đại số của tư duy
Năm 1685, nhà bác học Đức Gottfried Wilhelm Leibniz mơ về một characteristica universalis — một ngôn ngữ phổ quát trong đó mọi khái niệm có thể biểu đạt bằng ký hiệu, và một calculus ratiocinator có thể thao tác các ký hiệu ấy để rút ra chân lý một cách máy móc. Tuyên bố nổi tiếng của ông: 'Khi tranh luận nảy sinh... hãy tính toán!' — Norbert Wiener sau này gọi đây là sự cơ giới hóa calculus ratiocinator của Leibniz.
Gần hai thế kỷ sau, George Boole — con trai một thợ đóng giày nghèo ở Lincoln, hoàn toàn tự học — biến giấc mơ đó thành hiện thực trong An Investigation of the Laws of Thought (1854): các phép tính logic VÀ/HOẶC/KHÔNG có thể biểu diễn chỉ bằng 0 và 1. Tam đoạn luận Aristotle thống trị logic 2.000 năm giờ có thể thay bằng phương trình đại số. Boole hoàn toàn không biết mình đang phát minh toán học của máy tính — và (một sự thật đáng kinh ngạc) ông là cha cao tổ của Geoffrey Hinton, 'cha đẻ của deep learning' và người đoạt Nobel Vật lý 2024.
Trao đổi (0)
Chín viên gạch nền — mọi thành phần trí tuệ đã sẵn sàng vào năm 1950
Trước khi Hội nghị Dartmouth đặt tên cho AI vào mùa hè 1956, chín thành phần thiết yếu đã có mặt đầy đủ:
- 1
Giấc mơ (từ Talos đến Golem) — khát vọng tạo ra trí tuệ nhân tạo qua các huyền thoại cổ đại.
- 2
Cơ chế (từ al-Jazari đến Jaquet-Droz) — automaton cơ khí chứng minh máy móc có thể mô phỏng hành vi sống.
- 3
Niềm tin triết học rằng tư duy là tính toán (Hobbes, Leibniz, La Mettrie).
- 4
Sự hình thức hóa toán học của logic (Boole, Frege, Russell-Whitehead).
- 5
Sự khám phá giới hạn của toán học (các Định lý Bất hoàn chỉnh của Gödel).
- 6
Khung lý thuyết cho mọi máy tính có thể (máy Turing).
- 7
Nền tảng phần cứng (đại số chuyển mạch của Shannon).
- 8
Các mô hình đầu tiên của neuron nhân tạo (McCulloch-Pitts) và học tập (quy tắc Hebb).
- 9
Một bài kiểm tra (Trò chơi Bắt chước của Turing).
Trao đổi (0)
Bletchley Park — khi bẻ mã cứu 14 triệu sinh mạng
Khi Thế chiến II bùng nổ, Alan Turing làm việc tại Hut 8 của Bletchley Park, thiết kế cỗ máy điện-cơ Bombe — cao gần 2 mét, chứa 108 trống xoay — để phá mã Enigma của Đức (có tới 10²¹ cài đặt khả thi, đổi mỗi ngày). Xây dựng trên công trình phá mã trước đó của các nhà toán học Ba Lan, và với cải tiến 'bảng chéo' của Gordon Welchman năm 1940, đến năm 1941 Bombe có thể đọc được tin nhắn Enigma hải quân Đức.
Các sử gia ước tính công việc này rút ngắn chiến tranh 2-4 năm và cứu được tới 14 triệu sinh mạng. Đội Bletchley — gần 10.000 người, 75% là phụ nữ — giữ bí mật công việc của mình cho tới tận những năm 1970. Đây là lần đầu tiên tổ tiên trực tiếp của khoa học máy tính hiện đại chứng minh giá trị của mình ở quy mô toàn cầu.
Nguồn: Chương 2 — Khi tư duy trở thành đại số (phần Bletchley Park)
Trao đổi (0)
Tự lần theo một viên gạch nền
Chọn 3 trong 9 'viên gạch nền' ở khung trên. Với mỗi viên gạch, viết 1-2 câu giải thích nó xuất hiện lại ở đâu trong lịch sử AI mà bạn đã biết hoặc sẽ gặp (ví dụ: mô hình neuron McCulloch-Pitts tái xuất hiện trong perceptron của Rosenblatt, rồi trong deep learning hiện đại).
Trao đổi (0)
Một cỗ máy lý tưởng gồm một dải băng vô tận chia thành các ô vuông, một đầu đọc/ghi di chuyển trái-phải, một tập hữu hạn các 'trạng thái' nội tại, và một bảng quy tắc. Turing chứng minh thiết bị đơn giản này có thể tính toán bất cứ điều gì có thể tính toán được về nguyên tắc — và tồn tại một Máy Turing Phổ quát duy nhất có thể mô phỏng bất kỳ máy Turing nào khác, chính là sơ đồ lý thuyết cho máy tính chương trình lưu trữ hiện đại.
Trao đổi (0)
Đăng nhập ở góc trên để lưu tiến độ đọc.