Hành Trình của Logic Biểu Tượng
Từ Giấc Mơ Triết Học của Leibniz đến Nền Tảng Kỹ Thuật Số
1. Từ Triết học đến Vi mạch
Xin chào quý vị. Hôm nay, chúng ta quay ngược về quá khứ để khám phá một ý tưởng cách mạng: Logic biểu tượng. Đây là dòng chảy biến tư duy triết học trừu tượng thành nền tảng của thế giới kỹ thuật số.
Leibniz
Người gieo hạt giống đầu tiên
De Morgan
Người hồi sinh & mở rộng
Boole
Người hiện thực hóa bằng đại số
2. Gottfried Leibniz
Giấc mơ về một "Ngôn Ngữ Chung"
"Chúng ta hãy tính toán. Khi các cuộc tranh cãi nảy sinh... sẽ không cần gì hơn là họ cầm bút trên tay, ngồi xuống bàn tính."
— Gottfried Leibniz
Leibniz hình dung ra lingua characteristica universalis - ngôn ngữ phổ quát nơi mọi tranh luận được giải quyết bằng phép tính. Ba đóng góp tiên tri của ông:
Đại số hóa khái niệm
Gán số cho khái niệm. Ví dụ: 2=hữu lý, 3=động vật -> 6=con người. Logic trở thành toán học.
Hệ thống Nhị phân
Năm 1679, phát minh ra hệ thống chỉ dùng 0 và 1. Đây là ngôn ngữ của mọi máy tính hiện đại.
Máy tính cơ học
"Stepped drum calculator" - cỗ máy thế kỷ 17 có thể cộng, trừ, nhân, chia và khai căn.
3. Augustus De Morgan
Sau gần 2 thế kỷ chìm vào quên lãng, De Morgan đã hồi sinh logic học. Ông khám phá ra sự đối ngẫu giữa VÀ và HOẶC.
Quy tắc De Morgan (Sự đối ngẫu)
- NOT (A HOẶC B) = (NOT A) VÀ (NOT B)
- NOT (A VÀ B) = (NOT A) HOẶC (NOT B)
*Ông cũng là người thầy đã phát hiện và khích lệ thiên tài của George Boole.
Không gian Diễn ngôn
Mọi thứ phải là 'X' hoặc 'không-phải-X'. Không có vùng xám.
4. George Boole
Hiện Thực Hóa Giấc Mơ bằng Đại Số
Với kiệt tác năm 1854 "An Investigation into the Laws of Thought", Boole đã giảm logic xuống thành đại số đơn giản với 2 giá trị: 1 (Đúng) và 0 (Sai).
Lớp Toàn thể (Universe)
Đại diện cho 100% mọi thứ.
Lớp Rỗng (Empty)
Không chứa thành viên nào.
3 Phép toán cốt lõi
Phép Hội: Cả hai phải đúng. Tương tự mắc nối tiếp.
Phép Tuyển: Một trong hai đúng là đủ. Tương tự mắc song song.
Phép Bù: Phủ định. Mọi thứ không thuộc X.
5. Di Sản Kỹ Thuật Số
Logic Boole là DNA của thế giới kỹ thuật số. Từ năm 1930, nó đã kết nối hoàn hảo với mạch điện tử:
ON (Bật)
Dòng điện chạy qua
OFF (Tắt)
Ngắt mạch
Công cụ Tìm kiếm
Bộ lọc AND, OR, NOT
Cổng Logic
NAND, NOR xây dựng vi mạch
Khoa học Máy tính
Xử lý bit & byte
6. Kết Luận: Sức Mạnh Tư Duy Trừu Tượng
Từ giấc mơ triết học của Leibniz đến đại số của Boole, những ý tưởng trừu tượng đã mất hàng thế kỷ để định hình nên thực tế.
Đại số nhị phân giờ đây đang vận hành trong chính thiết bị bạn đang dùng để đọc bài viết này.