Những bài báo có ảnh hưởng nhất trong lịch sử khoa học máy tính

• Giới thiệu

  • Bài viết này giới thiệu 7 bài báo có ảnh hưởng nhất trong lịch sử khoa học máy tính. Mỗi bài đều đã tạo ra tác động lớn đến thế giới hiện đại, và bản thân từng bài đều xứng đáng được viết thành một bài blog hoặc một cuốn sách riêng.

• "On Computable Numbers, with an Application to the Entscheidungsproblem" (1936)

  • Tác giả: Alan Turing
  • Ý tưởng cốt lõi: Turing đã định nghĩa phạm vi những công việc mà máy tính về mặt lý thuyết có thể thực hiện thông qua khái niệm giả định mang tên "máy Turing".
  • Tầm quan trọng ngày nay: Mọi ngôn ngữ lập trình và đoạn mã đều vận hành theo các quy tắc của Turing. Ngay cả trong điện toán lượng tử, người ta vẫn tham chiếu đến những ranh giới mà Turing đã xác định.

• "A Mathematical Theory of Communication" (1948)

  • Tác giả: Claude Shannon
  • Ý tưởng cốt lõi: Thuyết thông tin đã mở đường cho nén dữ liệu và các mã sửa lỗi.
  • Tầm quan trọng ngày nay: Các ý tưởng của Shannon được sử dụng trong truyền văn bản, streaming video, gọi điện hình ảnh và nhiều lĩnh vực khác.

• "A Relational Model of Data for Large Shared Data Banks" (1970)

  • Tác giả: Edgar F. Codd
  • Ý tưởng cốt lõi: Đề xuất mô hình quan hệ, trong đó dữ liệu được lưu trong các bảng và được thao tác bằng các phép toán logic.
  • Tầm quan trọng ngày nay: Đây là nền tảng của SQL và cơ sở dữ liệu quan hệ, đồng thời cung cấp khái niệm cơ bản cho cách tổ chức dữ liệu.

• "The Complexity of Theorem-Proving Procedures" (1971)

  • Tác giả: Stephen A. Cook
  • Ý tưởng cốt lõi: Giới thiệu khái niệm NP-đầy đủ để giải thích độ khó của các bài toán.
  • Tầm quan trọng ngày nay: Có ảnh hưởng lớn đến thuật toán, mật mã học và việc tìm kiếm các lời giải hiệu quả.

• "A Protocol for Packet Network Intercommunication" (1974)

  • Tác giả: Vinton G. Cerf, Robert E. Kahn
  • Ý tưởng cốt lõi: Phát triển giao thức TCP/IP để các mạng khác nhau có thể giao tiếp với nhau.
  • Tầm quan trọng ngày nay: Đây là giao thức nền tảng của Internet, được dùng cho duyệt web, gửi email và nhiều hoạt động khác.

• "Information Management: A Proposal" (1989)

  • Tác giả: Tim Berners-Lee
  • Ý tưởng cốt lõi: Đề xuất một hệ thống hypertext, từ đó khai sinh World Wide Web.
  • Tầm quan trọng ngày nay: Đã cách mạng hóa cách con người chia sẻ tri thức thông qua web.

• "The Anatomy of a Large-Scale Hypertextual Web Search Engine" (1998)

  • Tác giả: Sergey Brin, Larry Page
  • Ý tưởng cốt lõi: Phát triển một công cụ tìm kiếm dựa trên phân tích liên kết, tức Google.
  • Tầm quan trọng ngày nay: Định nghĩa lại cách truy xuất thông tin và mở ra kỷ nguyên của công nghệ lấy dữ liệu làm trung tâm.

• Phần thưởng thêm (5 bài suýt được đưa vào danh sách)

  • "Recursive Functions of Symbolic Expressions and Their Computation by Machine" (1960) - John McCarthy: Giới thiệu Lisp và phong cách lập trình hàm.
  • "Go To Statement Considered Harmful" (1968) - Edsger Dijkstra: Bài luận khơi mào cuộc cách mạng lập trình có cấu trúc.
  • "Time, Clocks, and the Ordering of Events in a Distributed System" (1978) - Leslie Lamport: Giải thích sự cần thiết của đồng hồ logic trong hệ thống phân tán.
  • "No Silver Bullet—Essence and Accident in Software Engineering" (1986) - Fred Brooks: Lập luận rằng không có một giải pháp đơn lẻ nào có thể giải quyết sự phức tạp của phát triển phần mềm.
  • "Attention Is All You Need" (2017) - Vaswani et al.: Giới thiệu kiến trúc transformer, nền tảng của các mô hình AI lớn như GPT.

• Kết luận

  • Ngày nay có vô số ngôn ngữ mới, đột phá AI và những bước nhảy vọt về lượng tử, nhưng những bài báo nền tảng này vẫn rất quan trọng để hiểu được nền móng mà chúng ta đang xây dựng lên.

[GN⁺]

Ý kiến trên Hacker News

• Giới thiệu một bài giảng thú vị của Harvard để hiểu sự phát triển của khoa học máy tính

  • Bao quát các bài báo quan trọng từ thập niên 1930 đến hiện tại, mang lại góc nhìn tổng hợp về khoa học máy tính
  • Đặt câu hỏi về tiêu chí lựa chọn các bài báo đã ảnh hưởng đến lý thuyết và công nghệ của khoa học máy tính

• So sánh tầm quan trọng của bài báo của Turing và tiêu chuẩn IP

  • Bài báo của Turing là nền tảng của khoa học máy tính, nhưng không trực tiếp ảnh hưởng đến tiến bộ công nghệ
  • Tiêu chuẩn IP là cốt lõi của công nghệ, nhưng có ít yếu tố khoa học hơn

• Chia sẻ trải nghiệm cá nhân về danh sách các bài báo

  • Bài báo về tính khả tính toán của Turing khá khó hiểu và cần tài liệu bổ trợ
  • Bài báo về NP-đầy đủ của Cook cũng khó, và có khuyến nghị dùng sách nhập môn
  • Bài báo của Shannon mang tính nghệ thuật nhưng không phải nội dung dễ đọc
  • Các bài báo của Brin và Page, cùng với Codd, dễ hiểu hơn nhưng cần kiến thức về đại số tuyến tính

• Thông tin bổ sung về bài báo nền tảng của Shannon về lý thuyết thông tin

  • Trong luận văn thạc sĩ của ông, ông giải thích định nghĩa đại số Boole bằng cách sử dụng mạch chuyển mạch

• Giải thích về máy Turing và bài toán quyết định

  • Turing đã chứng minh rằng không tồn tại cỗ máy có thể giải mọi bài toán
  • Church-Turing-Thesis là một giả thuyết không thể chứng minh

• Đề cập bài báo về sự tiến hóa của hệ thống Unix

  • Thiếu bài báo "Evolution of Unix time-sharing systems" của Dennis Ritchie

• Nhắc đến bài viết của Marc Andreessen về cuộc cách mạng phần mềm và thư gửi cổ đông năm 1997 của Amazon

  • Nhấn mạnh rằng mọi ngành công nghiệp đều phải chuẩn bị cho cuộc cách mạng phần mềm

• Bổ sung bài báo của Karp về NP-đầy đủ

  • Đây là bài báo quan trọng đã khơi dậy sự quan tâm rộng rãi đến lý thuyết của Cook

• Danh sách bài báo được đề xuất

  • Đề xuất các bài báo về RSA, PageRank, MapReduce, Bitcoin, BackProp, Hoare Logic

• Đề cập bài báo "New Directions in Cryptography" của Diffie và Hellman