Tôi tin rằng Godel khi ấy đo lường các bậc trưởng thượng. Quan điểm của ông về toán học, về sự có nghĩa, về những gì chúng ta có thể biết, về tầm quan trọng của ngôn ngữ trong sự tạo dáng cho thực tại, đều lỗi nhịp với quan điểm của các nhà thực chứng.
Khi tôi là một sinh viên cao học về triết, vẫn còn một vài giáo sư, những triết gia đại học Cambridge, đã từng thuộc vòng trong Wittgenstein, và đôi khi họ sang giảng ở đại học Princeton. Và tôi cố đi nghe họ. Họ vẫn còn bảo lưu một vài bộ tịch của Wittgenstein. Ông ta có nhiều tật máy giật; ông ta nhăn mặt khỉ và còn phát ra những tiếng gừ gừ trong lúc suy nghĩ, và mấy vị giáo sư kia cũng nhăn mặt và gừ nữa. Wittgenstein có tác động thôi miên trên người khác. Nhưng đối với Gôdel thì không.
Đây là những gì tôi nghĩ. Gôdel bực mình vì Wittgenstein. Ông không chỉ giữ những quan điểm siêu toán học so le một cách sâu xa với những quan điểm của Wittgenstein – và mặc dù Wittgenstein không phải là một nhà thực chứng, quan điểm của ông về cơ cở toán học, đặc biệt trong cuốn Tractatus, nằm trong mạch của chủ nghĩa thực chứng – nhưng tôi nghĩ ông ta còn bực mình nữa bởi sự rùm beng mà những người chung quanh, đám thực chứng thuộc Nhóm Vienna, cổ võ về Wittgenstein. Chúng ta chỉ miễn trừ trò đó cho những ai chúng ta nghĩ là xứng đáng. Và dưới ánh sáng của Gôdel, Wittgenstein không xứng.
Dù sao đi nữa, những cuộc đàm thoại bị Wittgenstein chế ngự này là những thảo luận mà Gôdel thường lui tới khi ông ta đang ôm ấp những ý tưởng của riêng mình về những cơ sở của toán học; không chỉ ôm ấp mà như tất cả chúng ta đều biết, mà còn thực sự triển khai những trực giác sẽ dẫn tới những định lí về bất toàn của ông.
Gôdel là một con người kín tiếng, một con người mờ đục. Ông ta không cho ta nhiều để cố tưởng tượng ra con người nội tâm. Một con người viết tiểu thuyết được đào luyện về nghệ thuật nhập vào các nhân vật, cả thực sự lẫn được tưởng tượng ra. Phần lớn tài khéo của một tiểu thuyết gia nằm ở chỗ tự thân luồn lách vào đời sống nội tâm của kẻ khác. Gôdel là người khó mà xâm nhập. Tôi khá tin tưởng rằng có một mối xúc cảm mạnh mẽ nào đó gắn liền với Wittgenstein; tôi có thể dựng lên một câu chuyện khá thuyết phục để gây hiệu ứng này. Nhưng rốt cuộc đó có thể là một câu chuyện dàn dựng. Nó mang tính cưỡng hành đối với tôi, hay dở cũng đành, và nó có ý nghĩa, về mặt tâm lí. Lại còn có cả bằng chứng ít nhiều, trong văn tự.
Về cuối đời Gôdel có những điều gay gắt để nói về Wittgenstein. Dĩ nhiên, không phải mặt giáp mặt, thường khi cũng chẳng phải nói với người khác, nhưng qua thư từ. Phần lớn những thư này ông không gửi đi bao giờ, và tôi gặp được chúng trong thư viện Firestone, nằm giữa những di cảo, Nachlass, của Gôdel. Wittgenstein không bao giờ chấp nhận kết quả của Gôdel; ông nói trong tác phẩm The Foundations of Mathematics [Những cơ sở của toán học], xuất bản sau khi ông qua đời, rằng nhiệm vụ của ông không phải là thảo luận với Gôdel, mà là vòng qua Gôdel. Ông cũng gọi những kết quả của Gôdel là những mánh lới của một nhà ảo thuật về luận lí, những trò tiểu xảo luận lí (logical artifices/Kunststucken). Có người bảo với Gôdel về điều này, và đó chính là lúc ông phát tác phần nào nỗi bực dọc của ông về Wittgenstein, nỗi bực dọc mà nếu những suy đoán về tâm lí của tôi là đúng, đã hàng nhiều thập niên, đã ủ kín rất lâu về trước khi Gôdel lắng nghe những nhà thực chứng ca tụng những quan điểm của Wittgenstein, mà hiểu rằng Wittgenstein bênh vực việc họ kết án mọi quan điểm siêu hình, gồm cả chủ nghĩa Platon.
Dĩ nhiên, không phải chỉ riêng Wittgenstein là bác bỏ những định lí của Gôdel. Có những nhà toán học hiện nay còn đang tranh luận với những kết quả về bất toàn, đôi khi trên cơ sở của chủ nghĩa kiến thiết (constructivist), tức là những dè dặt nghiêm ngặt về những gì có thể, và quan trọng hơn, không thể cầu viện trong chứng cứ. Rồi lại có những kẻ chấp nhận rằng về mặt toán học Gôdel đã chứng minh được kết quả của ông về sự bất toàn, nhưng họ lại bác bỏ quan điểm siêu toán học, tức chủ nghĩa hiện thực toán học (mathematical realism) mà Gôdel nghĩ rằng được các kết quả của ông mạnh mẽ gợi ra. Chắc chắn có những nhà luận lí toán học là những người theo chủ nghĩa hình thức, ngay cả trong ánh sáng của những định lí bất toàn. Chủ nghĩa Platon của Gôdel về mặt tâm lí có thể đã là động cơ thúc đẩy công việc tìm kiếm sự bất toàn của ông, để giúp ông đóng một thứ ông coi như cây nêm giữ những khái niệm về chân lí toán học và khả tính chứng minh (provability); nhưng điều đó không có nghĩa là những định lí của ông về mặt luận lí đã phản chứng chủ nghĩa hình thức (formalism). Trái tim theo chủ nghĩa Palton của Gôdel có thể đã hân hoan với những kết quả của ông, bởi chúng dường như đã bênh vực cho niềm tin của ông rằng thực tại toán học hiện hữu độc lập với những hệ thống hình thức. Nhưng chủ nghĩa Platon không hàm ngụ trong những kết quả về bất toàn. Chủ nghĩa Platon không là một định lí toán học chút nào.
Dĩ nhiên, Gôdel đã làm cho người ta khó có thể không là một người theo chủ nghĩa Platon. Ông chứng minh rằng có những mệnh đề về số học đúng nhưng không thể chứng minh được. Điều đó nghe ra gần với tuyên xưng rằng những chân lí số học độc lập với bất cứ hoạt động nào của con người. Những triết gia về toán học chắc chắn có thể tránh kết luận theo chủ nghĩa Platon, nhưng, chừng nào họ không chỉ “vòng qua Gôdel”, họ bắt buộc phải nhảy múa đặc dị. Ngay cả Wittgenstein, người nói rằng nhiệm vụ của mình không phải là đề đạt những định lí của Gôdel, cũng không thể tránh được việc cứ phải vòng đi vòng lại với chúng. Ông tranh luận về chúng trong lớp của mình với Alan Turine. Và dĩ nhiên tác phẩm của chính Turing, việc ông chứng minh rằng chúng ta không thể giải được vấn đề ngưng chạy (the halting problem) – đại khái, biết rằng một chương trình điện toán cho sẵn sẽ tạo ra một kết quả khi có một nhập liệu cho sẵn hoặc sẽ kéo lê mãi cho đến kiệt quệ, tự thân kế thừa định luật thứ nhất của Gôdel về bất toàn.
Có những nhà toán học nói rằng những gì Gôdel đã làm thì chẳng liên quan gì đến công việc trong đời làm toán của họ; rằng họ không bao giờ phải nghĩ về sự bất toàn, cho đến nổi chẳng biết rành rẽ bất toàn là cái gì. Vậy là bạn có thể làm toán và ở ngoài cuộc thảo luận siêu toán học. Đây có lẽ là một thái độ khá chung trong số những nhà toán học. Và trong một nghĩa nào đó, nó là một thái độ tự nhiên. Khi bạn đang làm việc trong ngành, bạn làm những gì có thể làm trong đó. Loài cá không cần phải là chuyên viên về bản tính của nước.
Điều đó cũng đúng trong địa hạt khác nữa, chẳng hạn như vật lí. Các nhà vật lí bất đồng ý kiến một cách triệt để về sự thông giải các lí thuyết vật lí – một số nghĩ là họ chỉ mô tả một thực tại vật thể khách quan; một số khác lại nghĩ lí thuyết chỉ là những công cụ để tiên đoán – vẫn có thể cộng tác với tư cách nhà vật lí, có thể dùng chung những lí thuyết vật lí để đạt những kết quả khoa học, hoặc về mặt lí thuyết, hoặc về mặt ứng dụng. Công việc ngày lại ngày của bạn như một nhà vật lí không nhất thiết sẽ phải thay đổi cách này hoặc cách khác bởi quan điểm siêu tính của bạn về bản chất vật lí. Và công việc ngày lại ngày của bạn như một nhà toán học không nhất thiết sẽ phải thay đổi bởi quan điểm siêu tính của bạn về bản chất của toán học. Bạn cũng chẳng cần phải có một siêu quan điểm. Những định lí của Gôdel chỉ quan trọng nếu bạn quan tâm đến những câu hỏi siêu tính kia và làm một nhà toán học bạn không nhất thiết phải quan tâm đến những câu hỏi đó.
– Bà liên kết mối quan tâm này về những cơ sở triết học của toán học và vật lí với tình bạn nổi tiếng Gôdel và Einstein, phải không ạ?
Lắm người trong số những kẻ ngắm đôi bạn đó thong dong thả bộ mỗi ngày về nhà từ Viện Nghiên cứu Cao cấp, đắm mình trong trò chuyện – những người trong số quen biết bọ bảo tôi rằng họ chỉ ưa nói với nhau – thắc mắc là sao hai con người khác nhau đến thế lại có thể gắn bó tới mức đó. Nhưng cái gắn bó họ là, trước nhất, họ quan tâm rất sâu sắc về những câu hỏi siêu tính của những địa hạt riêng từng người, những câu hỏi không phải về việc những địa hạt này thực sự đang làm là gì và làm sao chúng xoay xở để làm được điều đó.
Cả hai ông đều nhìn việc làm của mình trong một khung cảnh triết học nhất định. Cả hai đều là những người theo chủ nghĩa hiện thực kiên định, Einstein trong vật lí, và hiển nhiên Gôdel trong toán học. Viễn kiến triết học đó đặt để họ so le với nhiều nhà khoa học cùng tầm vóc với họ. Vậy nên điều lí thú là hai khuôn mặt này rất lẫy lừng nhưng tự cảm thấy bị gạt bên lề, và bị gạt bên lề trong những cung cách tương tự. Điều này có thể giải thích phần nào sự gắn bó cách khác làm ngỡ ngàng những ai quen biết họ. Và thêm nữa cả hai còn nối liền với nhau trong cùng sự éo le mà tôi nêu ra khi mở đầu câu chuyện, là công trình của họ bị cuốn vào cuộc tấn kích chung vào tính khách quan và tính thuần lí. Một lần nữa tôi nhớ lại mùa hè năm đó, trước khi tôi bước vào đại học và đọc trong sách là cả thuyết tương đối và sự bất toàn đã chứng tỏ, với toàn thể quyền uy của vật lí và toán học, là không có những tiêu chuẩn khách quan nào cho chân lí và lí tính. Cả hai đều phải lưu vong khỏi Châu Âu đã Quốc xã hóa, nhưng lạ thay họ cũng là những lưu vong trí tuệ, và điều đó làm đa số sững sờ, xét vì công trình của họ thường được coi là nặng tầm vóc trung tâm.
Họ, cả hai đều đã tác động đến những cuộc cách mạng trong những địa hạt riêng của từng người, nhưng cách họ nhìn công trình của chính mình, ánh sáng triết học mà họ nghĩ công trình của họ tỏa ra, không thể so le hơn với hầu hết những người đồng thời.
Einstein và Gôdel là những đồng minh chân chính, và sau khi Einstein qua đời, sự cô đơn tự nhiên của Gôdel càng khắc sâu, cùng với nhưng khuynh hướng hoang tưởng của ông. Ông đi đến một kết cục buồn thảm. Sự nghi ngại của ông đối với ngôn ngữ, trong một nghĩa, được minh chứng. Nghi ngại ngôn ngữ, ông đã nỗ lực làm cho toán học của ông nói lên những xác tín siêu toán học của mình, nhưng những kẻ khác lại thường thông giải những định lí của ông là nói ngay cái đối nghịch với những gì ông muốn chúng nói. Ai lại không trở nên càng nghi hoặc hơn về sự truyền thông của con người? Ai lại không càng rút lui vào cô đơn? Dĩ nhiên tôi không đang biện minh cho sự hoang tưởng của ông. Nhưng có chút bóng dáng nào đó của một sự đáp ứng thuần lí trong sự phi thuần lí (irrationality) nữa.
Tôi chạnh buồn cho cảm quan cô đơn của ông, nó phải sâu thẳm biết chừng nào. Tôi buốt lòng khi ngẫm đến việc ông cảm thấy thế giới quá đổi thù nghịch đến nỗi ông tin rằng thức ăn của mình bị đầu độc và vì thế ngưng ăn và chết trong đói khát. Tôi đã trải qua một thời gian dài để tưởng tượng ra một người như thế phải cảm xúc như thế nào. Và tôi đặt tương phản giữa nơi chốn thâm u và lạnh lẽo mà ông sống bao năm dài, và ở đó, ông kết liễu đời mình với cái cảm nhận ngạc nhiên bừng sáng mà tôi trải qua mùa hè đó trước khi bước vào cao học, khi tôi lần đầu tiên hiểu được tuyệt tác về lí trí của Gôdel. Ông ban kinh nghiệm đó cho vô số người, và chúng ta biết ơn.
Nguyễn Tiến Văn dịch và giới thiệu
thaydo.idn.vn post theo Tạp chí Tia Sáng