Về Hệ Tiên đề Hilbert (On Hilbert’s Set of Axioms)

david-hilbert-s-lectures-on-the-foundations-of-geometry-1891-1902Abstract: For a long time, many mathematicians have said that Hilbert’s Set of Axioms for Euclidean Geometry is a typical model of axiomatic methodology. But after reading “The Foundations of Geometry” by David Hilbert, I have doubts about the sufficiency of Hilbert’s Set of Axioms. It is not as complete as eulogised.

Trong một thời gian dài, nhiều nhà toán học đã nói rằng Hệ tiên đề Hilbert cho Hình học Euclid là một mô hình điển hình của phương pháp tiên đề. Nhưng sau khi đọc cuốn “Cơ sở Hình học” của David Hilbert, tôi nghi ngờ về tính đầy đủ của Hệ Tiên đề Hilbert. Nó không hoàn hảo như được ca tụng.

(Bài đã đăng trên Tia Sáng Tháng 08/2002) Tiếp tục đọc