John von Neumann: Thiên tài đứng sau gần như mọi nền tảng của ngành máy tính hiện đại

Có những cái tên mà giới công nghệ nhắc đến mỗi ngày nhưng hiếm khi biết rõ nguồn gốc. Kiến trúc von Neumann, phương pháp Monte Carlo, hay khái niệm điểm kỳ dị (singularity) đều gắn với một con người: John von Neumann. Một bài viết trên blog của Murat Buffalo, được thảo luận sôi nổi trên Hacker News, đã điểm lại cuốn tiểu sử The Man from the Future của Ananyo Bhattacharya – và qua đó cho thấy vì sao "nghệ thuật trừu tượng hóa" của von Neumann vẫn là tấm gương cho giới kỹ sư phần mềm, chuyên gia AI và cả những ai quan tâm đến đạo đức công nghệ.

Một bộ óc đi trước thời đại

Trong 53 năm sống (1903–1957), von Neumann gieo mầm cho gần như mọi lĩnh vực khoa học hiện đại. Ông có mặt ở lý thuyết tập hợp, cơ học lượng tử, lý thuyết trò chơi, lý thuyết độ thỏa dụng kỳ vọng, phương pháp Monte Carlo, kiến trúc máy tính lưu trữ chương trình, dự báo thời tiết bằng máy tính, tính toán chịu lỗi và automata tự tái tạo.

Khi được hỏi tại sao Budapest đầu thế kỷ 20 lại sản sinh ra quá nhiều thiên tài, Eugene Wigner – bản thân là người đoạt giải Nobel – trả lời rằng chỉ có một hiện tượng đáng để giải thích, và đó chính là John von Neumann.

Từ nhỏ, "Johnny" đã có thể chia nhẩm các số tám chữ số trong đầu và nói tiếng Hy Lạp cổ. Câu chuyện ông đọc thuộc lòng A Tale of Two Cities suốt mười lăm phút mà không cần xem sách là minh chứng cho trí nhớ phi thường của ông.

Trừu tượng hóa: siêu năng lực thực sự

Điều đáng chú ý nhất trong bài viết không phải danh sách thành tựu, mà là cách von Neumann làm việc. Ông luôn lặp lại một động tác duy nhất: lấy một đối tượng ai cũng tưởng đã hiểu, rồi thay bằng phiên bản tối giản nhất vẫn giữ nguyên hành vi.

• Khi cơ học ma trận và cơ học sóng có vẻ là hai lý thuyết đối lập, ông chỉ ra chúng chỉ là hai hệ tọa độ trên cùng một không gian Hilbert.
• Khi giới kinh tế cho rằng không thể so sánh sở thích giữa các cá nhân, ông hỏi cần tối thiểu những tiên đề nhất quán nào, rồi suy ra thang độ thỏa dụng trong một buổi chiều.
• Khi tự tái tạo tưởng như đòi hỏi đệ quy vô hạn, ông tách "đọc băng như chỉ thị" khỏi "sao chép băng như dữ liệu".

Với dân lập trình, cách định nghĩa số thứ tự của ông ở tuổi 17 nghe rất quen thuộc: không là tập rỗng, một là tập chứa không, hai là tập chứa không và một – tức một kiểu dữ liệu quy nạp với duy nhất một constructor. Còn cách ông vá nghịch lý Russell về "tập hợp của mọi tập hợp không chứa chính nó" thực chất là một hệ thống kiểu (type system) cho lý thuyết tập hợp, biến nghịch lý thành lỗi kiểu.

Từ EDVAC đến phần mềm mã nguồn mở

Năm 1945, bản thảo First Draft of a Report on the EDVAC của von Neumann đặt ra kiến trúc lưu trữ chương trình: một bộ nhớ chứa cả chỉ thị lẫn dữ liệu, một khối điều khiển, một khối số học và giao tiếp vào/ra. Đó vẫn là kiến trúc của gần như mọi máy tính bạn từng chạm vào, tám mươi năm sau.

Đáng chú ý, von Neumann cố tình để các chi tiết kỹ thuật thuộc về công cộng, khiến kiến trúc này không thể cấp bằng sáng chế. Thiết kế IAS sau đó được sao chép khắp thế giới, sinh ra hàng loạt cỗ máy với cái tên vui nhộn: MANIAC, JOHNNIAC, ILLIAC, SILLIAC, WEIZAC. Có thể xem ông là một trong những người ủng hộ mã nguồn mở sớm nhất.

Bài học cho kỹ sư phần mềm và AI hôm nay

Ba ý tưởng của von Neumann vẫn ảnh hưởng trực tiếp đến công việc của lập trình viên hiện đại:

• Tính toán chịu lỗi: bài giảng năm 1952 Probabilistic Logics and the Synthesis of Reliable Organisms from Unreliable Components đặt nền móng cho các khái niệm máy trạng thái nhân bản (replicated state machine), quorum và Paxos – những thứ nằm sau mọi hệ thống phân tán ngày nay.
• Automata tự tái tạo: mô hình cellular automaton 29 trạng thái của ông là cellular automaton đầu tiên, và là tổ tiên của Game of Life, chương trình nghiên cứu của Wolfram, lĩnh vực sự sống nhân tạo (artificial life) và cả sinh học tổng hợp hiện đại.
• Tách chỉ thị và dữ liệu: nguyên lý "cùng một chuỗi bit, khi thực thi là chỉ thị, khi sao chép là dữ liệu" xuất hiện trước khi Watson và Crick công bố cấu trúc DNA bốn năm. Von Neumann suy ra từ logic thuần túy kiến trúc tất yếu của sự sống: phải có một mô tả được lưu trữ, và nó phải được đọc theo hai cách khác nhau.

Trong tác phẩm cuối đời The Computer and the Brain (1958), ông nhận xét não bộ đạt được những gì nó đạt bằng độ chính xác số học rất kém nhưng song song cực lớn – ngược hẳn với những cỗ máy ông vừa xây. Ông cho rằng ngôn ngữ mà hệ thần kinh dùng để tính toán không phải là toán học như chúng ta hiểu. Bài toán đó đến nay vẫn còn bỏ ngỏ, và chính là điểm khởi đầu cho nhiều hướng nghiên cứu AI hiện đại.

Một con người đầy nghịch lý

Von Neumann nổi tiếng với những mâu thuẫn khó hiểu. Ông mê tiệc tùng, nhạc to và xe hơi nhanh, mỗi năm đâm hỏng một chiếc Cadillac, đến mức một ngã tư ở Princeton được đặt biệt danh "Von Neumann Corner". Ông làm việc tốt nhất trong hỗn loạn và thường mở nhạc hành khúc Đức hết cỡ trong văn phòng, khiến Albert Einstein – hàng xóm của ông – phàn nàn.

Ông cũng là người đề xuất tấn công hạt nhân phủ đầu Liên Xô, điều mà người cùng thời như Stanislaw Ulam nhận xét là "có lẽ xuất phát từ khuynh hướng lý tính hóa quá mức các sự kiện lịch sử". Mô hình hóa Chiến tranh Lạnh như một trò chơi tổng bằng không giữa hai người chơi sẽ dẫn đến kết luận đánh trước – phép toán đúng, nhưng mô hình thì quá đơn giản.

Ngược lại, ông lại vô cùng hào phóng với con người: bảo trợ cho Turing và Mandelbrot, dìu dắt David Blackwell – nhà thống kê da màu mà Princeton không muốn nhận – và đứng ra làm chứng bênh vực Oppenheimer dù khác quan điểm chính trị.

Bài học về giới hạn của trừu tượng hóa

Năm 1955, von Neumann viết bài Can We Survive Technology?, trong đó ông bàn về chiến tranh hạt nhân và cả sự nóng lên toàn cầu – vào năm 1955. Ông kết luận rằng không thể giải quyết khủng hoảng bằng cách cấm đoán một công nghệ cụ thể, vì các ngành khoa học đan xen đến mức muốn ngăn chặn thì phải chấm dứt toàn bộ tiến bộ kỹ thuật.

"Đối với tiến bộ thì không có thuốc chữa. Mọi nỗ lực tìm kiếm những lối đi an toàn tự động cho sự phát triển bùng nổ hiện nay đều dẫn đến bế tắc. An toàn duy nhất có thể có chỉ là tương đối, và nó nằm ở việc vận dụng trí tuệ một cách sáng suốt trong từng quyết định hàng ngày."

Lời khuyên của ông là kiên nhẫn, linh hoạt và thông minh – không hề có trừu tượng hóa nào. Có lẽ chính từng trải với việc áp dụng minimax vào chiến lược hạt nhân đã dạy ông rằng một mô hình hình thức đáng giá bao nhiêu khi giả định mong manh và rủi ro ở mức văn minh.

Với người Việt làm công nghệ, câu chuyện này mang thông điệp gần gũi: các framework và mẫu thiết kế tốt đến đâu cũng phải đi kèm phán đoán của con người. Von Neumann là người đã tạo ra những khung tư duy mạnh nhất thế kỷ 20, và chính ông lại nhận ra giới hạn của chúng. Đó có lẽ cũng là di sản lớn nhất mà ông để lại.