Tại sao toán học không phải là một ngành khoa học?
Mình đọc một bài báo khá dài, trong đó có đoạn nói về toán học không phải là một ngành khoa học. Thấy chuyện này khá lạ và sốc, nên mình lên mạng tìm hiểu thêm. Dưới đây là một số thông tin.
1. Từ một lời cầu cứu bị từ chối
Có một câu chuyện khiến nhiều người phải suy ngẫm: Một cá nhân tuyên bố mình sở hữu năng lực ước tính "số lượng cặp số nguyên tố mà bất kỳ số chẵn nào cũng có thể biểu diễn được". Đây là một bài toán liên quan mật thiết đến Giả thuyết Goldbach nổi tiếng.
Vậy, tiêu chuẩn để một lĩnh vực được coi là "khoa học" (theo nghĩa khoa học tự nhiên như vật lý, hóa học, sinh học) là gì? Có ba yếu tố nền tảng:
Thứ nhất: Có thể thực chứng (Empirical Verification). Lý thuyết phải được kiểm tra thông qua thí nghiệm hoặc quan sát thực tế, và kết quả phải có khả năng tái hiện.
Thứ hai: Có khả năng bác bỏ (Falsifiability). Lý thuyết khoa học phải đưa ra những dự đoán có khả năng bị bác bỏ bởi bằng chứng mới. Nó không phải là chân lý bất biến, mà luôn mở để sửa đổi hoặc thay thế. điều này rất quan trọng vì khoa học tiến bộ nhờ việc tìm ra những điểm sai của lý thuyết cũ và thay thế bằng lý thuyết mới chính xác hơn, thay vì cố gắng tìm mọi bằng chứng chỉ để bảo vệ một quan điểm có sẵn. Mặt khác, khoa học phải đưa ra những dự đoán cụ thể, nếu thực tế không đúng như dự đoán, lý thuyết khoa học đó buộc phải bị loại bỏ hoặc phải sửa đổi.
4. Mối quan hệ cộng sinh: Toán học - Nền tảng không thể thiếu của khoa học
Điều nghịch lý và cũng tuyệt đẹp ở đây chính là: Mặc dù không phải là khoa học, toán học lại là ngôn ngữ và công cụ nền tảng của mọi ngành khoa học.
Không có toán học, vật lý không thể mô tả chuyển động của các hành tinh, hóa học không thể tính toán phản ứng, sinh học không thể mô hình hóa hiện tượng di truyền, và kinh tế học không thể phân tích dữ liệu, đưa ra các mô phỏng chính sách và dự báo phát triển. Toán học cung cấp bộ khung logic, các công cụ tính toán và ngôn ngữ chính xác để khoa học tự nhiên "ánh xạ" các quy luật của thế giới khách quan vào trong tư duy con người.
Nói cách khác, nếu khoa học là nỗ lực của con người nhằm giải mã logic của tự nhiên, thì toán học chính là cây cầu và bộ công cụ không thể thiếu để xây dựng nên sự ánh xạ logic đó.
5. Kết luận
Quay trở lại câu chuyện ban đầu về lời cầu cứu bị từ chối, chúng ta có thể thấy rằng, sự im lặng từ phía truyền thông và giới chuyên môn không nhất thiết là sự phủ nhận cá nhân, mà có thể là hệ quả của một khoảng cách về phương pháp luận và tiêu chuẩn thẩm định. Trong một lĩnh vực dựa trên sự tự chứng và logic nội tại như toán học, việc công nhận một tuyên bố đòi hỏi nhiều hơn là một lời khẳng định cá nhân; nó đòi hỏi sự hòa nhập vào hệ thống ngôn ngữ, phương pháp chứng minh và cơ chế phản biện đã được thiết lập qua hàng chục thế kỷ.
Hiểu rằng "toán học không phải là khoa học" theo nghĩa thực nghiệm không hề hạ thấp giá trị của nó. Ngược lại, điều này giúp chúng ta trân trọng đúng vị thế độc đáo của toán học: một kiệt tác của tư duy trừu tượng, một công cụ quyền năng, và là người bạn đồng hành không thể thay thế của khoa học trong hành trình khám phá vũ trụ và chính bản thân chúng ta.
Có một câu chuyện khiến nhiều người phải suy ngẫm: Một cá nhân tuyên bố mình sở hữu năng lực ước tính "số lượng cặp số nguyên tố mà bất kỳ số chẵn nào cũng có thể biểu diễn được". Đây là một bài toán liên quan mật thiết đến Giả thuyết Goldbach nổi tiếng.
Người này cho rằng, dù siêu máy tính có mạnh đến đâu cũng không thể tính toán hết được số lượng thực tế khi con số đủ lớn, nhưng họ lại có thể ước tính được điều đó bằng phương pháp riêng. Họ mong muốn được kiểm chứng bằng siêu máy tính hoặc máy tính lượng tử, và đã tìm đến giới truyền thông với hy vọng đơn giản: chỉ cần đưa tin về lời đề nghị kiểm chứng này.
Thế nhưng, lời cầu cứu ấy đã "khắp nơi đều gặp bức tường lạnh nhạt". Không có nhà báo nào phản hồi. Tại sao lại như vậy?
Câu trả lời không nằm ở thái độ của truyền thông, mà nằm ở chính bản chất của toán học và khoa học. Để hiểu điều này, chúng ta cần quay trở lại một câu hỏi nền tảng: Toán học có thực sự là một ngành khoa học?
2. Toán học: Môn học, công cụ, hay ngành khoa học?
Thế nhưng, lời cầu cứu ấy đã "khắp nơi đều gặp bức tường lạnh nhạt". Không có nhà báo nào phản hồi. Tại sao lại như vậy?
Câu trả lời không nằm ở thái độ của truyền thông, mà nằm ở chính bản chất của toán học và khoa học. Để hiểu điều này, chúng ta cần quay trở lại một câu hỏi nền tảng: Toán học có thực sự là một ngành khoa học?
2. Toán học: Môn học, công cụ, hay ngành khoa học?
Một sự thật ít người để ý: Toán học không phải là khoa học (theo nghĩa thực nghiệm).
Toán học trước hết là một môn học, một công cụ tư duy, và một kỹ năng logic. Nhà toán học, do đó, không phải là "nhà khoa học" theo định nghĩa chặt chẽ của khoa học tự nhiên, dù họ chắc chắn là chuyên gia trong lĩnh vực của mình. Sự công nhận dành cho một nhà toán học thường đến từ hai kênh chính: hệ thống đào tạo bằng cấp học thuật và việc công bố nghiên cứu trên các tạp chí chuyên ngành được đồng nghiệp thẩm định.
Chính vì đặc thù này, trong toán học vốn dĩ không tồn tại khái niệm "khoa học gia dân dã" (dân khoa) theo cách hiểu trong vật lý hay sinh học. Bởi lẽ, toán học, xét đến cùng, là sản phẩm của tư duy thuần túy.
Về mặt triết học, toán học vừa có thể tồn tại, cũng có thể không tồn tại như một thực thể vật lý. Nó là hệ thống tự chứng: mỗi người về nguyên tắc đều có thể xây dựng "toán học của riêng mình". Tuy nhiên, thứ chúng ta học trong nhà trường, thi cử và ứng dụng trong đời sống, không phải là thứ toán học cá nhân cực đoan ấy, mà là một hệ thống toán học được công hữu hóa và công nhận bởi tập thể, chủ yếu là giới toán học và giới khoa học toàn cầu.
Rời khỏi hai vòng tròn công nhận này, việc một cá nhân tự tuyên bố về những phát kiến toán học của mình, về mặt lý thuyết là hoàn toàn được phép. Nhưng nó sẽ "không có ý nghĩa" trong ngữ cảnh học thuật chung, bởi thiếu đi cơ chế thẩm định và ngôn ngữ chung để đối thoại. Logic này, nếu hiểu được, có thể giúp nhiều người giải thoát khỏi những băn khoăn không cần thiết.
Khi ai đó cố gắng trình bày "toán học cá nhân" của mình với công chúng hay thậm chí với chuyên gia, việc không nhận được phản hồi là điều dễ hiểu. Không phải vì người ta cố tình phớt lờ, mà bởi vì hai bên có thể đang nói về hai hệ quy chiếu hoàn toàn khác biệt. Một nhà toán học chuyên nghiệp không những có thể "không hiểu" cách lập luận đó, mà còn có thể đánh giá nó thiếu tính chặt chẽ của hệ thống toán học đã được thiết lập.
3. Toán học không đáp ứng tiêu chuẩn của một ngành khoa học ?
Toán học trước hết là một môn học, một công cụ tư duy, và một kỹ năng logic. Nhà toán học, do đó, không phải là "nhà khoa học" theo định nghĩa chặt chẽ của khoa học tự nhiên, dù họ chắc chắn là chuyên gia trong lĩnh vực của mình. Sự công nhận dành cho một nhà toán học thường đến từ hai kênh chính: hệ thống đào tạo bằng cấp học thuật và việc công bố nghiên cứu trên các tạp chí chuyên ngành được đồng nghiệp thẩm định.
Chính vì đặc thù này, trong toán học vốn dĩ không tồn tại khái niệm "khoa học gia dân dã" (dân khoa) theo cách hiểu trong vật lý hay sinh học. Bởi lẽ, toán học, xét đến cùng, là sản phẩm của tư duy thuần túy.
Về mặt triết học, toán học vừa có thể tồn tại, cũng có thể không tồn tại như một thực thể vật lý. Nó là hệ thống tự chứng: mỗi người về nguyên tắc đều có thể xây dựng "toán học của riêng mình". Tuy nhiên, thứ chúng ta học trong nhà trường, thi cử và ứng dụng trong đời sống, không phải là thứ toán học cá nhân cực đoan ấy, mà là một hệ thống toán học được công hữu hóa và công nhận bởi tập thể, chủ yếu là giới toán học và giới khoa học toàn cầu.
Rời khỏi hai vòng tròn công nhận này, việc một cá nhân tự tuyên bố về những phát kiến toán học của mình, về mặt lý thuyết là hoàn toàn được phép. Nhưng nó sẽ "không có ý nghĩa" trong ngữ cảnh học thuật chung, bởi thiếu đi cơ chế thẩm định và ngôn ngữ chung để đối thoại. Logic này, nếu hiểu được, có thể giúp nhiều người giải thoát khỏi những băn khoăn không cần thiết.
Khi ai đó cố gắng trình bày "toán học cá nhân" của mình với công chúng hay thậm chí với chuyên gia, việc không nhận được phản hồi là điều dễ hiểu. Không phải vì người ta cố tình phớt lờ, mà bởi vì hai bên có thể đang nói về hai hệ quy chiếu hoàn toàn khác biệt. Một nhà toán học chuyên nghiệp không những có thể "không hiểu" cách lập luận đó, mà còn có thể đánh giá nó thiếu tính chặt chẽ của hệ thống toán học đã được thiết lập.
3. Toán học không đáp ứng tiêu chuẩn của một ngành khoa học ?
Vậy, tiêu chuẩn để một lĩnh vực được coi là "khoa học" (theo nghĩa khoa học tự nhiên như vật lý, hóa học, sinh học) là gì? Có ba yếu tố nền tảng:
Thứ nhất: Có thể thực chứng (Empirical Verification). Lý thuyết phải được kiểm tra thông qua thí nghiệm hoặc quan sát thực tế, và kết quả phải có khả năng tái hiện.
Thứ hai: Có khả năng bác bỏ (Falsifiability). Lý thuyết khoa học phải đưa ra những dự đoán có khả năng bị bác bỏ bởi bằng chứng mới. Nó không phải là chân lý bất biến, mà luôn mở để sửa đổi hoặc thay thế. điều này rất quan trọng vì khoa học tiến bộ nhờ việc tìm ra những điểm sai của lý thuyết cũ và thay thế bằng lý thuyết mới chính xác hơn, thay vì cố gắng tìm mọi bằng chứng chỉ để bảo vệ một quan điểm có sẵn. Mặt khác, khoa học phải đưa ra những dự đoán cụ thể, nếu thực tế không đúng như dự đoán, lý thuyết khoa học đó buộc phải bị loại bỏ hoặc phải sửa đổi.
Thứ ba: Có thể dự đoán (Predictive Power). Khoa học phải có khả năng giải thích các hiện tượng tự nhiên và dự báo chính xác các kết quả trong những điều kiện nhất định.
Một lĩnh vực hội tụ đủ ba yếu tố trên mới có thể được xem xét là khoa học tự nhiên. Thiếu một trong ba, nó không phải là khoa học theo định nghĩa này.
Và toán học, thiếu yếu tố then chốt đầu tiên: nó không thể thực chứng bằng thực nghiệm.
Hãy xem xét ví dụ đơn giản: 1 + 1 = 2. Đây là một chân lý toán học, nhưng trong thế giới tự nhiên, không có cái gọi là "1 + 1" trừu tượng. Một con số không có đơn vị hay ngữ cảnh thì vô nghĩa. Một quả nho cộng một quả nho thì được hai quả nho. Nhưng một quả nho cộng một quả táo thì là gì? Không phải là "2 quả" theo nghĩa thuần túy, mà là "hai vật thể khác loại". Một giọt nước hòa vào một giọt nước khác có thể vẫn chỉ là một giọt nước dù đã lớn hơn. Toán học trừu tượng hóa những đặc tính cụ thể này để tạo ra các quy tắc phổ quát, nhưng chính sự trừu tượng đó khiến nó không thể bị "kiểm tra" trực tiếp trong phòng thí nghiệm theo cách một giả thuyết vật lý có thể.
Toán học là hệ thống tự chứng dựa trên logic nội tại và các tiên đề được chấp nhận. Nó không cần, và cũng không thể, dựa vào thực nghiệm bên ngoài để xác nhận tính đúng đắn của các định lý thuần túy. Sức mạnh của nó nằm ở tính nhất quán và khả năng suy diễn, không phải ở khả năng tái hiện trong ống nghiệm.
Hiểu như vậy thì toán học không phải là một ngành khoa học, kể cả toán học ứng dụng.
Một lĩnh vực hội tụ đủ ba yếu tố trên mới có thể được xem xét là khoa học tự nhiên. Thiếu một trong ba, nó không phải là khoa học theo định nghĩa này.
Và toán học, thiếu yếu tố then chốt đầu tiên: nó không thể thực chứng bằng thực nghiệm.
Hãy xem xét ví dụ đơn giản: 1 + 1 = 2. Đây là một chân lý toán học, nhưng trong thế giới tự nhiên, không có cái gọi là "1 + 1" trừu tượng. Một con số không có đơn vị hay ngữ cảnh thì vô nghĩa. Một quả nho cộng một quả nho thì được hai quả nho. Nhưng một quả nho cộng một quả táo thì là gì? Không phải là "2 quả" theo nghĩa thuần túy, mà là "hai vật thể khác loại". Một giọt nước hòa vào một giọt nước khác có thể vẫn chỉ là một giọt nước dù đã lớn hơn. Toán học trừu tượng hóa những đặc tính cụ thể này để tạo ra các quy tắc phổ quát, nhưng chính sự trừu tượng đó khiến nó không thể bị "kiểm tra" trực tiếp trong phòng thí nghiệm theo cách một giả thuyết vật lý có thể.
Toán học là hệ thống tự chứng dựa trên logic nội tại và các tiên đề được chấp nhận. Nó không cần, và cũng không thể, dựa vào thực nghiệm bên ngoài để xác nhận tính đúng đắn của các định lý thuần túy. Sức mạnh của nó nằm ở tính nhất quán và khả năng suy diễn, không phải ở khả năng tái hiện trong ống nghiệm.
Hiểu như vậy thì toán học không phải là một ngành khoa học, kể cả toán học ứng dụng.
Toán học bản chất chỉ là một tập hợp các quy tắc logic và là một công cụ để nghiên cứu khoa học.
4. Mối quan hệ cộng sinh: Toán học - Nền tảng không thể thiếu của khoa học
Điều nghịch lý và cũng tuyệt đẹp ở đây chính là: Mặc dù không phải là khoa học, toán học lại là ngôn ngữ và công cụ nền tảng của mọi ngành khoa học.
Không có toán học, vật lý không thể mô tả chuyển động của các hành tinh, hóa học không thể tính toán phản ứng, sinh học không thể mô hình hóa hiện tượng di truyền, và kinh tế học không thể phân tích dữ liệu, đưa ra các mô phỏng chính sách và dự báo phát triển. Toán học cung cấp bộ khung logic, các công cụ tính toán và ngôn ngữ chính xác để khoa học tự nhiên "ánh xạ" các quy luật của thế giới khách quan vào trong tư duy con người.
Nói cách khác, nếu khoa học là nỗ lực của con người nhằm giải mã logic của tự nhiên, thì toán học chính là cây cầu và bộ công cụ không thể thiếu để xây dựng nên sự ánh xạ logic đó.
Theo quan niệm của tôi, hiện nay, nhân loại đang sở hữu ba ngành khoa học cốt lõi cho mọi quá trình phát triển. Một là triết học, nền tảng để hiểu biết mọi sự vật. Hai là toán học, phương pháp luận để nghiên cứu các vấn đề. Và ba là lịch sử, cơ sở nền tảng, kinh nghiệm để tránh sai lầm trong quá trình phát triển.
Quay trở lại các lập luận trên, toán học không trực tiếp giải thích thế giới thực, bởi vì thế giới thực được thể hiện thông qua các ngành như vật lý và hóa học. Tuy nhiên, toán học là nền tảng của vật lý và hóa học; nếu không có toán học, vật lý và hóa học sẽ không thực sự tồn tại. Vì thế nhiều người xem toán học là cha đẻ của các ngành khoa học tự nhiên.
Quay trở lại các lập luận trên, toán học không trực tiếp giải thích thế giới thực, bởi vì thế giới thực được thể hiện thông qua các ngành như vật lý và hóa học. Tuy nhiên, toán học là nền tảng của vật lý và hóa học; nếu không có toán học, vật lý và hóa học sẽ không thực sự tồn tại. Vì thế nhiều người xem toán học là cha đẻ của các ngành khoa học tự nhiên.
5. Kết luận
Quay trở lại câu chuyện ban đầu về lời cầu cứu bị từ chối, chúng ta có thể thấy rằng, sự im lặng từ phía truyền thông và giới chuyên môn không nhất thiết là sự phủ nhận cá nhân, mà có thể là hệ quả của một khoảng cách về phương pháp luận và tiêu chuẩn thẩm định. Trong một lĩnh vực dựa trên sự tự chứng và logic nội tại như toán học, việc công nhận một tuyên bố đòi hỏi nhiều hơn là một lời khẳng định cá nhân; nó đòi hỏi sự hòa nhập vào hệ thống ngôn ngữ, phương pháp chứng minh và cơ chế phản biện đã được thiết lập qua hàng chục thế kỷ.
Hiểu rằng "toán học không phải là khoa học" theo nghĩa thực nghiệm không hề hạ thấp giá trị của nó. Ngược lại, điều này giúp chúng ta trân trọng đúng vị thế độc đáo của toán học: một kiệt tác của tư duy trừu tượng, một công cụ quyền năng, và là người bạn đồng hành không thể thay thế của khoa học trong hành trình khám phá vũ trụ và chính bản thân chúng ta.
Không có nhận xét nào:
Đăng nhận xét