Chủ nghĩa tối giản toán học: Xây dựng thư viện từ những yếu tố cơ bản nhất

Trong thế giới lập trình và khoa học máy tính, việc tối ưu hóa mã nguồn và giảm thiểu phụ thuộc luôn là mục tiêu hàng đầu. Mới đây, Andrzej Odrzywolek đã đăng tải một bài viết trên arXiv trình bày một khái niệm đầy thú vị: Chủ nghĩa tối giản toán học.

Theo đó, Odrzywolek chỉ ra rằng chúng ta có thể thu được tất cả các hàm cơ bản (elementary functions) chỉ cần sử dụng một hàm duy nhất (được gọi là hàm elm) và hằng số 1.

Khởi tạo các phép toán từ hàm elm

Các phương trình trong bài viết minh họa cách thức "bootstrap" (khởi tạo) các phép toán cơ bản như cộng, trừ, nhân và chia bắt nguồn từ hàm elm. Điều này có ý nghĩa to lớn khi xây dựng các thư viện toán học nhỏ gọn (small math library), nơi mọi thứ đều được xây dựng dựa trên những viên gạch nền tảng đơn giản nhất.

Bài viết cũng đề cập đến cách lấy được các hằng số như π (pi), các hàm mũ, căn bậc hai, cũng như các hàm lượng giác và hyperbolic tiêu chuẩn.

Ý nghĩa đối với lập trình viên

Đối với những người làm việc trong lĩnh vực phát triển phần mềm, đặc biệt là lập trình hệ thống nhúng hoặc các ứng dụng yêu cầu tài nguyên tối thiểu, cách tiếp cận này cung cấp một góc nhìn mới về cách cấu trúc mã nguồn. Nó nhắc nhở chúng ta rằng ngay cả những hệ thống phức tạp nhất cũng có thể bắt nguồn từ những logic đơn giản.

Ngoài ra, chủ đề này cũng liên quan mật thiết đến các khái niệm như Toffoli gates trong tính toán lượng tử hoặc tính toán có thể đảo ngược, nơi việc tối thiểu hóa các cổng logic là chìa khóa.

"Toffoli gates are all you need" — Một câu nói nổi tiếng liên quan đến việc tối thiểu hóa các khối xây dựng trong tính toán, tương tự như cách hàm elm có thể thay thế các hàm toán học phức tạp khác.