TOÁN HỌC VỚI SỰ TỰ VẤN

Dương Quốc Việt

Socrates từng nói: “Một đời sống không được tự vấn là một đời sống không đáng sống.” Tự vấn là bước tiến hóa từ bản năng sang văn minh – là khi con người không chỉ sống, mà bắt đầu tra vấn về ý nghĩa của sự hiện hữu và lựa chọn cách sống có ý thức trong một thế giới vốn dĩ không mang sẵn ý nghĩa. Đó là ánh sáng chiếu rọi vào cõi sâu thẳm của ý thức, nơi mọi niềm tin đều bị thử thách, và mọi chân lý đều phải lên tiếng để tự bảo vệ mình. Toán học – tưởng chừng như một lâu đài vĩnh cửu được xây bằng lý trí – cũng không nằm ngoài quy luật ấy. Tự vấn chính là nhịp đập âm thầm trong trái tim toán học – giữ cho nó không trở thành giáo điều hay công cụ thuần túy. Và sẽ ra sao, nơi tinh thần tự vấn, truy cầu chân lý không trở thành văn hóa?

Biết hỏi – bước đầu tiên của toán học: Toán học không khởi đầu từ những tiên đề trừu tượng, mà từ chính những trải nghiệm sống động thường nhật: đếm số vật nuôi, phân chia thóc lúa, đo chiều dài, chiều rộng mảnh vườn, mảnh ruộng, ước lượng thời gian, tính toán đường đi… Từ nhu cầu sinh tồn và tổ chức xã hội, con người buộc phải tìm cách xử lý những tình huống lặp đi lặp lại, và dần dần hình thành nên các quy tắc thực hành – những công thức thô sơ nhưng hiệu quả, được truyền miệng hoặc ghi lại bằng các ký hiệu đơn giản. Tuy nhiên, để có thể đi từ kinh nghiệm cụ thể đến những quy tắc ấy, con người không chỉ cần quan sát, mà còn phải biết hỏi. Bởi nếu chỉ trải nghiệm mà không biết hỏi, loài người sẽ chỉ mãi dừng ở mức làm theo thói quen, hành động theo phản xạ bản năng, mà không nhận ra mối liên hệ giữa các sự việc – càng không thể rút ra quy luật chung từ những tình huống riêng lẻ. Biết hỏi – dại biến hóa thành khôn!

Từ bất an đến nhu cầu lý giải – sự ra đời của chứng minh: Càng thực hành, càng va chạm, con người càng bất an trước những gì chỉ “có vẻ đúng” mà chưa được lý giải. Sự bất an ấy – chính là tự vấn. Cho đến khi con người biết hỏi: Số là gì? Vì sao định lý Pythagoras lại đúng trong mọi tam giác vuông? … thì câu chuyện không còn chỉ dừng lại ở những thao tác thực tiễn. Aristotle từng nói: “Tri thức bắt đầu từ sự kinh ngạc.” Bởi sự kinh ngạc tất yếu sẽ dẫn đến nhu cầu được giải thích, được làm sáng tỏ… Và toán học – với tư cách là một hệ thống tư duy suy luận chặt chẽ – chỉ thực sự hình thành khi người Hy Lạp bắt đầu quan tâm không chỉ đến kết quả, mà còn đến cả lý do vì sao điều đó đúng. Nhu cầu chứng minh, truy nguyên bản chất của các khái niệm hình học và số học, đã đưa toán học vượt khỏi phạm vi kinh nghiệm để trở thành một ngành khoa học của lý trí.

Tinh thần truy vấn – khai sinh toán học tiên đề: Kể từ khi vượt ra khỏi vai trò thuần túy là công cụ kỹ thuật, toán học đã trở thành mô hình mẫu mực của tư duy logic và tinh thần truy cầu chân lý. Tinh thần truy vấn – vượt thoát khỏi sự chấp nhận mơ hồ – đã dẫn đến nhu cầu xây dựng một nền móng chắc chắn – nơi mọi khẳng định đều phải được chứng minh, và mọi chứng minh phải xuất phát từ những điều được thừa nhận là đúng ban đầu, tức là tiên đề. Hình học Euclid, với năm tiên đề nổi tiếng, được xem là công trình tiên đề hóa đầu tiên trong lịch sử toán học. Về sau, nhiều hệ tiên đề khác đã xuất hiện, đóng vai trò nền tảng cho các lĩnh vực quan trọng của toán học hiện đại, chẳng hạn như: hệ Peano cho số học, hệ Zermelo–Fraenkel cho lý thuyết tập hợp, hệ Hilbert cho hình học Euclid, và hệ Kolmogorov cho lý thuyết xác suất.

Truy vấn nền tảng – đòi hỏi về hệ tiên đề: Kết quả của tinh thần truy vấn đến cùng đã đòi hỏi một hệ tiên đề phải thỏa mãn ba tính thiết yếu: nhất quán, đầy đủvà độc lập. Tính nhất quán ngụ ý rằng: hệ đó không thể suy ra đồng thời hai mệnh đề phủ định nhau. Tính đầy đủ đòi hỏi rằng: mỗi mệnh đề đúng trong một mô hình của hệ đều có thể được chứng minh từ các tiên đề của hệ ấy. Tính độc lập yêu cầu mỗi tiên đề không phải là hệ quả của các tiên đề còn lại. Trong ba tính trên, tính nhất quán là điều kiện tiên quyết – nếu vi phạm, toàn bộ hệ sẽ trở nên vô nghĩa. Hai tính còn lại là những yêu cầu quan trọng để hệ đạt tới sự hoàn thiện và hiệu lực mô tả, nhưng không tuyệt đối bắt buộc trong mọi trường hợp. Ngày nay, nhờ phương pháp mô hình, việc kiểm tra tính độc lập đã khả thi hơn trong nhiều tình huống. Tuy nhiên, người ta vẫn đặc biệt quan tâm đến tính nhất quán và tính đầy đủ – hai yếu tố cốt lõi quyết định sức mạnh và độ tin cậy của hệ.

Truy vấn suy luận – khai sinh logic hiện đại: Trong suốt hàng nghìn năm, các quy tắc logic cổ điển như phủ định của phủ định, luật bài trung, tam đoạn luận… được xem là chân lý hiển nhiên. Thế nhưng, khi con người truy vấn đến tận nền tảng của chân lý, một câu hỏi tất yếu nảy sinh: liệu những quy tắc ấy có thực sự khách quan và đúng đắn? Chính mối hoài nghi căn bản đó đã buộc toán học và triết học thế kỷ XIX–XX phải xét lại toàn bộ vấn đề: phải chăng các luật logic không hề bất biến, không thật sự phổ quát cho mọi hệ thống? Và nếu vậy, lấy gì để đảm bảo tính đúng đắn của chúng? Từ những nghi vấn triệt để ấy, một ngành học mới ra đời: logic toán học – được xây dựng trên nền tảng logic hình thức cổ điển, nhưng phát triển sâu hơn để truy xét bản chất suy luận. Kể từ đó, nhằm đáp ứng những yêu cầu ngày càng phức tạp của toán học, triết học và khoa học máy tính trong việc phân tích và mô hình hóa tư duy, hàng loạt hệ thống logic hiện đại đã ra đời: từ logic mệnh đề, logic vị từ đến các hệ logic phi cổ điển.

Sự xác tín – đòi hỏi về các phép suy diễn: Logic hiện đại – một phần để trả lời những truy vấn sâu sắc về tính đúng đắn và khách quan trong suy luận. Nhưng ngay cả khi có trong tay những hệ thống logic được hình thức hóa nghiêm ngặt, thì vẫn còn đó một câu hỏi: Làm sao để biết chắc rằng những phép suy diễn thuộc hệ thống ấy thực sự đáng tin? Để câu trả lời thực sự có sức thuyết phục, sự xác tín của một diễn trình suy luận phải là một thuộc tính nội tại, được đảm bảo bởi chính cấu trúc của hệ thống logic mà nó thuộc về. Điều này đòi hỏi hệ thống phải không mâu thuẫn, và quan trọng hơn, các quy tắc suy diễn được sử dụng trong hệ thống ấy phải được xác định rõ ràng và được tuân thủ nghiêm ngặt.

Truy cầu hoàn hảo – và sự bất toàn: Truy cầu chân lý đã từng dẫn con người đến với khát vọng kiến tạo hệ thống tiên đề và logic hoàn hảo. Nhưng khi chạm tới hạn, một phát hiện chấn động bởi Gödel đã lật đổ niềm tin ấy: trong các hệ tiên đề đủ mạnh, nếu nhất quán thì không thể đầy đủ, và cũng không thể tự chứng minh tính nhất quán của chính mình. Điều này cũng còn cho thấy: ngay cả các hệ suy luận chặt chẽ nhất cũng bị giới hạn bởi chính những gì chúng đặt ra, và không thể tự khẳng định tính đúng đắn tuyệt đối và khách quan của mình. Nhận ra mình bất toàn – thực thể lớn khôn thêm?

Minh triết toán học – sự trưởng thành của lý trí: Toán học – biểu tượng tối cao của lý trí thuần túy – từng được xem là có khả năng xác tín không giới hạn. Nhưng thật trớ trêu: chính toán học không thể chứng minh sự nhất quán của chính mình(Gödel). Nhờ tinh thần truy vấn, mà toán học đã nhận ra giới hạn của chính nó. Có lẽ, từ đó, toán học – cũng như mọi ngành khoa học – đến với sự trưởng thành của tư duy biết kiểm chứng. Và phải chăng, tự chứng minh được sự không hoàn hảo của chính mình, cũng chính là một trong những minh chứng sinh động cho sức mạnh nội tại cùng vẻ đẹp minh triết của toán học? 

Đức tin – điểm tựa của lý trí: Ngay trong toán học, có những điều phải tin thì mới có thể suy – phải chấp nhận thì mới có thể xây. Chẳng hạn, hình học Euclid với hệ tiên đề của nó là một bộ môn đã được học ngay từ chương trình phổ thông. Một vấn đề đặt ra là, liệu có gặp phải tình trạng các định lý của môn hình học này mâu thuẫn nhau hay không? Chắc chắn tôi và các bạn đều tin là không! Và điều này cũng đã được nhân loại kiểm chứng hàng nghìn năm qua. Nhưng việc chứng minh điều đó lại là bất khả, như Gödel đã chỉ ra. Đến đây khiến người ta nhớ đến định nghĩa của Voltaire: “Đức tin là tin tưởng khi lòng tin đã nằm ngoài khả năng của lý trí.” Lý trí cần đức tin để bắt đầu. Và truy vấn – tưởng là công cụ của lý trí – lại dẫn ta trở về một sự thật khiêm nhường: không có hệ thống nào hoàn toàn đứng vững nếu không có điểm tựa nằm ngoài nó. Và phải chăng điểm tựa đó chính là đức tin?

Bertrand Russell cho rằng: “Sự thật là điều duy nhất không thể bị bào mòn, và toán học là nơi nó được kiểm nghiệm khắc nghiệt nhất.” Toán học là một lĩnh vực truy tìm chân lý tối thượng, nó chỉ chấp nhận kết quả đúng hoặc sai – không có vùng xám. Giống như trong đạo đức, khi con người tự vấn: “Tôi có đang làm điều đúng không?” – thì trong toán học, người ta cũng thường tự hỏi: “Chứng minh này có sai sót nào không?” Chính sự khắt khe đó khiến toán học trở thành một lĩnh vực âm thầm nhưng sâu sắc, góp phần hình thành những phẩm chất trung thực và tư duy tự do biết tự vấn trong con người. Tự vấn – trong toán học cũng như trong cuộc sống – không chỉ là con đường truy tìm chân lý, mà phải chăng đó còn là con đường dẫn đến sự trưởng thành của một sinh thể có lý trí?

Đã đăng trong TS, Số 12, 2025: Toán học với sự tự vấn

TOÁN HỌC VỚI SỰ GIẢN DỊ

 Dương Quốc Việt

Giản dị là một phẩm chất sâu xa – nó vượt qua cái hỗn mang, bóc tách lớp vỏ rườm rà và phức tạp, để chạm đến cái cốt lõi, dấu vết của sự thật và chân lý. Và đó, chẳng phải cũng chính là đích đến cao nhất của toán học sao? Trong cái vẻ ngoài tưởng như lạnh lùng và phức tạp, toán học luôn hướng về những cấu trúc gọn gàng nhất, những ý tưởng tinh khôi nhất, để hiểu thế giới trong sự tường minh nhất có thể. Giản dị trong toán học không chỉ là một phong cách tư duy, mà còn là một thái độ sống: hướng về cái thực chất, cái bản chất, gạt bỏ những lớp bụi của hình thức, ảo tưởng và tham vọng phù phiếm. Thành thử, toán học không chỉ giúp con người thông minh hơn, mà còn trở nên chân thực và giản dị hơn.

Trừu tượng hóa – con đường giản dị hóa nhận thức: Trong dòng chảy của toán học, trừu tượng hóa không chỉ là một kỹ thuật, mà là cách con người vươn tới sự giản dị tối cao. Khi người ta trừu tượng hóa, nghĩa là đã dũng cảm bỏ đi những chi tiết ngẫu nhiên, những bề ngoài vụn vặt – để giữ lại duy nhất cái lõi bản chất. Từ số đếm con người đã trừu tượng thành số tự nhiên, từ hình ảnh sợi dây căng thẳng, toán học đã trừu tượng hóa thành đường thẳng trong hình học Euclid. Mỗi lần trừu tượng hóa là một lần nhân loại giản dị hóa nhận thức – chuyển từ muôn hình vạn trạng về những quy luật giản dị mà bao quát. David Hilbert, nhà toán học vĩ đại đầu thế kỷ XX, từng tuyên bố: “Một công trình toán học thực sự đáng giá khi nó có thể được trừu tượng hóa đến mức tối giản.” Giản dị trong toán học – qua con đường trừu tượng hóa – do đó, không hề là sự nghèo nàn. Đó là sự tích tụ sức mạnh tri thức vào những hình thức tinh luyện nhất.

Số 0 – biểu tượng của sức mạnh giản dị: Hãy nhớ lại câu chuyện về sự ra đời của số 0 – một phát minh vĩ đại từ nền văn minh Ấn Độ cổ đại. Để diễn tả “không có gì”, thay vì liệt kê dài dòng như “không quả táo, không con bò, không chiếc thuyền…”, người Ấn đã trừu tượng hóa thành một ký hiệu duy nhất: số 0. Chỉ một con số, nhưng chính nó đã mở ra hệ thống số thập phân, giúp con người ghi số, tính toán, và là nền tảng cho sự hình thành của số học, đại số và giải tích. Thử hỏi, nếu không có số 0, toán học sẽ ra sao? Một ký hiệu đơn sơ, nhưng chứa đựng một tư tưởng sâu sắc – đó chính là sức mạnh của sự giản dị. Trong văn hóa cũng vậy, những biểu tượng chạm tới chiều sâu thường mang hình ảnh rất giản dị.

Khái quát hóa và mô hình hóa – giản dị trong sự đa dạng: Khái quát hóa là quá trình tìm kiếm sự giản dị trong sự đa dạng: bằng cách lược bỏ những đặc điểm riêng lẻ, mà hướng đến một nguyên lý chung chi phối cả một tập hợp phong phú các đối tượng hoặc hiện tượng riêng biệt. Ví dụ, thay vì cộng riêng từng trường hợp như tổng của 3, 4, 5 hay 100 số lẻ đầu tiên, nhờ khái quát hóa, toán học đã phát hiện một quy luật đơn giản: tổng của n số lẻ đầu tiên bằng n bình phương. Mô hình hóa cũng là một hình thức giản dị hóa: nó trừu tượng hóa hiện thực thành một hệ thống hay lý thuyết toán học. Chẳng hạn, để dự báo thời tiết, người ta xây dựng các mô phỏng hành vi khí quyển – qua đó lược giản sự phức tạp và nâng cao độ chính xác trong dự đoán. Rồi ngay cả trong việc giải một bài toán phổ thông, quá trình mô hình hóa cũng hiện diện: sau khi trừu tượng hóa các đại lượng cần tìm bằng cách ký hiệu chúng là x, y, z…, người ta thiết lập mối quan hệ giữa chúng bằng các phương trình – chính đó là bước xây dựng mô hình toán học cho bài toán.

Giải toán – hành trình tìm đến sự giản dị: Bản chất của việc giải một bài toán, dù đơn giản hay phức tạp, đó là quá trình giản dị hóa, tìm cách chuyển những điều rối rắm thành những gì dễ hiểu và dễ xử lý hơn. Ví dụ, thay vì cộng dồn từ 1 đến 100, cậu bé Gauss phát hiện các cặp đối xứng có cùng tổng: (1 + 100) = (2 + 99) = (3 + 98) = … = (50 + 51) = 101. Có 50 cặp như vậy, nên tổng là: 50 lần 101 = 5050. Một bài toán tưởng như dài dòng, phức tạp, nhưng lại được chuyển hóa thành điều dễ thao tác đến bất ngờ – giản dị hóa là vậy. Có thể nói, giản dị hóa là một quá trình diễn ra trong mọi khía cạnh của đời sống toán học, từ việc tìm kiếm lời giải cho các bài tập của các trò tiểu học, đến những chứng minh kỳ vĩ cho những bài toán hóc búa nhất thách thức nhân loại.

Ngôn ngữ toán học – vẻ đẹp của sự tiết chế: Giản dị trong hình thức luôn là vẻ đẹp của sự tiết chế trong toán học. Ngôn ngữ toán học tránh những tô vẽ phù phiếm, những phức tạp không cần thiết, mà bằng những biểu tượng tinh giản – nhưng mỗi ký hiệu thường lại chứa đựng cả một thế giới. Các hệ đếm cổ xưa, từ hệ nhị phân đến hệ thập phân, đều là nỗ lực tìm ra cách giản dị nhất để diễn đạt tập vô hạn các con số. Trong nhiều nền văn hóa, đặc biệt là văn hóa phương Đông như Đạo giáo, sự giản dị trong biểu đạt luôn được coi là đỉnh cao. Lão Tử từng dạy: “Đạo lớn giống như dòng nước. Nó chảy đến nơi thấp nhất, không tranh giành, không tô vẽ.” Chính sự không tranh giành, không tô vẽ ấy mới đem đến sự bền vững và mạnh mẽ đến vô cùng. Toán học, trong cách giản lược hình thức, cũng giống như một dòng nước – lặng lẽ, thuần khiết, nhưng đầy uy lực.

Những bộ óc vĩ đại – dấu ấn của tinh thần giản dị: Trong dòng chảy âm thầm – bền bỉ của lịch sử toán học, phẩm chất giản dị nổi lên như một dấu ấn đặc trưng, gắn liền với những trí tuệ lỗi lạc. Archimedes, Newton, Ramanujan, Grothendieck… – những tên tuổi thường được viện dẫn không chỉ bởi năng lực tư duy xuất chúng, mà còn bởi phẩm cách: xem học thuật như một lẽ sống, vượt lên trên mọi ham muốn tầm thường. Với họ, giá trị nội tại mang tính quyết định – luôn lấn át mọi yếu tố mang tính ngoại diện. Chính sự giản dị ấy đã nuôi dưỡng một đời sống nội tâm thuần khiết, nền tảng cho tinh thần tự do tuyệt đối – điều kiện để những ý tưởng phi thường nảy nở. Họ sống và sáng tạo theo một nhịp điệu riêng – trầm tĩnh, bền bỉ, thâm sâu – như chính dòng chảy tự nhiên: lặng lẽ mà viên mãn.

Giản dị – định hướng tinh thần và phẩm chất sống: Giản dị, trong bản chất sâu xa nhất, không chỉ là một phong cách mà là một định hướng tinh thần. Người giản dị là người luôn hướng tới cái đích thực, cái bền vững, không bị đánh lừa bởi lớp vỏ hào nhoáng. Trong toán học, sự giản dị thể hiện ở khát vọng tìm đến chân lý tối giản – tránh sa đà vào kỹ thuật rườm rà hay hình thức cầu kỳ. Những tiên đề hình học của Euclid, trải qua hơn 2000 năm, vẫn được xem là mẫu mực của sự giản dị. Còn các nguyên lý bất toàn của Gödel đã chỉ ra một điều giản dị: không có hệ thống hình thức nào bao trùm toàn bộ chân lý – một giới hạn khiến con người buộc phải khiêm tốn. Leonardo da Vinci từng nói: “Sự giản dị là đỉnh cao của sự tinh tế.” Bởi thế, sự giản dị đích thực thường đòi hỏi trí tuệ, lòng can đảm, và một tâm hồn đủ trong sáng để không bị mê hoặc trước những vỏ ngoài giả tạo.

Toán học với sự giản dị đã dạy cho con người những bài học sâu sắc: để hiểu được cái lớn lao, phải tìm thấy cái đơn giản; để sống có chiều sâu, phải buông bỏ những phô trương giả dối. Đó cũng chính là điều khiến toán học vừa uyên thâm, vừa giản dị đến lạ lùng. Giản dị không chỉ là một phương pháp tư duy, mà còn là một lẽ sống: sống hướng về thực chất, sống trung thực với bản thân, và sống bền bỉ với cái đẹp, với chân lý. Và phải chăng, trong những trang sách tưởng như lạnh lùng của toán học kia, lại có thể tìm thấy ở đó một bản giao hưởng lặng lẽ của sự giản dị, tinh tế và bền vững?

Đăng trong Tia Sáng, Số 11, tháng 6, 2025: Toán học với sự giản dị