Lịch sử Phát triển Máy Logic

1.0 Giới thiệu: Sự Tái sinh của Logic

Vào giữa thế kỷ 19, một nỗ lực đầy tham vọng đã nảy sinh: cơ khí hóa tư duy. Mục tiêu không chỉ là học thuật, mà là vượt qua giới hạn sinh học của con người về tốc độ và độ chính xác.

"Precisely how much of the business of thinking a machine could possibly be made to perform... is a question not without conceivable practical importance..."

George Boole (1854)

Đặt nền tảng đại số, biến các mệnh đề thành phương trình toán học.

Cỗ máy Suy luận

Khám phá ranh giới giữa tư duy cơ học và sáng tạo của con người.

2.0 Những Nỗ lực Cơ khí Tiên phong

Stanhope và Jevons

Earl Stanhope

Người Tiền nhiệm Bí ẩn

Stanhope Demonstrator Sử dụng tấm trượt màu sắc trong các khe. Xử lý được 3 thuật ngữ.
Sự kín tiếng Sợ bị sao chép, ông giữ bí mật phát minh. Công bố 63 năm sau khi mất (1879).

William Stanley Jevons

Bước Đột phá (1869)

Đàn Piano Logic Cao 1m, có 21 phím. Hiện thân cơ học thuần túy của luật Boole.
Tốc độ xử lý Giải tam đoạn luận phức tạp nhanh hơn chuyên gia con người.

Phương pháp "Hợp tác"

Máy của Jevons không đưa ra 1 kết luận duy nhất. Nó loại bỏ những điều mâu thuẫn và hiển thị danh sách tất cả khả năng còn lại. Con người phải tự chọn lọc kết luận cuối cùng.

3.0 Cải tiến và Tranh luận

Cuộc chiến phương pháp luận: Hình ảnh trực quan vs Cỗ máy vật lý.

John Venn

Phe Biểu đồ

"Tại sao phải dùng máy phức tạp khi biểu đồ hình tròn dễ hiểu hơn?"

Ý tưởng cơ khí: "Trò chơi ghép hình" logic hoặc máy biểu đồ 3D với 4 hình trụ elip.

Allan Marquand

Phe Cải tiến Máy (1881)

Chế tạo phiên bản nhỏ gọn và tinh vi hơn của Jevons.

Điểm độc đáo: Nhập dữ liệu dạng Phủ định. Ví dụ: Thay vì "Nếu A thì B", nhập "A và không-B là không tồn tại" (Ab=0).

4.0 Bước ngoặt Điện khí hóa

Peirce và Marquand

Từ Đòn bẩy đến Dòng điện

Cuối thế kỷ 19 đánh dấu bước nhảy vọt khái niệm: Chuyển từ trạng thái tĩnh (cơ học) sang dòng chảy thông tin (điện).

Bức thư năm 1886 Peirce gợi ý Marquand dùng điện thay cho cơ khí.

Thiết kế Mạch Logic Đầu tiên Áp dụng đại số Boole vào thiết kế mạch chuyển mạch.

Đề xuất của Peirce

AND (Hội)

Nối tiếp

OR (Tuyển)

Song song

*Thực tế trớ trêu: Các máy thời đó chỉ dùng điện để hiển thị kết quả, chưa thực sự "tính toán" bằng dòng điện.

5.0 Phương pháp Trừu tượng

Bảng Chân Lý & Logic Đa Trị

Đầu thế kỷ 20, Emil Leon Post giới thiệu Bảng Chân Lý (1920) - công cụ mạnh mẽ để kiểm tra mọi khả năng mà không cần cỗ máy vật lý.

Bài toán Marquand: 3 Cô gái

A (Anna), B (Bertha), C (Cora). Tìm trường hợp hợp lệ.

Quy tắc 1: Nếu A hoặc B ở nhà, thì C ở nhà

A=T, B=T, C=F A=T, B=F, C=F A=F, B=T, C=F Loại bỏ 3 dòng

Quy tắc 2: Nếu B đi vắng, thì A đi vắng

A=T, B=F, C=T Loại bỏ 1 dòng

Quy tắc 3: Nếu C ở nhà, thì A ở nhà

A=F, B=T, C=T A=F, B=F, C=T Loại bỏ 2 dòng

Kết luận cuối cùng

A=T, B=T, C=T

A=F, B=F, C=F

Cả 3 cùng ở nhà HOẶC cả 3 cùng đi vắng.

Logic Đa trị (Hơn cả Đúng/Sai)

"Vị vua hiện tại của Pháp bị hói" -> Không Đúng cũng không Sai, mà là Vô nghĩa.

0 (Sai) ½ (Có thể) 1 (Đúng)

6.0 Tổng kết: Di sản và Giới hạn

Di sản Vật lý

Chứng minh "tính toán tư duy" là khả thi qua các máy cơ khí.

Di sản Lý thuyết

Liên kết đại số Boole với mạch chuyển mạch (Peirce & Marquand).

Công cụ Phân tích

Bảng chân lý giúp phân tích logic tách rời khỏi phần cứng.

Lời cảnh tỉnh của Peirce về Giới hạn Máy móc

Thiếu sáng tạo:
Máy không thể tự tìm vấn đề hay tự khởi xướng.

Giới hạn thiết kế:
Máy chỉ làm được việc nó được thiết kế để làm.