Nguồn: John D. Cook
Tóm tắt
John D. Cook khám phá câu hỏi thú vị: thư viện toán học nhỏ nhất có thể chứa gì mà vẫn đủ useful? Bài viết này là một exercise về mathematical minimalism — xác định tập hợp primitives tối thiểu có thể derive ra các hàm toán học thông dụng khác.
Một trong những insight chính là nhiều hàm toán học mà chúng ta xem là “cơ bản” thực ra có thể được derive từ một số ít hàm thực sự fundamental. Ví dụ, tất cả các hàm lượng giác có thể derive từ sin và cos, và bản thân chúng có thể được xây dựng từ complex exponential. Câu hỏi là: đâu là “axioms” của thư viện toán học?
Bài viết có giá trị không chỉ về mặt lý thuyết mà còn thực tiễn: trong các embedded systems hoặc specialized hardware, kích thước của math library là ràng buộc thực sự. Hiểu được dependencies giữa các hàm toán học giúp thiết kế libraries nhỏ gọn hơn mà không mất đi expressiveness.