Giáo sư John McCarthy
Ngô Quang Hưng | 21 tháng 04, 2006 | 
Bản để in
Giáo sư John McCarthy (giải Turing năm 1971): cha đẻ của Lisp, (một trong những cha đẻ của) trí tuệ nhân tạo, Stanford AI Lab, khái niệm time-sharing, và ti tỉ thứ khác … hôm nay đến khoa tôi nói chuyện. Tôi có khoảng 1 tiếng nói chuyện với John về nhiều chủ đề khác nhau. Ông sinh năm 1927, nghĩa là đã 79 tuổi, nhưng vẫn còn rất nhạy - nhạy đến mức đáng ngạc nhiên. Các đề tài nhảy từ Lisp, axiom of choice, Cantor, Ada và ngôn ngữ cảm ngữ cảnh (context sensitive), định lý Godel, goto và (sai lầm của) Dijkstra, giải tích lambda, Turing machine, logic vs probabilistic/statistical methods trong AI (tôi hỏi John câu này, và ông nói ông không tin rằng common sense có gì fundamentally statistical hay probabilistic), định nghĩa giới hạn của Cauchy, chứng minh định lý bốn màu, định lý Fermat lớn, đến phụ nữ trong CS (John nói: “có lẽ Summers đúng!” - ý trỏ đến cựu hiệu trưởng Harvard).
Dĩ nhiên, không thoát được vài phút về progress và sustainability cùng với bản năng tự nhiên của nhân loại là sẽ dùng công nghệ vào việc tốt. Tôi nhắc đến Bill Joy và vụ “rewrite Unix in a summer“, John nói: “I don’t trust Bill Joy, partly because of his gloom-mongering about AI. I wish Knuth has the time to write the Linux kernel. Compared to Knuth, we are all lazy!”
So với Manuel Blum, tôi thấy John McCarthy nhạy hơn và thẳng thắn hơn. Blum là một character kiểu khác, hòa đồng hơn, politically-correct hơn.
Sẽ có cập nhật tiếp sau khi nghe talk của John.