NGỌC PHƯƠNG NAM. Tôi thích chất trí tuệ trong sự hỏi và trả lời với Ngô Bảo Châu. Câu hỏi của thượng tọa Thích Nhật Từ khá hay và trả lời của giáo sư Ngô Bảo Châu chứa đựng những mảnh vụn lấp lánh của minh triết. Người đọc có thể tìm được những chỉ dấu khôn ngoan để tự tìm kiếm câu trả lời cho riêng mình mà không cần phải tranh luận. Cuộc đời có nhiều nẽo đường cũng như các câu hỏi có nhiều cách trả lời. Tùy theo lời giải và nội lực của mỗi người mà ta về đến đích hoặc dừng lại dọc đường. Lần trước chúng ta đã có Toàn văn phát biểu của GS. Ngô Bảo Châu trong buổi lễ long trọng của Nhà nước tôn vinh Giáo sư Ngô Bảo Châu đoạt giải toán học Fields. Sau đó với nhiều lời khen chê đối với bài viết Cẩu thả và sợ hãi. Blog Thích học Toán của Ngô Bảo Châu đã đóng và nay mở lại Sổ tay Thích học Toán với chuyện dang dở. Sự đối thoại đáng suy ngẫm. (HK)
(Giáo sư Ngô Bảo Châu được Tổng thống Ấn Độ Pratibha Patil trao huy chương Fields Ảnh: AFP)
Sổ tay Thích Học Toán
Chuyện dang dở
Trong cuộc đời mình, mỗi chúng ta thường xuyên phải đối mặt với lựa chọn : tiếp tục bấu víu vào những kế hoạch còn dang dở hay là buông cho nó trôi đi theo dòng chảy của thời gian. Duy trì cái blog Thích Học Toán là một trong những chuyện như thế.
Có bao nhiêu thứ với ta là gắn bó nhưng ta vẫn phải coi nó như vĩnh viễn thuộc về miền của ký ức. Sức có hạn, nếu trái tim không để những thứ nặng nề ở lại phía sau thì đôi chân làm sao mà “rảo bước với thời gian”.
Nhưng tình thân của nhiều bạn đọc với blog Thích Học Toán đã làm cho người coi chùa ấm lòng. Hôm nay blog được mở lại để đáp lại cái tình đó. Nhưng chúng ta sẽ giữ gìn để nó không lại trở thành một hòn đá níu bước chân ta.
Sổ tay Thích Học Toán không nhận nhận xét của độc gỉả. Quả cũng hơi tiếc vì nhận xét của độc giả là phần thưởng lớn nhất cho người viết blog. Nhưng có một số bạn đọc nhầm lẫn giữa nhận xét và tranh cãi, còn chủ blog thì không thích tranh cãi. Người khôn chỉ cần nói với nhau một lời là hiểu.
Một chuyện nhỏ dang dở khác mà cũng nhân tiện đây ta cho vĩnh viễn đi về qua khứ. Dưới đây là một bài phỏng vấn do TT Thích Nhật Từ đề nghị cho báo Đạo Phật ngày nay. Không biết vì lý do gì mà cuối cùng hình như không được in. Chép lại đây có lẽ là thích hợp nhất. Dưới đây là toàn văn bài phỏng vấn, ĐPNN (Đạo Phật ngày nay) đặt câu hỏi, NBC (Ngô Bảo Châu) trả lời.
**********
ĐPNN: Sau khi được bổ nhiệm là giám đốc khoa học của Viện nghiên cứu cao cấp về Toán từ ngày 9-3-2011, được biết đây là mùa hè đầu tiên, GS làm việc tại Việt Nam. Với cương vị này, trách nhiệm và chiến lược của GS trong việc phát triển toán học tại nước nhà ra sao? Những khó khăn nếu có?
NBC: Chào thầy Thích Nhật Từ. Vâng thưa thầy, hè năm nay Viện nghiên cứu cao cấp về Toán (VIASM) đã có những hoạt động khoa học đầu tiên. Bên cạnh việc cùng nhau tìm hiểu một số vấn đề toán học ít được nghiên cứu ở Việt Nam, chúng tôi cố gắng tạo ra một nếp làm việc cho những hoạt động khoa học khác của VIASM sau này. Tất nhiên là vạn sự khởi đầu nan, nhưng tôi rất hy vọng VIASM sẽ là một nguồn sức sống mới cho toán học Việt Nam.
ĐPNN: GS có phải là Phật tử? Việc tìm hiểu về đạo Phật của GS thế nào?
NBC: Gia đình tôi theo Phật nhưng tôi không phải là phật tử theo nghĩa toàn vẹn nhất, mặc dù có lẽ văn hóa Phật giáo có thấm sâu vào con người tôi như nhiều người Việt nam khác.
ĐPNN: Đạo Phật đã ảnh hưởng thế nào đối với cuộc sống của GS?
NBC: Có lẽ đó là sự nhận thức sâu sắc về giá trị của cuộc sống của con người cũng như của mọi sinh linh từ đó dẫn đến sự trân trọng cuộc sống của người khác và của chính mình.
Có lẽ đó còn là một thái độ tương đối bình thản trước mọi biến cố của cuộc sống. Thường thì người ta đạt được sự bình thản này sau khi một phần lớn của đời mình đã trôi qua, văn hóa Phật giáo có thể giúp ta bình thản ngay cả khi một phần lớn của cuộc đời có lẽ còn ở phía trước.
Có lẽ sự nhận thức về tính vô thường của thế giới và của cả con người đã giúp tôi rất nhiều để có một sự cân bằng trong cuộc sống. Một bên ta không thể buông xuôi trách nhiệm với xã hội, với những người thân thiết, với bản thân mình, một bên ta vẫn hiểu rằng cái quan trọng ngày hôm nay, ngày mai có thể sẽ không còn quan trọng nữa.
ĐPNN: Giáo sư đã từng đọc kinh Phật? Nếu có thì đó là kinh gì? Ảnh hưởng của bài kinh đó đối với cuộc sống của giáo sư thế nào?
NBC: Tôi được đọc kinh phật mỗi lần đến thăm bà ngoại tôi. Ngoại tôi tụng kinh hàng ngày. Khi còn là sinh viên tôi có đọc một số sách về lịch sử Phật giáo.
Trải nghiệm quan trọng nhất của tôi với Phật giáo là lần đi thăm di tích Ajanta bên Ấn độ. Đó là những hang đá nơi những người tu hành đã sống từ thế kỷ thứ sáu. Những bức bích họa rất lớn trên vách hang miêu tả cuộc đời của Thích Ca Mầu Ni đã làm tôi xúc động đến ứa nước mắt.
ĐPNN: Là một nhà khoa học toán, giáo sư đánh giá thế nào về các điều minh triết Phật dạy về con người và vũ trụ?
NBC: Triết lý Phật giáo cho con người một nhân sinh quan rộng rãi, giải phóng nhiều định kiến. Đấy là một tố chất cơ bản của nhà khoa học.
Có những nhà khoa học có uy tín đi tìm những điểm chung giữa triết lý tôn giáo trong đó có Phật giáo và Cơ đốc giáo và khoa học hiện đại. Cá nhân tôi thấy những cố gắng này có phần khiên cưỡng.
ĐPNN: Khi tự đặt cho mình biệt hiệu “Hòa thượng Thích Học Toán” hẳn giáo sư đã thể hiện phần nào thiện cảm với Phật giáo, cụ thể hơn là tu sĩ Phật giáo? Ý tưởng của việc chơi chữ này là gì?
NBC: Công việc nghiên cứu khoa học có nhiều điểm chung với cuộc sống của những nhà tu hành. Nghiên cứu khoa học cơ bản cũng có tính thoát ly khỏi cuộc sống trần tục. Tôi chọn biệt danh “Hòa thượng Thích Học Toán” để cho trò chuyện toán học trên blog được thân thiện hơn, để câu chuyện toán học thoát ra khỏi hình thức phổ biến khoa học. Sau khi một số Phật tử có nhắn với tôi không nên đùa với chức danh Hòa thượng, tôi cũng không dùng nó nữa. Tôi cũng không có ý tạo thêm những sự bực bội không cần thiết.
ĐPNN: Gần đây, Giáo sư đặt trang blog cá nhân (thichhoctoan.wordpress.com) ở chế độ riêng tư, một hình thức của đóng cửa đối với độc giả quý mến giáo sư? Đâu là lý do cho việc này?
NBC: Sau sự kiện giải thưởng Fields, blog của tôi có khá nhiều người đọc. Tôi nhận ra rằng cách viết hài hước mà tôi chọn cho blog cũ nay không còn phù hợp nữa. Tôi vẫn giữ ý định mở lại một trang blog mới và viết lại nhiều bài theo một phong cách nghiêm túc và có hệ thống hơn.
ĐPNN: Là người sống và làm việc tại Pháp, trung tâm của văn minh châu Âu và hiện nay giảng dạy tại đại học Chicago, Hoa Kỳ, giáo sư có suy nghĩ gì về mô hình giáo dục đại học Việt Nam trong xu thế toàn cầu hóa?
NBC: Có một khoảng cách khá lớn về chất lượng giữa giáo dục đại học ở Việt Nam và ở các nước phát triển. Vì dư luận xã hội đã quá tiêu cực với chất lượng giáo dục cho nên tôi thấy không cần phân tích thêm. Cái cần và khó hơn nhiều là tìm ra giải pháp. Có lẽ giải pháp tốt nhất là để cho mỗi ngôi trường, mỗi người thầy tìm ra giải pháp riêng cho mình. Nói cách khác là trường đại học và các giáo sư đại học cần được chủ động hơn trong chương trình và qui chế tuyển sinh. Bên cạnh đó, cơ quan quản lý cần làm thêm nhiều điều tra để so sách chất lượng đào tạo và nghiên cứu khoa học giữa các trường để dựa vào đó mà có chính sách đầu tư hỗ trợ. Những thông tin này cũng cần được công bố rộng rãi để học sinh sinh viên cũng như phụ huynh có thông tin chính xác hơn cho việc chọn trường học. Việc nới quản lý từ trung ương để tăng tính chủ động cho những người trực tiếp làm công việc đào tạo và nghien cứu có thể dẫn đến bất cập ở chỗ này chỗ khác, nhưng tôi tin vào khả năng tự điều chỉnh của cuộc sống. Sự tự điều chỉnh sẽ nhanh hơn nếu thông tin được rộng đường.
ĐPNN: Toán học có thể giúp gì cho việc quy hoạch đô thị Việt Nam? Kinh nghiệm của Pháp và Mỹ trong lãnh vực này thế nào?
NBC: Ở nước ta, việc quy hoạch giao thông trong các đô thị vẫn dựa nhiều vào cảm tính, nên hay thay đổi. Những hệ thống có độ phức tạp cao như giao thông đô thị thực ra rất cần được thử nghiệm và thiết kế dựa trên những mô hình toán học.
ĐPNN: Là người lập gia đình và có con ở tuổi đôi mươi, đâu là bí quyết duy trì “hạnh phúc gia đình” của giáo sư sau gần 20 năm chung sống?
NBC: Thưa thầy, cuộc sống gia đình nào cũng có lúc sóng gió. Để sống với nhau, mỗi người cần hiểu những người mình yêu để mà sống vui với chính con người họ. Mỗi gia đình còn có một động lực rất lớn để tồn tại đó là con cái và việc nuôi dưỡng, giáo dục con cái.
ĐPNN: Tháng bảy trong Phật giáo là mùa báo hiếu công ân sinh thành, dưỡng dục của cha mẹ như hai vị Phật trong nhà, Gs có thể chia sẻ vài kỷ niệm đẹp mà hai đấng sinh thành đã giành cho Gs thời trẻ?
NBC: Cha mẹ tôi luôn dành hết cho tôi mọi sự yêu thương, ưu tiên việc nuôi dưỡng giáo tục tôi hơn tất cả. Vợ chồng tôi cũng cố gắng làm như vậy với các con, nhưng chắc chắn là không thể được như ông bà.
Khi còn nhỏ, mẹ tôi dậy tôi rằng xấu nhất là nói dối. Bây giờ tôi vẫn tin và cũng dậy các con tôi như thế.
ĐPNN: Với vai trò làm cha của ba đứa con hiếu thảo và thành công, xin GS chia sẻ kinh nghiệm làm cha của mình?
NBC: Tôi không nghĩ các con tôi đặc biệt thành công hoặc là mình là một người bố kiểu mẫu để có thể tự tin chia sẻ kinh nghiệm với người khác. Công việc bận rộn không cho tôi có nhiều thời gian để gần gũi với con cái như tôi mong muốn mà thời gian là cái mà trẻ nhỏ cần nhất ở cha mẹ. Có lẽ người lớn nên bớt thời gian xem TV, lướt web, tụ tập bạn bè để có thêm thời gian chơi với con, học với con, cùng đọc sách với con. Những cái đó có ích cho trẻ hơn là việc bỏ tiền ra cho con đi học thêm hay những khóa rèn luyện “kỹ năng sống”.
ĐPNN: Theo GS, hạnh phúc là gì? Và đâu là cách thức giáo sư giữ gìn và phát triển hạnh phúc có được?
NBC: Đối với tôi, cái hạnh phúc lớn nhất là cảm giác mình đang sống. Cảm giác đó bao gồm cả vị ngọt và vị đắng. Nó xuất phát quan hệ với những người thân thiết, bạn bè, công việc và xã hội, từ miếng cơm ta ăn, từ miếng nước ta uống, từ không khí ta đang thở.
Để có hạnh phúc, có lẽ không có cách nào khác là yêu cuộc sống như chính nó. Để bất hạnh, có lẽ không có cách nào tốt hơn là đi đuổi theo những ảo ảnh.
ĐPNN: Theo GS, “để sống một cuộc sống có ý nghĩa,” người ta phải làm gì?
NBC: Tôi e mình không đủ thông tuệ để trả lời câu hỏi này của thầy một cách đầy đủ. Phần nhỏ của câu trả lời mà tôi biết là để sống một cuộc sống có ý nghĩa, ta nên tránh làm những việc vô nghĩa.
Xem thêm:
Cẩu thả và sợ hãi
Ngô Bảo Châu
Tôi vốn không đặc biệt hâm mộ ông Cù Huy Hà Vũ. Những lý lẽ ông đưa ra tôi cũng không thấy có tính thuyết phục đặc biệt.
Nhưng với những gì xảy ra gần đây, ông thể hiện mình như một con người không tầm thường.
Như Hector người thành Troy, như Turnus người Rutuli hay như Kinh Kha người nước Vệ, ông Vũ không hề sợ hãi khi phải đối mặt với số phận của mình.
Những nhân vật huyền thoại này đã làm mọi thứ để được đối mặt với số phận, để hoàn thành sứ mệnh của mình trong cuộc đời này.”
Đối diện với ông Vũ là những người bắt ông bằng hai bao cao su đã qua sử dụng, là phiên tòa nửa công khai, nửa bí mật xảy ra ngày hôm qua và là ông quan tòa từ chối thực hiện thủ tục tố tụng để tránh tranh luận về nội dung những bài viết, chứng cớ về những việc được cho là vi phạm pháp luật của ông Vũ.
Có cố tình làm mất thể diện quốc gia, chắc cũng khó mà làm hơn mấy ông bà này.
Nghĩ mãi tôi cũng chỉ tìm ra hai cách lý giải.
Khả năng thứ nhất là họ muốn làm nhanh cho xong việc. Trong trường hơp này, họ rất xứng đáng được truy cứu trách nhiệm.
Khả năng thứ hai là ông quan tòa sợ phải đối mặt với những lý lẽ của ông Vũ. Trong trường hợp này, rất nên tạo điều kiện cho ông ta chuyển sang công tác khác, phù hợp hơn.
Không thể lấy sự cẩu thả và sự sợ hãi làm phương pháp bảo vệ chế độ.
Ngô Bảo Châu và “sự sợ hãi” (Blog Quê choa)
CÂY LƯƠNG THỰC; FOOD CROPS
Dạy và học ĐHNLHCM
Gia đình nông nghiệp
NGỌC PHƯƠNG NAM, DẠY VÀ HỌC
Ngọc phương Nam 
Pingback: Nói với em: đối thoại và suy ngẫm | Ngọc phương Nam
Gặp Ly Hoàng Ly
thichhoctoan | 20/09/2011 at 13:35 | Categories: Sách | URL: http://wp.me/pUklU-r
Lần đầu gặp mấy bạn văn nghệ sĩ, mình vẫn bụng bảo dạ, sao người ngoài đời chả giống văn thơ tác phẩm gì cả. Sau một thời gian, khi đã quen quen, tự nhiên lại thấy người ngoài đời sao mà giống văn thơ tác phẩm đến thế. Rồi sau khi quen thật, thì xem văn trên mạng mà cảm thấy như là người đó đang đọc ngay trước mặt mình, cảm thấy cả chỗ này nhấn giọng, chỗ này ngắc ngứ. Tức là phải mất một thời gian, cái sọ mình mới sync được với thực tế.
Hôm vừa rồi, tình cờ thế nào lại gặp Ly Hoàng Ly ở cái xứ Mù Căng Chải là Chicago. Mình không cảm thụ được cái món nghệ thuật sắp đặt lắm, nhưng đã đọc thơ của Ly từ lâu. Lạ nhất là thấy người ở ngoài đời gần như giống hệt nhà thơ mà mình tưởng tượng. Người nhỏ bé, giọng nói dịu dàng, nhưng đôi mắt nhìn thẳng không có dấu hiệu e lệ. Cảm tưởng là quen lâu rồi, mà trong thực tế là chưa quen mấy.
Ly tặng vợ chồng mình tập thơ Lô Lô. Đã xin phép Ly chép lại một bài ở đây. Bao giờ quen Ly thật, mình sẽ họa lại thơ của Ly.
*****
Cắt
Cắt đêm thành từng mảnh nhỏ
Rồi khâu đêm lại bằng tóc
Tóc thưa dần thưa dần
Những đường rãnh trắng hếu đưa ta đi hết đêm này đến đêm khác
Cho đến khi đầu trọc
Cắt ta ra từng mảnh nhỏ
Rồi khâu ta bằng hết đêm này đến đêm khác
Cho đến khi trắng hếu đêm
(Trích tập thơ Lô Lô của Ly Hoàng Ly)
Nói chuyện với anh Đàm Thanh Sơn
thichhoctoan | 18/09/2011 at 16:18 | Categories: Đối thoại | URL: http://wp.me/pUklU-k
Cuối năm 2010, đầu năm 2011, tôi có thực hiện một số cuộc phỏng vấn muốn dành cho trang mạng của Quỹ Hạt Vừng (former Quỹ Trí tuệ Việt Nam). Việc thành lập Quỹ gặp nhiều khó khăn và đến thời điểm này cũng chưa nhìn thấy một tương lai chắc chắn vì vậy những bài phỏng vấn này sẽ được đăng (hoặc đăng lại) trên Sổ tay Thích Học Toán. Một lần nữa xin cảm ơn những người bạn đã không tiếc thời gian và sức lực cho sự ra đời của Quỹ Hạt vừng. Tôi vẫn tin rằng những cố gắng của chúng ta sẽ không uổng.
Những bài phỏng vấn này được blogger 5xu giúp biên tập.
*****
NBC : Ở trường trung học, anh Sơn học chuyên toán, nhưng khi sang Nga học đại học, anh chuyển sang học Vật lý. Từ lúc còn học trung học, anh đã có định hướng Vật lý chưa ? Theo anh, tư duy toán và lý có khác nhau nhiều không ?
ĐTS : Thời học phổ thông có một số cuốn sách có ảnh hưởng lớn đến tôi và đến việc chọn đi học vật lý khi lên đại học. Một cuốn sách là “Vật lý vui”, dịch từ tiếng Nga, tác giả là Yakov Perelman. Cuốn thứ hai là “Câu chuyện về hằng số vật lý cơ bản” của tác giả Đặng Mộng Lân. Ngoài ra, hồi đó tôi còn đặt tạp chí Kvant tiếng Nga, trong đó có rất nhiều bài báo lôi cuốn về vật lý, viết bởi các nhà khoa học nổi tiếng cho học sinh phổ thông.
Bố tôi cũng thích vật lý, và thỉnh thoảng cũng nói chuyện với tôi về vật lý.
Vật lý sử dụng rất nhiều công cụ toán. Tôi không nghiên cứu toán học thật sâu nên không biết chắc chắn có sự khác nhau giữa tư duy toán và tư duy vật lý hay không. Tôi ngờ là có khác nhau, nhưng ít thôi, không nhiều như người ta tưởng. Sự khác nhau lớn nhất có lẽ ở kỳ vọng về kết quả cuối cùng.
Chân lý toán học phải được chứng minh chặt chẽ, chân lý vật lý là phải giải thích được thế giới bên ngoài. Nhiều lúc nó dẫn đến những mối quan tâm khác nhau giữa hai cộng đồng.
Thí dụ, một trong những bài toán thiên niên kỷ của viện Clay là bài toán chứng minh sự tồn tại của lý thuyết Yang-Mills (và một tính chất gọi là mass gap của lý thuyết đó). Nhưng các nhà vật lý từ mấy chục năm nay sử dụng lý thuyết Yang-Mills để mô tả thế giới các hạt cơ bản một cách rất thành công. Họ mặc nhiên công nhận là lý thuyết Yang-Mills tồn tại. Điều đó không có nghĩa là không có nhà vật lý nào quan tâm đến việc chứng minh sự tồn tại của lý thuyết này, nhưng đối với đa số thì vấn đề này không nằm trong danh sách ưu tiên.
NBC : Theo anh, thế nào là trực quan vật lý ? Liệu có thể các nhà vật lý khác nhau có trực quan vật lý khác nhau hay không ? Vai trò của trực quan vật lý trong nghiên cứu khoa học của cá nhân anh Sơn là như thế nào, nó có đối nghịch với tư duy toán học không ?
ĐTS : Trực quan vật lý là gì thì rất khó mô tả, nhưng có hai đặc điểm như sau của những người có trực quan vật lý tốt:
– Khả năng ước lượng cỡ độ lớn của các đại lượng.
– Khả năng đơn giản hoá các bài toán bằng cách dùng các phép gần đúng.
Việc trực quan khác nhau giữa những người khác nhau là chuyện rất bình thường. Đó là lý do mà vấn đề cộng tác với các đồng nghiệp là rất quan trọng đối với các nhà vật lý.
Trực quan là cái quan trọng nhất đối với người làm vật lý. Đôi khi trực quan có thể đánh lừa ta.
Điều này rất dễ xảy ra khi ta nghiên cứu thế giới lượng tử, hay thế giới tương đối tính, vì trong cuộc sống hàng ngày ta chỉ tiếp xúc với những vật cổ điển, chuyển động chậm. Để phát triển trực giác lượng tử, trực giác tương đối tính ta phải làm việc trong thế giới đó một thời gian.
Trực quan thường không đối nghịch với tư duy toán học, mà bổ sung cho tư duy toán học. Khi trực quan và toán học mâu thuẫn với nhau thì chắc chắn có vấn đề với một trong hai cách tư duy. Những lúc đó có thể có những vấn đề hay và mới nảy sinh ra.
NBC : Đối tượng nghiên cứu của vật lý lý thuyết hình như là những gì mình không nhìn thấy bằng mắt, không nghe thấy bằng tai. Liệu nhà vật lý, hay cụ thể là cá nhân anh Sơn, có cần quan sát thế giới xung quanh nữa không ?
ĐTS : Đúng là vật lý lý thuyết hiện nay là một môn học khá trừu tượng. Nhưng về bản chất, vật lý là một khoa học thực nghiệm. Tôi không tin rằng vật lý lý thuyết có thể phát triển không có thực nghiệm. Tất cả sự giàu có của vật lý đều từ thế giới bên ngoài mang lại. Nếu tự nhiên vật lý lý thuyết bị tách rời khỏi thế giới xung quanh thì tôi chắc rất nhiều người sẽ bỏ ngành đó đi làm việc khác.
Cá nhân tôi không làm thực nghiệm, nên việc quan sát thế giới bên ngoài phải làm qua các nhà vật lý thực nghiệm.
NBC : Trong những công trình khoa học của mình, anh Sơn thấy cái gì là tâm đắc hơn cả ? Liệu anh có thể giải thích để những người dốt Vật lý như tôi hiểu được không ?
ĐTS : Hiện nay tôi đang tâm đắc về một bài báo tôi viết hơn một năm trước đây với một sinh viên người Ba Lan (Piotr Surówka) về vấn đề phân chia phải trái trong thủy động lực học tương đối tính. Tôi tâm đắc một phần là vì vấn đề này có thể giải thích bằng một ngôn ngữ tương đối dễ hiểu. Đại khái là, nếu ta có một chất lỏng làm từ các hạt quark, và cho nó quay xung quanh một trục, thì các quark xoáy trái và các quark xoáy phải sẽ hơi bị lạng sang hai chiều khác nhau trên trục quay.
Để dễ hình dung hơn, ta có thể lấy một thí dụ khá gần gũi với cuộc sống. Ta nhớ lại, Louis Pasteur phát hiện ra là phân tử của nhiều chất không có đối xứng gương. Phân tử đường ta uống là như vậy. Đường nguồn gốc sinh học theo quy định gọi là đường tay phải. Nếu tổng hợp, ta sẽ có đường cả hai loại, tay trái và tay phải. Các hạt quark, nếu chuyển động với tốc độ gần bằng tốc độ ánh sáng, cũng có thể phân thành hai loại như vậy.
Giả sử ta hòa tan một thìa đường tay trái và một thìa đường tay phải vào một cốc nước. Bây giờ ta quay cái cốc nước với một vận tốc góc nhất định. Nếu các phân tử đường cũng sử xự giống như các hạt quark, thì các phân tử đường tay trái sẽ hơi nổi lên trên, các phân tử đường tay phải sẽ hơi chìm xuống dưới, hoặc ngược lại.
Trên thực tế, hiện tượng này không xảy ra với các phân tử đường, nhưng nó lại xảy ra với các hạt quark. Sự khác biệt giữa hai trường hợp liên quan đến những vấn đề trừu tượng như dị thường lượng tử (quantum anomaly), lý thuyết Chern-Simons, và tôpô. Tôi cũng hy vọng hiện tượng này có thể quan sát được trong thực nghiệm.
NBC : Tô-pô là bộ phận toán học chỉ quan tâm đến dạng của hình thể mà không quan tâm đến kích thước. Đối với tô pô, phần của mặt phẳng giới hạn bởi một đường cong không tự cắt bất kỳ, không khác gì hình tròn. Tôi rất tò mò làm sao các thuộc tính tô pô lại có thể có ích trong việc tìm hiểu thế giới vật lý mà như anh Sơn nói, cái trực quan cơ bản là ước lượng độ lớn của các đại lượng ?
ĐTS : Đúng là các đại lượng vật lý bao giờ cũng được đo bằng số. Thế nhưng, có những đại lượng chỉ nhận được những giá trị gián đoạn; trong nhiều trường hợp lý do liên quan đến tô-pô. Ví dụ, nhiều hợp kim ở trạng thái siêu dẫn (tức là ở nhiệt độ rất thấp) có một tính chất rất lạ. Khi ta cho nó vào từ trường đủ mạnh thì từ trường thâm nhập vào chất siêu dẫn, nhưng số đường sức từ trường thâm nhập vào không phải là tùy ý, mà phải là một số nguyên lần một đại lượng gọi là lượng tử của từ thông. Tại sao lại như vậy? Giải thích ra thì dài dòng, nhưng cuối cùng đó là do pi_1(S^1)=Z. Có nhiều ví dụ khác tương tự như vậy. Trong một mô hình (gọi là mô hình Skyrme) sự bền vững của hạt proton là do pi_3(S^3)=Z. Rất lạ là việc vật chất xung quanh ta không phân rã đi thành các dạng năng lượng khác liên quan đến pi_3(S^3)=Z !
NBC : Được biết anh Sơn có quan tâm đến âm nhạc, xin hỏi anh một câu về đề tài này. Vật lý có giải thích được tại sao có những hòa âm ta thấy rất chói tai, mà có những hòa âm lại thật dịu dàng, có hòa âm nghe lần đầu thì êm tai, nghe vài lần thì khó chịu như ăn quá nhiều thịt mỡ, còn có những hòa âm thì mỗi lần nghe lại, lòng ta vẫn không khỏi bồi hồi ?
ĐTS : Câu hỏi của bạn đi xa khỏi ranh giới của vật lý rất nhiều, và chắc là đi ra ngoài cả ranh giới của khoa học tự nhiên nữa. Pythagoras thường được coi là người đầu tiên khám phá ra mối liên hệ giữa âm nhạc và toán học: các hòa âm nghe êm tai có tỷ lệ giữa các tần số của các nốt gần với các phân số đơn giản.
Nhưng tại sao có những hợp âm gây buồn, gây vui, tôi không giải thích được.
NBC : Theo anh Sơn thì phải làm gì để những nhà Vật lý trẻ ở Việt Nam có thể bám sát vào dòng chảy chính của Vật lý thế giới ?
ĐTS : Vấn đề này không đơn giản, tôi phải suy nghĩ thêm. Trên thế giới nhiều nước (như Hàn quốc, Brazil) đã giải quyết vấn đề này khá thành công. Trước mắt ta có thể học hỏi kinh nghiệm của họ.
NBC : Anh đã từng học và làm Vật lý ở Moscow, Boston, New York, Seattle và có thể nhiều nơi khác nữa. Anh Sơn có thấy cái cách người ta học và làm Vật lý ở những địa điểm khác nhau, có gì khác nhau không ?
ĐTS : Cũng khó nói. Ở mỗi chỗ khác nhau tôi làm những vấn đề khác nhau, có những kỷ niệm khác nhau. Những cá nhân tôi làm việc chung cũng có những tính cách rất đa dạng. Nhưng nếu nhìn tổng thể thì sự nghiên cứu vật lý ở các nơi tôi đã ở không khác nhau nhiều lắm.
Còn về cách học thì có lẽ cách học ở Nga có hơi khác ở Mỹ. Lúc tôi học ở Nga thì tôi được tương đối tự do, không bị kiểm tra nhiều và nhiều môn lên lớp cũng không bắt buộc, miễn là qua được kì thi cuối học kỳ là được. Tôi có rất nhiều thời gian để đọc sách.
Ở Nga có một sự tách biệt giữa giảng dạy và nghiên cứu. Giảng dạy tập trung ở trường đại học, và nghiên cứu tập trung ở các viện. Điểm này là một điểm yếu của hệ thống Nga.
NBC : Theo anh Sơn để trở thành một nhà Vật lý thực thụ có những phẩm chất gì ? Những phẩm chất đó phải được rèn luyện trong những hoàn cảnh như thế nào ?
ĐTS : Có lẽ trong ngành khoa học nào cũng vậy, muốn thành công ít nhất phải có hai kỹ năng: tìm ra vấn đề hay, và giải quyết được vấn đề.
Liệt kê được hết những điều kiện để rèn luyện ra những kỹ năng đó thì chắc là dài, sợ viết hết ra thì thành cliché.
Sổ tay Thích Học Toán
Mỳ mực kiểu Ý
Quang cận hẹn tôi đi ăn trưa ở quán Olive đối diện với bệnh viện K. Đây là cái bệnh viện chữa ung thư cho toàn bộ dân số miền Bắc. Trước cửa bệnh viện, người nhà bệnh nhân người ngồi người đứng. Mặt mũi ai cũng lấm lem mồ hôi, ánh mắt phờ phạc, ngơ ngác. Bên vỉa hè bên này là chỗ gửi xe đạp xe máy, người ra người vào như mắc cửi.
Phía trong quán Olive là một không gian hoàn toàn yên tĩnh. Giờ này đã hơi quá giờ ăn trưa. Chỉ còn một hai bàn còn người và họ cũng đã sang đến giai đoạn cà phê. Quang cận đã đợi tôi ở trên gác xép. Gác xép trần thấp, tôi với cái thân hình dong dỏng như ba quả táo xếp trồng lên nhau mà cũng bị cộc đầu.
Mày ngồi một mình à.
Quang giương cái cặp thủy tinh nhìn tôi rồi nói ừ, tay chỉ cái ghế để tôi ngồi xuống.
Mày hay đến đây à.
Cũng thỉnh thoảng.
Ở đây có món gì hay? Giữa trưa nắng thế này mà xơi pizza hả Quang.
Pizza không ngon đâu. Ở đây có món mỳ mực. Mỳ ống nấu với mực của con mực. Ăn xong là mồm mày đen xì như vừa liếm chôn nồi.
Nghe cũng ổn nhỉ. Tôi vẫy tay gọi cô bè chạy bàn : em gái ơi, cho tụi anh một đĩa mỳ mực, và một đĩa xa lát cà chua dầu dấm.
Một mỳ mực thôi hả anh?
Ừ, bọn anh ăn chung. Em cho xin mấy lát bánh mì nhé.
Vâng anh.
Mấy năm rồi không gặp Quang cận. Hồi cuối cấp ba, suốt ngày nó mò sang cái chuồng chim của tôi để nghe nhạc. Hai thằng bật nhạc ầm ầm, làm bà hàng xóm phát điên. Mấy năm không gặp lại mà nó không nói gì cả, mắt cứ nhìn đi đâu. Tay nó mân mê một điếu thuốc chưa châm lửa, thỉnh thoảng lại cho lên mồm rít một cái.
Lâu mày có gặp thằng Hoàng không ? Lâu quá tao không gặp nó. Mày gọi nó đến đây đi.
Quang đặt tay xuống bàn. Lần đầu tiên nó nhìn thẳng vào mắt tôi rồi nói khẽ, tiếng hơi gằn gằn trong cổ. Tao không muốn gặp nó đâu. Thằng Hoàng chơi với bạn đểu lắm.
Tôi ngả người châm một điếu thuốc. Thằng Quang cận hôm nay có vẻ tâm trạng quá. Tôi bỏ một miếng mỳ mực vào mồm. Công nhận là cái món mỳ này ngon thật. Vị ngòn ngọt, đăng đắng. Môi cảm thấy dinh dính, chắc là trông tôi đã giống cái thằng liếm chôn nồi rồi.
Mày chưa kể cho tao dạo ấy mày và Phương chia tay như thế nào.
Quang bỏ một gắp xa lát vào mồm, nhai rau ráu. Có gì mà kể đâu. Sau năm học ở Thanh Xuân, mày đi Pháp, Phương đi Đức. Tao ở lại. Năm đầu tiên Phương viết nhiều thư cho tao lắm. Sau đó Phương nói Phương yêu một thằng Lào, rồi không viết thư nữa. Hai năm sau Phương lấy chồng, nhưng hình như không lấy cái thằng Lào ấy.
Quang lại chúi đầu vào đĩa mỳ mực, không nói gì nữa.
Dạo cuối năm Thanh Xuân có một lần, tự nhiên Phương mò đến cái chuồng chim của tao. Phương nói cần luyện đối thoại tiếng Đức. Chắc mày nhớ, tiếng Đức của tao không hơn gì tiếng Lào. Lúc đó đang buổi trưa, đầu giờ chiều. Phương phấp phới quần đùi may ô ba lỗ. Dạo đấy con gái ra ngoài đường quần trùng áo dài chứ không mát mẻ như chị em bây giờ nhỉ. Trời thì nóng, Phương thì xì xồ tiếng Đức, đầu óc tao thì chăm chú vào đùi và vai của nàng.
Mày kể chuyện này mấy lần rồi.
Đúng thật, tao già rồi, có mấy câu chuyện cứ kể đi kể lại. Nhưng tao chưa kể cho mày đoạn cuối.
Quang ngẩng mặt lên khỏi đĩa mỳ mực, nhìn tôi. Đoạn cuối thế nào ?
Hôm đó tao có hôn Phương.
Sao tự nhiên bây giờ mày lại kể chuyện ấy?
Hôm nay tao mới kể vì chuyện đã hai mươi năm rồi. Mày cũng chia tay Phương gần hai mươi năm rồi.
Đáng ra mày không nên kể chuyện đó. Quang lại chúi đầu vào đĩa mỳ mực.
Quán đã hết sạch khách. Trời đã đổ mưa từ lúc nào, cơn mưa mùa hà nặng hạt đập vào cửa kính lách cách. Cả hai bên vỉa hè bây giờ tịnh không còn một bóng người.
Mày còn nhớ hôm tao và mày phi xe máy đi Sơn Tây ăn thịt chó không. Hôm đó trời cũng mưa to như hôm nay. Sao hôm đó mày phóng xe như một thằng điên. Tao ngồi đằng sau mà mấy lần tưởng lao xuống ruộng.
Thịt chó hôm đó ngon nhỉ. Quang nói rồi bỏ nốt miếng mỳ cuối cùng vào miệng.
Tao cũng không mê thịt chó lắm. Nhưng ăn thịt chó ở Sơn Tây hôm đó ngon thật.
Quang bật lửa, châm cái điếu thuốc nó mân mê từ đầu bữa. Rồi nó giương cặp thủy tinh nhìn thẳng vào tôi. Mày biết tại sao hôm đó tao rủ mày đi Sơn tây ăn thịt chó không ?
Không.
Sáng hôm đó Phương nói với tao về cái buổi học tiếng Đức trong cái chuồng chim của mày. Hôm đó Phương có làm tình với mày.
Tôi muốn cúi xuống ăn nốt miếng mỳ mực phần tôi, nhưng lại thôi. Tôi không muốn lẩn tránh ánh mắt của thằng Quang.
Nhưng tao vẫn chưa hiểu tại sao mày lại rủ tao đi Sơn tây ăn thịt chó ?
Quang hít một hơi thuốc, từ từ nhả từng tiếng. Chắc câu này nó muốn nói từ lâu rồi. Tao không quan tâm đến thịt chó. Lúc đó tao muốn phóng xe với mày dưới trời mưa. Biết đâu đường trơn, cả tao và mày cùng lao xuống ruộng.
Lúc đó tôi mới nhận ra rằng cô bé chạy bàn đang huýt sáo theo một giai điệu quen thuộc của CCR. Bản nhạc này tôi và thằng Quang cận đã ngồi nghe trong cái chuồng chim bao nhiêu lần. Và bật thật to để cho bà hàng xóm phát điên.
I wanna know, have you ever seen the rain
Coming down on a sunny day.
Sự thật toán học
l
Giáp Văn Dương, Hoàng Hồng Minh và Ngô Bảo Châu trò chuyện qua mạng. Giáp Văn Dương dẫn chuyện và biên tập.
Từ một cuộc gặp
Câu chuyện này bắt đầu từ một buổi gặp mặt và tán gẫu giữa hai người bạn, tuy ở xa nhưng lại gặp nhau trong một quán café ở Hà Nội, về một trong những chủ đề muôn thuở của con người : Triết học. Đó là Hoàng Hồng Minh (Minh) – ở Paris, Pháp và Giáp Văn Dương (Dương)– khi đó mới ở Liverpool, Anh – về chơi. Đến giờ, không ai nhớ được chi tiết cả hai đã nói những gì trong buổi gặp đó. Nhưng có một thứ chắc chắn là anh Minh nói về khái niệm “tha hóa” và cho rằng, việc hiểu “tha hóa” như cách hiểu hiện giờ là không chính xác, còn Dương thì nói về các “dạng thức ” (forms) của Plato trong liên hệ với khái niệm tha hóa mà anh Minh đề cập. Kết thúc buổi trò chuyện, Dương cho rằng, nếu có một nhà toán học nữa tham gia thảo luận thì thật thú vị, vì các hệ thức toán học, có thể coi như một “dạng thức” của Plato.
Năm tháng sau, câu chuyện trở lại, với sự tham gia của một nhà toán học, đó là Ngô Bảo Châu (Châu), lúc này đang ở Chicago, Mỹ . Tuy là tán gẫu qua mạng, lại từ ba nước khác nhau và lệch múi giờ nhau hoàn toàn, nhưng vẫn không kém phần thú vị so với những cuộc tán gẫu thực ở ngoài đời, bên ấm trà hay tách café nóng.
Chủ đề của cuộc tán gẫu là Sự thật toán học. Cách xưng hô được giữ nguyên như nó vốn có trong giao tiếp hằng ngày, lấy sự thân quen và tuổi tác làm cơ sở.
Dẫn chuyện
Galileo – cha đẻ của khoa học hiện đại – cho rằng “Tự nhiên là cuốn sách được viết bởi ngôn ngữ Toán học”. Tất cả những định luật của khoa học tư nhiên đều được phát biểu dưới dạng những biểu diễn toán học như các phương trình, các bất đẳng thức.
Tính đúng đắn của các phương trình, rộng hơn là các quan hệ toán học, trong điều kiện biên xác định, được thừa nhận là bất biến. Vì thế, chúng được gọi là những sự thật toán học. Điều này đôi khi dẫn đến ngộ nhận: chân lý khoa học là bất biến vì các sự thật toán học là bất biến.
Chính tính bất biến của các sự thật toán học là nền tảng vững chắc cho việc xây dựng tòa lâu đài tri thức của con người về giới tự nhiên. Nếu tính bất biến của các sự thật toán học không còn nữa, thì tòa lâu đài tri thức này không có cách nào đứng vững được.
Vì thế, tìm hiểu về bản chất của sự thật toán học chính là tìm hiểu bản chất tri thức của con người.
Sự thật toán học chỉ có được khi xuất phát từ những sự thật toán học đã biết hoặc những tiên đề được cho rằng hiển nhiên đúng, thông qua một quá trình suy luận logic chặt chẽ.
Sự tiến bộ của Toán học, vì thế trong một chừng mực nào đó có thể nói là chậm hơn so với những tiến bộ mang tính cách mạng của những ngành khoa học khác như Vật lý, Sinh học, Tin học…. Nhưng đổi lại, những tri thức mà nó thu được có tính bền vững đến độ vĩnh cữu. Không ai có thể nghi ngờ rằng Định lý Pythagoras lại không đúng trong một triệu năm sau nữa. Còn những lý thuyết của các ngành khoa học khác rất dễ bị thay thế bởi những lý thuyết khác đúng đắn hơn sau đó, có thể trong khoảng thời gian của một đời người hoặc thậm chí chỉ trong vài năm.
Đó cũng là một phần của lý do vì sao các nhà toán học thường kiên trì giải những bài toán có khi ra đời từ hàng trăm năm về trước. Khi làm những việc đó, họ biết rằng đó là những vấn đề vĩnh cửu và tri thức họ thu được cũng sẽ là vĩnh cửu.
Chính tính vĩnh cửu của những sự thật toán học đã làm cho công việc của các nhà toán học đặc thù hơn so với công việc của các nhà khoa học khác. Họ phải tuân thủ một qui trình suy luận logic nghiêm ngặt, thay vì thiết kế thí nghiệm, quan sát, đo đạc và so sánh kết quả với tính toán như các nhà khoa học khác thường làm.
Chỉ những kết quả thu được từ quá trình suy luận logic nghiêm ngặt này mới được coi là sự thật toán học và đúng mãi với thời gian: từ lúc người ta tìm ra chúng và mãi sau này.
Nhưng trước khi người ta tìm ra những sự thật toán học này thì sao? Chẳng hạn, trước khi có con người thì định lý Pythagoras có tồn tại không?
Dù không có số liệu thông kê chính thức, nhưng rất nhiều nhà toán học tin một phần hoặc toàn bộ vào sự tồn tại của thế giới những sự thật toán học. Để minh họa điều này, hãy xem xét hai ví dụ: Định lý Fermat lớn và Tập hợp Mandelbrot.
Định lý Fermat lớn được Fermat (1601-1665) ghi trên lề của một cuốn sách Arithmetica gần 400 năm về trước, đại ý: phương trình xn+yn=zn không có nghiệm nguyên khác không với n>2. Ở bên lề của cuốn sách, ông có ghi thêm rằng: tôi đã tìm ra cách chứng minh rất tuyệt. Nhưng vì lề sách quá hẹp nên không thể viết ra đây! Nhưng phải mất 358 năm, và làm đau đầu biết bao thế hệ toán học tài năng, định lý này mới được chứng minh bởi Wiles, nhà toán học Anh, năm 1994.
Vậy trước khi Wiles chứng minh được định lý này, thì nó có đúng không? Thậm chí giả sử Fermat không viết ra lề sách định lý đó, hoặc bản thân Fermat không được sinh ra ở trên đời, thì định lý đó có tồn tại không?
Tập hợp Mandelbrot cũng là một minh chứng rõ ràng cho sự tồn tại độc lập của những sự thật toán học. Được phát hiện bởi Mandelbrot năm 1980. Nhưng ban đầu bản thân Mandelbrot cũng không ý thức được hết sự phức tạp của nó. Vậy thì, sự tồn tại của nó có phải là độc lập, khách quan với đầu óc con người?
Tập hợp Mandelbrot. Ảnh : wikipedia.
Hai ví dụ này, và vô số những ví dụ khác, dẫn đến một kết luận không dễ bắt bẻ là : những sự thật toán học là có thật và tồn tại độc lập với đầu óc con người, trong một thế giới riêng của nó. Chúng có đời sống và những mỗi liên hệ tự thân mà con người không thể thay đổi được.
Nhưng những kí hiệu toán học chỉ được phát minh trong khoảng vài trăm năm trở lại đây, ví dụ dấu bằng (=) không tồn tại trước thế kỉ 16. Vậy là những phương trình toán học như ta vẫn thấy không thể tồn tại trước thế kỉ 16, do đó, sự tồn tại khách quan của thế giới những sự thật toán học như nhiều nhà toán học nhận định là không có thật. Đó cũng là một lập luận không dễ bắt bẻ.
Tán gẫu qua mạng
Dương – Như vậy, sự thật toán học liệu có tồn tại độc lập với đầu óc con người?
Châu – Câu hỏi mà Dương đặt ra là một câu hỏi dằn vặt nhiều nhà toán học. Làm toán là một quá trình khám phá (discovery) hay là một quá trình sáng tạo (invention)? Phần đông các nhà toán học nghiêng về câu trả lời thứ nhất: làm toán là một quá trình khám phá. Con người không sáng tạo ra sự thật toán học, mà chỉ khám phá ra nó thôi. Tức là cái sự thật đó đã tồn tại ở đâu đó rồi, chỉ đợi con người đến khám phá.
Lập luận của phe “khám phá” là dựa vào sự “đồng thuận” cao trong toán học. Một định lý đã được chứng minh thì không thể phủ nhận được nữa. Vì toán học không phụ thuộc vào một cá nhân cụ thể của một nhà toán học nào, nên có nhiều khả năng, nó có sự tồn tại độc lập.
Phe “sáng tạo” thì cho rằng toán học cũng chỉ là sản phẩm của bộ não người mà thôi.
Phe “ba phải”, trong đó có mình, thì cho rằng (định nghĩa) toán học là công cụ (ngôn ngữ) để bộ não người nắm bắt thế giới bên ngoài một cách có hệ thống. Suy từ định nghĩa ra thì nó không thể tồn tại nếu không tồn tại bộ não người (mệnh đề này là rỗng vì giả thiết sai), nhưng nó lại phải chịu thuộc tính của cái nằm ngoài bộ não người.
Nói thế cũng có lý, nhưng người nghe vẫn chưa thấy thích.
Thực ra đây vấn chỉ là cách xê dịch vấn đề, và phủ thêm một lớp lý luận. Nhưng nó dẫn dắt ta đến một câu hỏi thực sự thú vị, theo mình thì thú vị hơn câu hỏi “khám phá” hay “sáng tạo”: đó là tại sao toán học lại phát triển phần lớn bởi cái logic nội tai của nó, tại sao nó lại tỏ ra hữu hiệu đến thế trong việc mô tả thiên nhiên. Vậy thì cái logic là cái con người lựa chọn hay là cái bị thiên nhiên áp đặt ?
Minh – Đây là câu chuyện rất thú vị trong Triết học, câu chuyện “tri thức khách quan”. Thiền án đặt ra là con nhện cứ tưởng mình dệt lưới theo ý mình thích, hóa ra lại theo “tri thức khách quan”. Con người tưởng nói năng lung tung được, hóa ra lại theo “ngữ pháp”, thực chất là một trong các dạng biểu đạt của cấu trúc logic khách quan?
Dương – Em cũng nghiêng về cách nhìn “ba phải”, nên mới có câu hỏi là trước khi các kí hiệu toán học (ngôn ngữ toán học) ra đời thì sao. Có lẽ các sự thật toán học chỉ là các mô hình của thực tại. Nhưng cách thức tồn tại và phát triển của toán học làm người ta nghi ngại nhận định này.
Về sự phát triển theo logic nội tại của Toán học, liệu có sự tương đồng với một quá trình tự diễn biến nào trong giới tự nhiên không? Nếu có thì có thể dùng một mô hình Vật lý nào đó để khảo sát? Còn nữa, liệu bản chất của việc tìm kiếm các sự thật toán học có thể giải thích theo kiểu “phép đo” trong cơ học lượng tử?
Trong Cơ học lượng tử, trạng thái của một hệ vi mô được mô tả bởi hàm sóng là chồng chập của tất các các trạng thái khả dĩ. Khi phép đo được tiến hành, hệ co về một trạng thái duy nhất ứng với kết quả của phép đo. Điều này liệu có điểm gì tương đồng với các sự thật toán học trong giả thiết sau: trước khi được khám phá ra thì thế giới các sự thật toán học ở trạng thái chồng chập đúng-sai, bất định-xác định…cho đến khi được một nhà toán học tiến hành “đo đạc” bằng cách tiến hành những thao tác suy luận logic để chứng minh hoặc phủ nhận một giả thiết toán học nào đó. Trạng thái của sự thật toán học khi đó sẽ co sập lại về tương ứng với kết quả của chứng minh giống như trạng thái của hệ vi mô co sập lại về tương ứng với phép đo trong cơ học lượng tử? Nói cách khác: chính tư duy của nhà toán học đã tạo ra sự thật toán học, giống như phép đo trong cơ học lượng tử đã tạo ra tính chất của hệ vi mô dưới dạng mô tả được?
Như thế, một sự thật toán học được tìm ra cũng giống như kết quả của phép đo: vừa mang tính chủ quan, vừa mang tính khách quan, biểu hiện ở chỗ: sự thật toán học là sản phẩm của quá trình tư duy của nhà toán học, nhưng lại nghiệm đúng một cách khách quan và vĩnh viễn sau khi đã được tìm ra? Câu hỏi còn lại là liệu sự thật toán học có mang tính xác suất – bất định như trong cơ học lượng tử?
Và hơn nữa, là vì sao bằng tư duy – « phép đo » của mình – con người lại có thể tìm ra những sự thật toán học này?
Em có linh cảm là việc tìm kiếm các sự thật toán học và phép đo trong cơ học lượng tử rất gần nhau. Nhưng chỉ là linh cảm thôi, chưa có bằng chứng gì cả.
Còn về câu chuyện “tri thức khách quan”, thì đó không chỉ là tri thức có khách quan, mà còn là bản chất của tri thức, nguồn gốc và mối liên hệ của nó với thực tại. Tất nhiên điều này cũng sẽ dẫn đến câu hỏi thực tại là gì và mối liên hệ của nó với tri thức như thế nào, làm sao mà con người lại có thể nhận thức được chúng, nhận thức đó liệu có khách quan hay hoàn toàn chủ quan hay là hỗn hợp của hai thứ đó.
Rõ ràng cuộc đối thoại này đã bước ra khỏi phạm vi của các sự thật toán học và tiến tới một lĩnh vực khác: bản chất của thực tại và mối liên hệ của nó với các biểu diễn toán học. Trước khi những kí hiệu và khái niệm toán học được phát minh ra thì các hệ thức toán học như chúng ta thấy bây giờ không tồn tại, nhưng các mối liên hệ của tự nhiên, như trái đất quay xung quanh mặt trời một vòng hết 365 ngày, vẫn tồn tại dù không được biểu diễn bởi các phương trình. Vấn đề đặt ra – hóc búa– là mối quan hệ của thực tại với các mô hình toán học thực sự là gì?
Trong trường hợp này, sự thật toán học được chọn như một ví dụ của tri thức. Ngôn ngữ cũng là một ví dụ tốt để xem xét.
Minh – Anh nhìn nhận Logos là cái tính năng tràn khắp vũ trụ, cho nên ta và con mèo hiểu nhau rất dễ, và cái trái cây khi chưa sẵn sàng để phát tán hạt thì vẫn giữ màu lá cây để tự vệ và khuyên nhủ các loài “hãy kệ tôi đã”.
Riêng xem trong thế giới thực vật và sinh vật muôn loài, ta đã thấy muôn vàn các quá trình trao đổi thông tin, anh từng đặt chữ là « giao tin », thực hiện được, vậy là dựa vào đâu? Vào tính logos phổ quát.
« Sự thật toán học » được Dương nói đến ở trên đây như những kết quả được xây dựng từ những tiên đề toán học « qua một quá trình suy luận logic chặt chẽ ». Như thế chính ở đây ta thừa nhận hệ thống các thuộc tính-quan hệ logic như một hệ thống công cụ có tính tiền đề. « Sự thật logic » như vậy còn tồn tại « trước » cả « sự thật toán học ». « Trước » không phải về không gian, thời gian vật lý, mà về mặt.. logic!
Chuyện vui, nếu nhà toán học lạc vào trong rừng mà gặp phải con hổ, con hổ sẽ hiểu nhà toán học hơn cả nhà toán học hiểu chính mình trong địa hạt này… Con hổ sẽ lừa cho nhà toán học toát mồ hôi, toát ngu muội, và nhà toán học chỉ còn biết trông chờ vào may mắn! Tại sao? Vì cả hai cùng với giới tự nhiên đều cùng chia sẻ cái logos phổ quát về không gian, thời gian, về nhân quả, về luận lý, và cả về tâm lý! Và con hổ thì hiểu logos của thánh địa của nó hơn nhà toán học, hiểu cả rằng nó nhanh nhẹn, mạnh mẽ, và khôn ngoan trong săn bắt hơn chính nhà toán học!
Ý niệm về « Đạo » của Lão, Trang có gần gũi với Logos. Nhưng yếu kém của « Đạo » là chưa ý thức được cái năng lực siêu phàm trong cái thần của Logos, là dạng thức (forms) – ở ta hay dịch là « hình thức », cái chữ dễ bị hiểu nhầm nôm na thành như « bề ngoài ». Nhờ hiểu biết về tầm quan trọng vô cùng của dạng thức mà các hiểu biết về logic và toán học phát triển được lên.
Nghiên cứu về logic, theo mình thì không có cái gọi là môn « logic nội dung » chọi với « logic hình thức »! Đó chỉ là sự diễn nôm hời hợt. Chỉ có một môn logic, và đó chính là logic dạng thức. Các bộ môn nghiên cứu ứng dụng logic không phải là « logic khác », mà là các nghiên cứu ứng dụng logic mở ra trong các miền tri thức, các ứng dụng này không phải là các lựa chọn khả thay thế. Ví dụ như « modal logic » là môn nghiên cứu ứng dụng về tình thái ngữ nghĩa trong ngôn ngữ….
Phát hiện về dạng thức là nền tảng cho sự phát triển có tính xây dựng được của nền văn minh tinh thần! Khi bạn đang đọc bài trao đổi này, bạn không « đọc » một cuộc thảo luận nguyên trạng, mà đọc cái đã dạng thức hóa của nó qua các « nguyên tử » ký tự (chữ cái, gồm cả các dấu nghỉ, cảm thán, khoảng trắng, cùng « dấu xuống dòng », dấu chuyển hồi đoạn, dấu chấm hết … gọi chúng là « nguyên tử » vì các nhân tố này là nhỏ nhất trong hệ thống, không còn chẻ ra tiếp được nữa) đã được cấu trúc hóa theo các qui tắc ngữ pháp. Nói theo logic, các ký tự hợp thành hệ thống các ký hiệu, và việc áp dụng hệ các qui tắc nối kết vào các ký hiệu làm nên các công thức (từ, liên từ, đoạn, câu…), chúng được cắt nghĩa và vận động trong một hệ thống luận suy. Xa xôi hơn, bạn đang đọc được một dãy mã hóa « sắc không », « âm dương », « 0 và 1 », được đại diện bởi các xung điện. Và cuối cùng, chính bạn phải làm cả một cuộc cắt nghĩa toàn bộ dãy mã này trong văn hóa khoa học tiếng Việt để « cảm hiểu » bài trao đổi.
Cũng cần nói rõ là cái ý niệm « sắc không », « âm dương » trong triết học cổ phương Đông chỉ là một khởi điểm của ý tưởng về các đối cực, chứ không hề liên quan gì đến việc phát triển của khoa máy tính sau này. Vì để có ý tưởng mã hóa tất thảy các hiện tượng chỉ từ hai trạng thái để lợi dụng được các xung điện, phải hiểu ra và phát triển được cái logos « dạng thức », phát triển logic, toán học để xây dựng nên được ngôn ngữ dạng thức và hệ thống các thuật toán, để rồi có thể công nghệ hóa, tự động hóa chúng. Dãy các trạng thái « 0 và 1 » còn phải chứa hệ thống các cấu trúc để cho phép gắn kết chúng như thế nào trong quá trình vào mã và giải mã các thông tin. Các nhà Đông học tuyệt đối không có gì để vơ quàng sĩ diện ở đây.
Cái tiếp theo của câu chuyện nói ở trên là cái nhìn triết học về « khách quan- chủ quan », « vật chất- tinh thần ».
Ở ta lâu nay người ta nhìn vấn đề này không theo tầng tinh thần triết học, mà theo cảm hứng dân dã, « lập trường ». Nên nhìn nhận rất chân thành rằng ở ta không có căn bản truyền thống về tinh thần văn hóa triết học – logic.
Câu chuyện vật chất – tinh thần, cái nào « có trước», cần nói rõ là « có trước về mặt triết học-logic », là vấn đề lựa chọn.
Ví dụ khi bạn chấp nhận « vật chất có trước tinh thần », bạn dùng cái gì để « xác nhận » nó ? Bạn dùng chính tinh thần bạn!
Nếu bạn không dùng tinh thần của bạn để công nhận « vật chất có trước tinh thần », thì bạn quả là siêu nhiên! Bạn lại dùng « tinh thần vũ trụ » chăng ?
Như vậy sự công nhận về sự tồn tại của thế giới bên ngoài, « có trước », độc lập với tinh thần con người, là vấn đề phương pháp, vấn đề lựa chọn tiên đề, chứ không có và không thể có vấn đề « đúng sai » theo nghĩa triết học ở đây.
Cái rắc rối tiếp theo là liệu có một cái « logos phổ quát bên ngoài tinh thần con người » hay không ?
Cái này cũng thuộc về tiên đề triết học nốt. Phải lựa chọn.
Và nếu bạn muốn hiểu « sự thật logic », « sự thật toán học » như một « tri thức khách quan » thì đó cũng là một lựa chọn.
Tri thức tiến lên nhiều khi không phải chỉ do « lập luận thông minh đơn thuần ». Lập luận không làm tiến hóa hệ thống. Lập luận chỉ củng cố hoặc mở rộng hệ thống, nếu hệ thống tỏ ra vẫn chuẩn xác (chưa bị rơi vào tự mâu thuẫn), hoặc ngược lại làm nó lụi tàn, nếu hệ thống không chịu nổi các thử thách về logic. Tri thức tiến lên còn do sự quyết đoán lựa chọn, tiêu biểu là việc lựa chọn các tiên đề. Người biết lựa chọn các tiên đề tất nhiên không phải người tầm thường. Sự lựa chọn là một cách mở rộng hoặc đổi thay hệ thống với những rủi ro và đột biến tiến hóa.
Einstein đã lựa chọn tiên đề tốc độ ánh sáng là tốc độ cực đại trong vũ trụ chẳng hạn, điều vượt quá đa phần các bộ óc con người (trong đó tất nhiên có mình ! 😉 ).
Sự lựa chọn việc tồn tại « logos khách quan » cũng có những cơ sở của nó. Giản đơn nếu như nhà toán học mà quên cho con mèo ăn, thì con mèo sẽ biết làm cho nhà toán học phải hiểu ra bằng được điều đó và cho nó ăn mà thôi.
Lựa chọn sự tồn tại « tri thức khách quan » không có nghĩa là bạn đã có nó! Mà bạn hy vọng có thể phát hiện ra nó, đạt được nó như những tri thức cơ sở. Hơn thế nữa, từ những tri thức cơ sở đó bạn có thể xây dựng những tri thức mới trong khi tuân thủ những « tri thức khách quan về logic » – những tri thức chưa bị bác bỏ được. Nhìn chung tri thức luôn có cả hai mặt phát hiện và sáng chế. Như cái công nghệ thông tin phục vụ bạn đây là thuộc về sáng chế, có thế ta mới xem được những bức ảnh chụp bề mặt sao Hỏa rõ mồn một.
Tất nhiên bạn có thể chọn tiên đề « không có tri thức khách quan ».
Lựa chọn chỉ là phương pháp. Bạn « tự do » trong lựa chọn. Vấn đề là sự lựa chọn đó đưa bạn đi đến đâu, bạn phải đảm trách sự lựa chọn của mình. Cho nên ý thức triết học nhắn ta phải luôn luôn sẵn sàng nhìn lại những tiên đề của mình.
Tam giác triết học – logic – toán học thật hấp dẫn và trong tầng sâu thẳm chúng trộn vào nhau. Hãy xem vài trường hợp sau:
Lý thuyết tập hợp hình thành là một sự cộng sinh tuyệt đẹp của triết học, logic và toán học.
Tỉ như dãy số tự nhiên 0,1,2…n… thực ra không hề “tự nhiên”, mà lần đầu tiên được xây dựng và cắt nghĩa hoàn chỉnh qua các khái niệm triết học-logic-toán học trong lý thuyết tập hợp.
Tập rỗng là tập không chứa phần tử nào, ký hiệu “tập 0”. Đây là một tiên đề có tính triết học về mối tương sinh của tồn tại-hư vô, về “khởi thủy”. Không thể tranh luận gì được ở đây.
Tập chứa đơn thuần tập rỗng, kí hiệu “tập 1”.
Tập chứa “tập 0” và “tập 1”, ký hiệu “tập 2”, v.v.
Và như thế ta có một dãy trật tự hóa, mỗi yếu tố trong dãy này là một tập hợp mà các phần tử của mình chính là tất cả các yếu tố- tập hợp đứng trước nó.
Vui chuyện, ta có thể tự an ủi rằng cái ý thức của cá nhân mình khi chưa hình thành thì là một tập rỗng. Dần dà nó phát triển lên thật phong phú. Còn khi ta ra đi, ý thức của ta lại trở về là tập rỗng.
Hay lấy một ví dụ khác, một quan hệ logic thuần, đơn giản hóa.
Cho A, B, C,…Z là những thành tố của một tập hợp « đồng chất » (cùng một lĩnh vực).
“Tính bắc cầu” là một quan hệ logic, ký hiệu R, được hiểu: R(A, B) & R(B, C) à R(A, C). Nghĩa là nếu quan hệ bắc cầu tồn tại giữa A và B, và nếu quan hệ bắc cầu đó cũng tồn tại giữa B và C thì ta có quan hệ bắc cầu này giữa A và C.
Bây giờ nếu ta có thêm R(C, D) thì ta sẽ có R(A, D), vì ở trên ta đã có R(A,C). Phép chứng minh là một phép co rút hay quy giản tìm được khi áp dụng liên tục các quy tắc suy luận xác thực trên dãy các tiên đề và công thức đã được chứng minh : R(A, B) & R(B, C) à R(A, C); R(A, C) & R(C,D) à R(A, D).
Vậy khi phải tính toán, nếu có R(A,B) & R(B,C) & R(C,D) & … & R(Y,Z) thì R(A,Z) có tồn tại hay không, công việc logic này đã thành công việc của toán học. Để gửi cái e-mail từ Chử Đồng Tử tới Tiên Dung, tri thức logic-toán học đã khách quan hóa trong các phần mềm ở các máy chủ sẽ tính xem gửi các gói thông tin này qua các nút máy nào để tính bắc cầu được thực hiện hiệu quả nhất.
Và ở chỗ này, bằng chứng của sự lựa chọn « tri thức khách quan » là sức mạnh hiển nhiên: tri thức logic-toán học ở con người đã được chuyển ra ngoài, đây chính là nội dung của khái niệm “tha hóa” mà mình đã từng nói tới, chuyển thành “tri thức khách quan”, hoạt động tự động trong các máy tính! Đó chính là giá trị của sự lựa chọn triết học! Ngày mai bạn có thể được phẫu thuật bằng máy móc điều khiển do một bác sĩ ở phần bên kia địa cầu thông qua internet, và bạn đành phải tin vào tri thức khách quan nằm giữa bạn và ông bác sĩ!
Cũng từ đây cho ta thấy cải cách và tiến bộ xã hội là có thể, vì tri thức, trong đó có các lý tưởng nhân văn xác quyết, có thể dần chuyển được ra “xã hội bên ngoài”, làm nên nền văn minh. Và kết thúc được cái xã hội chủ quan luẩn quẩn « con rắn cắn đuôi », mãi mãi làm lại từ đầu!
« Sự thật » hay « chân lý » về mặt triết học-logic là như sau: một biểu đạt, một hệ thống các biểu đạt (hay công thức), rộng nữa là một lý thuyết, có thỏa mãn bảng giá trị chân lý hay không.
Nhưng bản thân cái bảng giá trị này, sâu xa về triết học-logic, thì lại không liên quan gì đến chân lý! Nó có đó do sự lựa chọn. Giống như các tiên đề vậy. Như thế chính triết học luôn cảnh tỉnh ta về sự lựa chọn của mình, thay vì băn khoăn và mắc tóc trong chính sự không ý thức về những lựa chọn đã được thực hiện.
Về văn hóa thì chuyện này lại càng thú vị nữa. Con người lớn lên và được tắm trong cả « một biển các giá trị chân lý mẹ truyền »! Không có tư duy triết học, con người loay hoay mắc tóc trong đó đời này sang đời khác, đặt những câu hỏi không vào sâu được hơn cái lớp bao bì chân lý mẹ truyền này, và như ta thường hay thấy, người ta tấm tắc « các cụ nói cấm câu nào sai »! Nếu bạn để ý một chút thôi, thì cái biển chân lý này bao giờ cũng chứa tất cả các mệnh đề trái ngược nhau, tỉ như “một giọt máu đào, hơn một ao nước lã” chọi với “bán anh em xa, mua láng giềng gần”. Các lý thuyết cai trị cổ hủ cũng thường rơi vào tình huống này, do vừa cố mở rộng độ biên của ứng dụng, vì đời sống phong phú lên, lại vừa cố bảo trì các tiền đề cũ kĩ. Một cộng đồng muốn tiến lên, phải làm một cuộc tổng kiểm kê về cái bảng các giá trị này, để mà mình ý thức về chúng, để mà mình sẵn sàng được cảnh tỉnh về chúng, để mà mình có thể thay đổi chúng. Việc này không hề dễ tí nào, tương tự như việc quả táo rơi xuống đất tưởng đã hiển nhiên là chân lý, mà hóa ra lại chỉ là một nửa chân lý như Newton đã nhìn ra!
Trong tương quan với các lĩnh vực cụ thể, các quan hệ logic như thế nằm ở tầm “cao hơn chân lý », « trước chân lý » của những lĩnh vực đó… luôn luôn về mặt logic thôi. Về hình ảnh các quan hệ logic đã dạng thức hóa này tồn tại “trước” khi bị « nhúng vào » trong « các trường nhất định », « các cư dân nhất định ». Ta tạm gọi các quan hệ này «ở ngoài vật thể » hay « trước vật thể », chú ý, theo nghĩa… logic !
Ví dụ quan hệ logic bắc cầu đã nói trên kia R : R(A, B) & R(B, C) à R(A, C) là một dạng thức quan hệ logic thuần.
Chỉ khi « nhúng » quan hệ này vào các « trường sự vật» cụ thể, ở đó mới đẻ ra vấn đề chân lý cụ thể, hay gọi là vấn đề cắt nghĩa trên « một trường sự vật ».
Trong cái thế giới sự vật “hệ thống tàu điện », tính bắc cầu này thỏa mãn chân lý.
Trong lĩnh vực “yêu mến”, tính bắc cầu không bắt buộc thỏa mãn chân lý. A yêu mến B, B yêu mến C, không tất yếu A yêu mến C. Ở đây việc triển khai tính bắc cầu mang tính bất định, « có thể bị bác bỏ ».
Lưu ý rằng tính bắc cầu không nhất thiết thỏa mãn chân lý trong lĩnh vực « yêu mến », không có nghĩa là tính bắc cầu « sai » về logic thuần túy. Chuyện đó không có nghĩa. Nói thế để ta thấy rõ hơn tầng logic nằm « trước và ngoài » tầng các sự vật cụ thể.
Nói chuyện nhiều khi một xã hội Á Đông cứ loay hoay tranh cãi hàng ngàn năm rằng cái « mô hình » xã hội Nghiêu Thuấn « vua sáng tôi hiền, nhà nhà đi ngủ không phải đóng cửa, người người ra đường không ai nhặt của rơi » tự nó đúng hay sai? Câu hỏi đó vô nghĩa và vô ích về mặt vận hành xã hội. Hãy gác việc phân tích kinh viện cái « mô hình » siêu giản siêu thuần túy đó sang một bên, chưa cần thiết. Hãy cắt nghĩa khi áp dụng cái mô hình « logic » đó vào xã hội ở thời điểm lịch sử nhất định, ta đã có tư liệu lịch sử hàng ngàn năm rồi, xem nó có đảm bảo đưa lại thái bình no đủ vui tươi bền vững hay không ? Nếu là « không », thì nó là sai theo bảng giá trị được chờ đợi trong cái trường lịch sử đó, và ta không phải lo lựa chọn nó.
Vấn đề Dương có thể đẩy lên thú vị hơn nữa, là Logos có tồn tại độc lập được với vật thể không? Ví dụ với các lực hấp dẫn đã được tính toán đó, sự tồn tại của bản thân các vật thể có còn là bắt buộc không, hay các vật thể chỉ còn là sự thể hiện và mách bảo cho ta cái Logos. Các công thức tính toán theo nghĩa nào đó đã được « phi vật thể hóa ». Nhà thiết kế một tòa nhà nay có các tri thức khách quan đã được « tha hóa », chuyển hóa ra và nằm sẵn trong phần mềm máy tính, và anh ta có thể chọn vật liệu xây dựng sau cùng cũng được, miễn là các vật liệu đó thỏa mãn mô hình logic-toán đã được xác quyết bằng các công thức đã được cài đặt trong phần mềm, chúng cho thấy thỏa mãn các tiêu chí được chờ đợi (bảng các giá trị) về độ bền vững, an toàn, giá trị thẩm mỹ, tiện nghi, môi trường, bảo trì, thương mại…
Trong lập trình công nghệ tin học, một chương trình được viết thông minh là chương trình độc lập cao với dữ liệu, và nó chứa đựng hệ thống xử lý thông minh và khả năng giao tiếp phong phú. Khi phải ứng dụng cho các hoạt động khác nhau, ta mới cho nó giao tiếp với hệ thống các thông số của các lĩnh vực hoạt động liên quan, để nó tìm ra các ứng xử thích hợp cho các đối tượng của các lĩnh vực đó…
Châu – Mình đồng ý là đem cọ sát các cách suy nghĩ khác nhau từ Triết, Toán đến Vật lý có thể đưa ta đi xa. Nhưng theo kinh nghiệm, ánh sáng không lóe ra từ cái cách áp đặt máy móc mô hình suy nghĩ của bên này qua bên kia. Ánh sáng luôn lóe ra từ những sự tương đồng tinh tế, mà mình phải thực sự tìm thì mới thấy. Những điểm tinh tế đó thường là nằm ở dưới lớp vỏ của ngôn ngữ.
Sự hình thành của khái niệm nhóm trong toán rất đáng để suy nghĩ từ quan điểm Triết học. Mình có viết nhiều mẩu trên blog về chuyện này nhưng ít ai để ý.
Định nghĩa của nhóm đơn giản đến mức có thể làm những người tò mò thất vọng. Nó mô phỏng các biến đổi nội tại của một đối tượng. Hai biến đổi có thể “hợp thành với nhau”, nhưng biến đổi A xảy ra trước biến đổi B kết hợp lại sẽ khác với khi biến đổi B xảy ra trước biến đổi A. Ngoài ra thì mọi biến đổi đểu nghịch đảo được, tức là có một biến đổi theo chiều ngược lại. Các tiên đề về nhóm đại khái chỉ có vậy.
Ví dụ cơ bản là các thao tác trên khối rubik. Có thao tác A là quay mặt bên trái một góc 90 độ, có một thao tác B là quay mặt trên một góc 90 độ. Có hai thao tác hợp thành A rồi B và B rồi A. Ngoài ra thì có thao tác nghịch đảo của A, nghĩa là quay mặt bên trái một góc 90 độ theo chiều ngược lại so với A.
Nhóm các thao tác trên rubik là một nhóm hữu hạn nhưng có rất nhiều phần tử và khá phức tạp. Vì thế mà khi ta xem hướng dẫn cách quay rubik, nói chung mình chỉ biết chấp hành thôi, còn không hiểu tại sao phải làm như thế. Muốn hiểu phải nghiên cứu tường tận cấu trúc của nhóm này.
Bên cạnh các nhóm hữu hạn, rộng hơn là các nhóm rời rạc, ta còn có các nhóm liên tục.
Điển hình là nhóm các phép dời trong không gian. Hình học cổ điển có thể biên soạn lại dưới ngôn ngữ của nhóm các phép dời hình trong mặt phẳng hoặc trong không gian. Đó chính là quan điểm của hình học hiện đại. Lý thuyết phương trình đại số một ẩn số được Galois giải thích một cách thấu đáo bằng lý thuyết nhóm Galois. Một trong những cố gắng chính của lý thuyết số hiện đại là mở rộng lý thuyết Galois ra hệ phương trình đại số nhiều ẩn số. Langlands tiên đoán một sự liên quan mật thiết đến các dạng automorphic mà khởi thủy là một nhóm con rời rạc trong một nhóm liên tục. Trong vật lý lý thuyết, Gell-Mann tiên đoán sự tồn tại của một hạt cơ bản dựa vào danh sách các biểu diễn của nhóm Lie.
Khái niệm nhóm có vẻ như một cấu trúc đại số đơn giản thuận tiện, rất khó lý giải ảnh hưởng sâu rộng của nó đến hiểu biết chung của con người.
Minh – Nhân Châu nói đến vụ cái rubik thấy hấp dẫn quá, nên bàn thêm mấy câu thế này:
Tư duy là quá trình Lập Luận, Lập và Luận. Lập Luận xoay vòng nối tiếp nhau. Lập là lựa chọn, là quyết định, là hướng định. Lập khởi thủy là hệ thống các tiên đề, các ký hiệu, các qui tắc kết nối, các quy tắc thao tác, cùng một hệ thống ngữ nghĩa, làm nên một lý thuyết. Luận là quá trình thao tác kết nối, chuyển tải, sinh thành các Lập mới sao cho hợp thức (“không vi hiến”). Toàn bộ dòng này chảy dẫn từ Tiên đề đến Kết luận (Kết luận là một Lập đạt được cuối cùng của một chu trình). Dòng chảy này đa trị, nên có phép chứng minh hay thì có thể rất ngắn, hoặc phép chứng minh kém hay thì có thể siêu dài. Ví dụ về tập hợp các thao tác trên khối rubik của Châu rất hay cho trường hợp này: có người xoay rất nhanh ăn, người khác lâu ăn, riêng mình có thể xoay rubik cả đời không đi đến đâu cả, nhưng không hề phạm một lỗi logic nào! ;-).
Trong một lĩnh vực tri thức cụ thể, xuất phát từ Hệ tiên đề mà đạt đến Kết luận mang tính bất định (ví dụ lý thuyết «tính bắc cầu của lòng yêu mến » đưa đến các kết quả « lúc có, lúc nhất định không»), thậm chí mâu thuẫn, sẽ buộc ta phải xem xét lại, bổ sung hoặc thay đổi lý thuyết trong lĩnh vực tri thức đó. Logic chỉ đóng vai trò tư pháp, đảm nhiệm tính hợp pháp của quá trình Luận và của các Lập được sinh thành (ví dụ một công thức mới thu được như kết quả chứng minh hợp pháp thu được từ quá trình Luận). Còn tính chân lý nằm ở trong nội dung các Lập, được cắt nghĩa bởi bảng các giá trị chân lý có được do các kinh nghiệm, thực nghiệm, kiến thức khoa học đã xác tín (tương đối) và/hay các lựa chọn lý tưởng nhân văn xác quyết. Tính chân lý trong trường hợp khối rubik trên kia có thể được định nghĩa trong bảng giá trị như sau: « ở mọi trạng thái ban đầu, ta luôn luôn sẽ có cách đưa khối rubik về trạng thái mà mỗi mặt chỉ có một màu, bằng cách chỉ áp dụng các thao tác cho phép », như Châu đã nói ở trên.
Dương – Như vậy là ở đây có một số vấn đề cần làm rõ hơn:
1. Một lý thuyết mô tả những biến đổi nội tại trở nên rất mạnh khi mô tả thực tại (reality), nên thực tại phải có cấu trúc nội tại và sự biến đổi của thực tại là do những biến đổi nội tại gây ra?
2. Không thể có một kết cục tất yếu cho sự vận động của một thực tại, vì kết cục phụ thuộc vào cách thức và thứ tự của từng biến đổi riêng rẽ. Phán đoán ở mức tốt nhất chỉ là phán đoán thống kê, không thể là phán đoán tất định?
3. Cơ sở cho những tiên đoán như của Gell-Mann là gì? Có phải đó chỉ là sự tự hoàn thiện, đối xứng, tao nhã…, những tiêu chí của cái Đẹp. Như vậy cái Đẹp (Beauty) và cái Thật (Truth) có quan hệ gì? Một lý thuyết đẹp và mô tả xác thực thường được coi là tốt. Vậy Đẹp, Thật, Tốt (Chân-Thiện-Mỹ) có quan hệ gì với nhau? Hay ba cái này là một.Và như thế, có tồn tại một bộ quy luật chung cho Mỹ học và Đạo đức như cho Khoa học? Thực ra, đây là một câu hỏi rất cũ, nhưng đến giờ vẫn chưa có câu trả lời thỏa đáng.
Châu – Mình có một lý thuyết như thế này, có thể là hơi hàm hồ.
Có rất nhiều yếu tố khác nhau để tạo nên cái đẹp. Một yếu tố là tính vừa đủ: không thiếu, đặc biệt là không thừa.
Phải chăng thiên nhiên tuân theo nguyên tắc tiết kiệm, không chỉ tiết kiệm năng lượng, mà còn tiết kiệm cả thông tin nữa. Vì thế ngôn ngữ để mô tả nó cũng phải thỏa mãn tính tiết kiệm thông tin.
Cái đẹp có một lợi thế khác nữa trong quá trình phát triển của tri thức, cái đẹp dễ được tiếp thu hơn. Cái gì xấu xí, nhưng có giá trị, thường sẽ được con người gọt rũa cho đến khi nó trở thành đẹp. Cái gì giữ mãi cái vỏ xấu xí của mình sẽ có nhiều cơ hội để rơi vào lãng quên.
Dương – Lý thuyết của anh không “hàm hồ” chút nào, mà ngược lại, “cực kỳ tao nhã” (cười).
Chẳng phải Einstein từng nói: một lý thuyết cần “simple, but not simpler” thì cũng hàm ý không thiếu không thừa.
Nhân vật Hòa Thân trong phim Tể tướng Lưu gù một thời làm mưa làm gió trên phim truyền hình (Việt Nam, còn ở Trung Quốc thì không rõ) miêu tả một cô gái đẹp cho vua Càn Long như sau: cô ấy đẹp đến nỗi nếu bớt một chút thì thiếu, mà thêm một chút thì thừa. Càn Long (tay chơi có số) nghe đến đó thì cười tít mắt. Theo lý thuyết này, giám khảo của các cuộc thi sắc đẹp bây giờ, nếu thấy thí sinh có sẹo ở chân chẳng hạn, có lẽ nên nói cái sẹo ở đó là thừa thay vì thay vì chê bai thí sinh.
Như vậy xem ra nhận định của Đông Tây kim cổ đều có nét tương đồng.
Giờ nghiêm túc hơn một chút nhé:
Trong vật lý cổ điển, khi năng lượng có vai trò chủ đạo thì Nguyên tắc hoạt động tối thiểu (Principle of least action) có vai trò quan trọng tương ứng. Vậy nếu coi tự nhiên (universe), ở mức cơ bản nhất, được tạo bởi thông tin (hiện có rất nhiều nhà vật lý theo giả thiết này) thì Nguyên tắc tiết kiệm thông tin (Principle of least information – PLI) cũng sẽ có vai trò tương tự. Liệu có thể tìm cách kiểm chứng PLI ở những chỗ này chăng (với sự dè dặt rất lớn)? Trường hấp hẫn: theo cách giải thích thường thấy thì vật chất làm cong không gian, độ cong đó chính là hấp dẫn. Vậy có thể nhìn cách khác: không gian là lưới thông tin; độ cong của không gian chính là mật độ thông tin. Như vậy, ở mức cơ bản nhất, không gian, và rộng ra là cả vũ trụ, được cấu tạo bởi thông tin. Chỗ nào có mật độ thông tin lớn thì vật chất tụ lại tương ứng. Ánh sáng cũng như mọi vật chuyển động theo đường trắc địa không phải vì hấp dẫn mà đơn giản là dòng chảy tự nhiên của thông tin theo cách tương thích nhất với thông tin nền mà nó tiếp xúc (không gian). Sự lượng tử hóa không gian sẽ là một hệ quả tất yếu. Nhưng thời gian thì sao? Hoặc trong Vật lý lỗ đen, khi các bit thông tin phủ kín chân trời lỗ đen chứ không phải là toàn bộ thể tích lỗ đen thì đây có thể coi là hệ quả của nguyên tắc “không thiếu không thừa”? Vậy liệu có thể dùng PLI để đạt lại những kết quả như của họ? Tiếc là không có một nhà Vật lý lý thuyết ở đây để thảo luận vấn đề này.
Minh – Anh chen một tý vào chuyện cái đẹp thế này.
Cái đẹp có một khía cạnh đặc biệt, là nó liên quan đến cảm xúc của con người.
« Tri thức khách quan » không thể thống trị ở đây hoàn toàn được.
Cái đẹp của mối tình mới chớm đến, khác với cái đẹp của mối tình dứt áo ra đi.
Cái đẹp của quảng trường Times Square ở New York, cả quảng trường là một sân khấu vĩ đại tuyệt vời mà mỗi người có mặt tự mình thành một nhân vật sống, khác với cái đẹp của một bãi biển đìu hiu nắng chiều đỏ ối ở Dauvine, Châu hát, Minh gảy đàn. Mà cũng lại khác nữa với một vẻ chiều cuối Xuân đường Nguyễn Du, Dương với Minh gặp nhau lần đầu trong đời thực bên tách café để rồi bắt đầu câu chuyện dài ở đây…
Ở đây không đơn thuần là « tiết kiệm năng lượng » nữa, mà là các thẩm mỹ biểu đạt các dòng chảy của năng lượng.
Châu – Có rất nhiều điều thú vị trong câu chuyện này. Nhưng có lẽ, mình đã đi quá xa so với chủ đề ban đầu.
Dương – Em cũng thấy vậy, nên sẽ tổng kết lại ở đây. Những phần mở rộng sẽ được thảo luận tiếp trong một dịp khác.
Thay lời kết
Sự thật Toán học, với những đặc tính như khách quan, bền vững, duy lý… có thể được coi là một trong những đặc sản của nền văn minh phương Tây. Sự phát triển của khoa học kĩ nghệ hiện đại trước hết khởi đầu bởi sự tìm ra những sự thật toán học này.
Chính là chúng – dù bản chất tồn tại vẫn còn là một vấn đề bỏ ngỏ – đã tạo ra cơ sở vững chắc cho kho tri thức của nhân loại. Không có chúng, khoa học và kĩ nghệ không thể ra đời, nền văn minh kĩ nghệ hiện đại không thể phát triển.
Cuộc thảo luận về sự thật toán học ở đây tuy chưa dài, nhưng đã gợi mở rất nhiều vấn đề của Triết học, Toán học và Vật lý… Hy vọng rằng, chúng sẽ được làm sáng tỏ phần nào trong những thảo luận tiếp theo.
Sự thật toán học và Chân lý
Link cố định 02/10/2011@11h22 No views, viết bởi: hoangkim
Chuyên mục: Đọc lại và suy ngẫm, Hoàng Kim, Ngô Bảo Châu
Sự thật toán học là chủ đề cuộc trò chuyện khá thú vị giữa các anh Ngô Bảo Châu, Giáp Văn Dương và Hoàng Hồng Minh. Tự nhiên là cuốn sách được viết bởi ngôn ngữ Toán học. Tất cả những định luật của khoa học tư nhiên đều được phát biểu dưới dạng những biểu diễn toán học như các phương trình, các bất đẳng thức. Tính đúng đắn của các phương trình, rộng hơn là các quan hệ toán học, trong điều kiện biên xác định, được thừa nhận là bất biến. Chính vì thế, chúng được gọi là những sự thật toán học. Toán học Triết học Sinh học và Ngôn ngữ Văn hóa Văn chương là những nền tảng căn bản xây dựng nên tòa lâu đài tri thức của con người. Vì thế, tìm hiểu về bản chất của sự thật toán học chính là tìm hiểu bản chất tri thức của con người. Cuộc đàm luận này thiên về TĨNH, vĩnh cữu, bất biến. Chân lý là cái chi ? là một chủ đề khác do anh Bulukhin (Nguy ễn Quốc Toàn) gợi mở phiếm đàm trên câu chuyện “Thật giả trong nghệ thuật” của anh Thái Doãn Hiễu. Sự thật thì vẫn vậy nhưng nhận thức chân lý và phép ứng xử thì phải hiểu biến hóa tùy thời trong hoàn cảnh cụ thể. Chân lý là cái lý có chân ! Nó biết đi. Chân lý nằm trong cái trung dung. Thời gian mới là sự hóa giải đích thực và hiệu nghiệm. Cuộc phiếm luận này (ảnh Hề chèo) thiên về ĐỘNG, hợp thời, quyền biến. Phép ứng xử tốt nhất trên đời, theo tôi, xét cho cùng, phải là có lý, có lợi, đúng lúc. Mục đích sau cùng của dạy và học là thấu suốt bản chất sự vật, có lời giải đúng và làm được việc (HK).
Ngô Bảo Châu đối thoại và suy ngẫm
Chân lý là cái chi ? Thật giả trong nghệ thuật
Đọc thêm! »
http://dayvahoc.blogtiengviet.net/2011/10/02/sarp_thaost_toain_har_c_van_chacn_laf
Pingback: Sự thật toán học và chân lý | Ngọc phương Nam