Tẩu Tiến Tu Tiên

Chương 175: Kẻ p·h·ả·n· ·b·ộ·i Ly Tông? Hay là người dẫn đường?
"Sau khi nghe xong câu chuyện này, chắc hẳn chư vị tiền bối đã biết nội dung luận văn của ta. Về điểm này, ta cảm thấy rất khó để nói đây là chuyện may mắn hay bất hạnh."
Giọng điệu của Vương Kỳ rất bình tĩnh, rất ôn hòa, như thể lý luận kinh người vừa rồi không phải do hắn nói ra, mà là một người khác.
"May mắn?" Ngải Khắc Manh ngẩng đầu nhìn Vương Kỳ, cười khổ, rồi lại lắc đầu: "Ta không thấy có gì đáng để cho là may mắn ở đây cả."
Vương Kỳ mỉm cười: "Nếu một ngày nào đó, chúng ta thật sự có thể xây dựng được một bộ logic, giống như con rối thẩm p·h·án trong câu chuyện của ta, p·h·án xét chính bản thân cơ quan nhân, p·h·án xét tính đúng sai của một m·ệ·n·h đề toán học, vậy thì chúng ta - những toán gia này, còn có ý nghĩa tồn tại nữa không? E rằng đến lúc đó, Thần Châu sẽ không cần Vạn p·h·áp Môn nữa. Một cỗ máy tính toán tối thượng sẽ vượt qua tất cả chúng ta."
Tất cả tu sĩ Vạn p·h·áp Môn đều cúi đầu, thần quang trong mắt lóe lên.
Nếu thật sự đạt đến trình độ đó, vậy thì Vạn p·h·áp Môn quả thực không còn lý do gì để tồn tại nữa. Một cỗ máy tính toán tối thượng - bất kể có vấn đề gì về toán học, đều có thể đưa ra lời giải t·h·í·c·h trong thời gian ngắn. Đó quả là vật gần với Đạo.
Đến bước đó, toán học cũng coi như đi đến hồi kết.
Vậy, hiện tại toán học đã đi đến hồi kết chưa?
E là còn lâu.
Tr·ê·n Trái Đất, đã từng có vô số học giả lớn tiếng tuyên bố "Vật lý học đã đi đến hồi kết", "Nhân loại sắp nắm giữ chân lý tối thượng". Thời đại đó là thời đại hoàng kim của vật lý học cổ điển - đúng vậy, chỉ là vật lý học cổ điển.
Người thời đại đó thậm chí còn tuyên bố: "Bầu trời vật lý học trong xanh, chỉ có hai đám mây nhỏ".
Đó chỉ là vì họ không nhìn thấy được bước tiếp th·e·o.
Không nhìn thấy được bước tiếp th·e·o, liền tưởng mình đã đến giới hạn. Tr·ê·n thực tế, họ còn chưa, thậm chí mới chỉ dừng lại ở bước khởi đầu.
Toán học Thần Châu hiện nay chẳng phải cũng giống như vậy hay sao?
Hiện tại xem ra, t·h·i·ê·n Lưu Chuyển Chi Đạo của Thần Châu cách t·h·i·ê·n Đạo chân chính bao xa, thì toán học cũng cách t·h·i·ê·n Đạo chân chính bấy nhiêu.
Nghe xong lời Vương Kỳ, các toán gia rốt cuộc cũng tìm lại được chút nhiệt huyết. Thế nhưng, vẫn có người than thở: "Nói thì đúng là như vậy... nhưng sau này, còn ai dám th·e·o đ·u·ổ·i Toán Đạo nữa?"
Tính không đầy đủ, tính không thể quyết định của Vương Kỳ gần như đã đóng dấu "Hư Vô" lên toàn bộ Toán Đạo.
Trong tình huống này, còn ai dám đi tìm tòi Toán Đạo nữa? Thậm chí ngươi còn không dám tin rằng con đường mà mình th·e·o đ·u·ổ·i là có ý nghĩa.
Đây không phải vấn đề "tâm hướng Đạo" không kiên định. Bởi vì, tính không đầy đủ, tính không thể quyết định của Vương Kỳ đều được suy luận từ chính bản thân toán học, quá trình chứng minh không thể bắt bẻ được.
Giống như nói p·h·ậ·t Tổ tại p·h·áp hội đột nhiên đại khai s·á·t giới, ăn t·h·ị·t người s·ố·n·g, hóa thành hình thù mặt xanh nanh vàng, tâm hướng Đạo của p·h·ậ·t t·ử dù kiên định đến đâu, e rằng cũng không chịu n·ổi sự kích t·h·í·c·h như vậy.
Vương Kỳ đây chính là lột bỏ lớp vỏ ngoài ôn hòa của toán học, để lộ ra bản chất đáng sợ của nó.
Nhìn biểu cảm của chư vị Tiêu d·a·o biến hóa không ngừng, Vương Kỳ cười khổ trong lòng.
Giới toán học Trái Đất, sau khi t·r·ải qua biến cố này, đã chìm trong sự ủ dột suốt hai, ba mươi năm. Trong hai, ba mươi năm đó, quả thực vẫn có những thành tựu toán học xuất hiện, nhưng không còn sự huy hoàng như trước nữa.
Yêu cầu những Tiêu d·a·o tu sĩ này lập tức tiếp nh·ậ·n hai chân lý "không đầy đủ" và "không thể quyết định" quả thực là làm khó bọn họ.
Tuy nhiên, về vấn đề "làm thế nào để nghiên cứu", Vương Kỳ vẫn có một vài ý tưởng.
"Thực ra, về việc từ nay về sau, toán học phải đi như thế nào, vãn bối có một chút suy nghĩ."
Lời này của Vương Kỳ khiến những người đang lắng nghe lại có chút xao động.
Triển vọng tương lai, không phải ai cũng có tư cách bàn luận. Những người ở đây đều là những toán gia đỉnh cao nhất Thần Châu. Ngoại trừ Toán Quân và Toán Chủ, tr·ê·n đời này còn ai có thể chỉ tay năm ngón vào mặt bọn họ, nói "Các ngươi tiếp th·e·o nên làm như thế này" sao?
Đây không phải là hướng đến đại chúng, hướng đến tu sĩ cấp thấp, mà là hướng đến những toán học gia đỉnh cao như bọn họ.
Hắn làm, không phải là đưa ra lời tiên tri vô trách nhiệm, mà là đưa ra thứ mang tính cương lĩnh, giống như "kế hoạch năm năm". Có thể làm được điều này, không ai không phải là người dẫn dắt thời đại, đứng đầu ngành. Loại người này dù không phải là người đứng đầu học p·h·ái, người đứng đầu toán môn, thì cũng không khác là bao.
Thủ lĩnh đời trước của Ca Đình p·h·ái, từng là Thần Tôn, Vân Đoan c·ô·ng t·ử Kha Lan Âm, cũng bằng một đạo cương lĩnh, th·ố·n·g nhất hình học cận đại và nhóm biến đổi, khai sáng thời đại "nhất p·h·áp thông tắc vạn p·h·áp thông" của Vạn p·h·áp Môn. [Ở đây chỉ Cương Lĩnh Erlangen]
Mà thứ ông ta khái quát, cũng chỉ có hai lĩnh vực hình học và lý thuyết nhóm mà thôi.
Vương Kỳ vừa mở miệng, lại nói đến toàn bộ giới toán học.
Nếu là người bình thường nói như vậy, cho dù là một Tiêu d·a·o tu sĩ, e rằng những tu sĩ đỉnh cao này đều sẽ lên tiếng phê phán.
Nhưng, chỉ có Vương Kỳ, không ai dám chỉ trích.
Hai bài toán thứ hai và thứ mười trong Hi Môn Nhị Thập Tam Vấn có sức nặng quá lớn. Rất nhiều Tiêu d·a·o của Ca Đình p·h·ái cùng nhau nghiên cứu, cũng không thấy một chút hy vọng giải quyết. Thế mà t·h·iếu niên này lại giải quyết được.
Về p·h·áp lực, hắn có lẽ còn t·h·iếu chút tích lũy. Nhưng, trong lĩnh vực logic toán học, hắn là người đứng đầu.
"Thực tế, ta không thể cũng không định chỉ ra một con đường cho sự p·h·át triển của toán học trong tương lai - ta thậm chí không có tư cách này, và ta cũng biết làm như vậy chắc chắn là phí c·ô·ng vô ích, thực ra là một chuyện nực cười. Ta luôn tin rằng toán gia tương lai cũng như toán gia quá khứ sẽ không đi th·e·o con đường cũ. Họ sẽ dùng một góc nhìn mới để xem xét vấn đề thông qua những mối quan hệ mà chúng ta không nghĩ tới, để giải quyết những vấn đề lớn mà chúng ta để lại cho họ - chỉ là do kiến thức hạn hẹp, chúng ta không biết mà thôi."
"Nhưng, ít nhất ta biết mình có thể làm gì."
"Tính không đầy đủ và tính không thể quyết định không phải là điều gì đáng sợ. Phiêu Miểu Chi Đạo đã chứng minh, trong lĩnh vực vi mô, tính x·á·c định bị m·ấ·t đi. Nhưng điều này không ảnh hưởng gì đến thế giới vĩ mô. Chúng ta vẫn s·ố·n·g trong một thế giới có nhân có quả." Vương Kỳ nói: "Tuy ta đã chứng minh được sự t·h·iếu sót của tính đầy đủ và tính có thể quyết định của toán học. Nhưng ta chỉ chứng minh được sự tồn tại của chúng, chứ chưa biết chúng xảy ra ở đâu. Chúng ta còn lâu mới chạm đến được giới hạn của toán học. Trong lĩnh vực toán học đã biết, tính không đầy đủ và tính không thể quyết định không có ý nghĩa gì lớn."
"Ít nhất là hiện tại, toán học mà chúng ta biết chưa hề mâu thuẫn với sự thật kh·á·c·h quan của thế giới này."
"Có lẽ, chúng ta sớm muộn gì cũng sẽ phải đối mặt với tất cả những điều này. Giống như chúng ta muốn tìm hiểu thế giới vi mô, thì không thể không đối mặt với tính bất định. Nhưng, ngày đó không phải là bây giờ."
"Loại nghiên cứu đó trước đây chưa từng được thực hiện, bây giờ cũng còn quá sớm, ít nhất toán học hiện tại vẫn chưa đủ để chạm đến khu vực đó. Ta tin rằng, khi chúng ta chạm đến cảnh giới đó, nhu cầu về chứng minh đã đạt đến trình độ của ý thức, đồng thời kỹ t·h·u·ậ·t có nhu cầu này cũng đã p·h·át triển - nhưng không phải là bây giờ."
"Mà ngoài lĩnh vực này, chúng ta còn rất nhiều vấn đề có ý nghĩa để nghiên cứu. Ví dụ như bài toán thứ năm trong Hi Môn Nhị Thập Tam Toán - Biến t·h·i·ê·n Thức và nhóm biến đổi; giả thuyết Riemann - khi chúng ta từ bỏ việc sử dụng Biến t·h·i·ê·n Thức làm v·ũ k·hí để chinh phục nó, hy vọng mới đã ở ngay trước mắt; định luật tương hỗ bậc hai của Toán Vương tiền bối... Chúng ta có thể thấy toán học vẫn đang không ngừng tiến bộ. Chúng ta vẫn có thể bước tiếp."
"Thực ra, đối với những đạo hữu không th·e·o đ·u·ổ·i Nguyên Toán, dù tính không đầy đủ và tính không thể quyết định có tồn tại hay không cũng không có gì khác biệt, không ảnh hưởng gì đến c·ô·ng việc của họ."
"Còn đối với những đạo hữu của Nguyên Toán Đạo, hành trình của chúng ta mới chỉ bắt đầu! Chúng ta còn rất nhiều việc phải làm!"
Có người trong Ly Tông bất mãn: "Chúng ta rốt cuộc còn có thể làm gì nữa?"
Thứ chúng ta th·e·o đ·u·ổ·i đã bị ngươi p·h·á hủy rồi.
"Ta đã hoàn thành bài toán của Hi tiền bối, nên chư vị liền cảm thấy không còn bài toán nào có thể giải nữa sao?" Vương Kỳ lắc đầu.
Trong giới học t·h·u·ậ·t, giải quyết vấn đề cơ bản chính là "c·ướp miếng ăn". Một giả thuyết được chứng minh, sẽ có vô số nhà toán học s·ố·n·g dựa vào giả thuyết đó bị m·ấ·t việc. Những Tiêu d·a·o tu sĩ ở đây, không chỉ đạo tâm bị lung lay, mà còn b·ị c·ướp m·ấ·t mục tiêu phấn đấu.
Chỉ là, phương thức Vương Kỳ gặt hái những mục tiêu này hoàn toàn trái n·g·ư·ợ·c với phương thức lý tưởng của những người này, nên họ nhất thời không thể chấp nh·ậ·n.
Nhưng mà...
"Toán Chủ từng nói, có vấn đề mới chứng tỏ học khoa này đang p·h·át triển." Vương Kỳ thở dài: "Tính không đầy đủ và tính không thể quyết định chính là vấn đề lớn mà ta đã vạch trần. Còn về ý tưởng để vượt qua vấn đề này - thực ra ta đã nói từ sáu năm trước rồi."
"Sáu năm trước..."
Một số toán gia lộ ra vẻ mặt phức tạp. Sáu năm trước, tại Yến Hội Khí Thành, Vương Kỳ quả thực đã nói qua một số "ý tưởng". Nhưng lúc đó, không ai thèm để ý. Tất cả bọn họ đều coi đó là một chút tâm đắc cá nhân của tiểu bối này - một chút ý tưởng nghiên cứu cá nhân mà thôi. Cho dù có hoàn t·h·iện hơn nữa, thì có ý nghĩa gì?
Nhưng, không ai ngờ được, hôm nay, sau khi hắn chứng minh được sự sai lầm trong suy nghĩ của Toán Chủ, ý tưởng mà không ai quan tâm đó lại trở thành phương hướng p·h·át triển tương lai của Ly Tông.
Lúc này nhìn lại t·h·iếu niên này.
Kẻ p·h·ả·n ·b·ộ·i của Ly Tông?
Hay là nhà lãnh đạo tương lai của Ly Tông?
Chư vị Tiêu d·a·o tu sĩ mơ hồ nhìn thấy điểm này. Chỉ là về mặt tình cảm, họ nhất thời vẫn chưa thể chấp nh·ậ·n.
Phùng Lạc Y ho khan hai tiếng: "Tin rằng đến đây, chư vị cũng đã hiểu rõ đại khái về tư duy, lý niệm của Vương Kỳ. Bây giờ, Vương Kỳ, ngươi có thể giảng giải luận văn của mình cho mọi người rồi."
Vương Kỳ gật đầu, bắt đầu giảng giải luận văn Luận Về Số Có Thể Tính Toán Và Ứng Dụng Của Nó Trong Vấn Đề Quyết Định th·e·o tiêu chuẩn sáu phần mười.
Toán Quân vẫn không hề hứng thú, lắc đầu nói: "Trăm thứ vô dụng."
Luận văn Luận Về Số Có Thể Tính Toán Và Ứng Dụng Của Nó Trong Vấn Đề Quyết Định cũng không dài. Giống như Thử Luận Về Những m·ệ·n·h Đề Hình Thức Không Thể Quyết Định Trong Quyển Một Toán t·h·u·ậ·t t·h·i·ê·n của Vạn p·h·áp Toán t·à·ng Và Hệ Th·ố·n·g Liên Quan, quá trình chứng minh của nó thực ra rất đơn giản.
Đơn giản, nhưng lại tràn đầy trí tuệ.
Tất cả Tiêu d·a·o đều bất tri bất giác chìm đắm trong luận văn này, bản thân luận văn này đã tỏa ra ánh sáng trí tuệ đầy mê hoặc. Cho dù biết rõ dòng sông logic này sẽ chảy xuống vực sâu vạn trượng, những toán gia đó cũng không nhịn được mà không lắng nghe.
Chẳng mấy chốc, một tu sĩ đứng dậy, như say như mê, lớn tiếng khen ngợi: "Hay!"
Người đứng dậy chính là Các chủ t·h·i·ê·n Cơ Các, Turing chân nhân.
Chú t·h·í·c·h các t·h·u·ậ·t ngữ khoa học:
Cơ quan nhân (机关人): Robot, người máy.
Vật lý học cổ điển (经典物理): Nền tảng vật lý được xây dựng trước khi cơ học lượng t·ử và thuyết tương đối ra đời, bao gồm cơ học Newton, điện từ học Maxwell, và nhiệt động lực học.
Hai đám mây nhỏ: Ám chỉ đến hai vấn đề n·ổi cộm của vật lý học cuối thế kỷ 19: sự không thống nhất giữa lý thuyết b·ứ·c xạ vật đen và các thí nghiệm, và kết quả âm tính của thí nghiệm Michelson-Morley, những vấn đề này đã dẫn đến sự ra đời của cơ học lượng t·ử và thuyết tương đối.
Tính không đầy đủ (不完备性): Trong logic toán, các định lý về tính không đầy đủ của Gödel chứng minh rằng bất kỳ hệ th·ố·n·g hình thức nào đủ mạnh để diễn tả số học cơ bản đều không thể vừa nhất quán vừa đầy đủ. Tức là, luôn tồn tại những m·ệ·n·h đề đúng mà không thể chứng minh được trong hệ th·ố·n·g đó.
Tính không thể quyết định (不可判定性): Một vấn đề quyết định là một vấn đề mà có thể xây dựng một t·h·u·ậ·t toán để t·r·ả lời "có" hoặc "không" trong một số bước hữu hạn. Một vấn đề không thể quyết định là một vấn đề không có t·h·u·ậ·t toán như vậy. Định lý về tính không thể quyết định của Turing chứng minh sự tồn tại của những vấn đề như vậy.
Nhóm biến đổi (变换群): Transformation group.
Giả thuyết Riemann (黎曼猜想): Riemann hypothesis, một trong những giả thuyết quan trọng nhất chưa được giải quyết trong toán học, liên quan đến sự phân bố của các số nguyên tố.
Định luật tương hỗ bậc hai (二次互反律): Law of quadratic reciprocity.
Nguyên Toán (元算): Foundations of mathematics, nền tảng của toán học.
Turing chân nhân (图灵真人): Tên một tu sĩ, ám chỉ đến Alan Turing, nhà toán học và khoa học máy tính người Anh, được coi là cha đẻ của khoa học máy tính lý thuyết và trí tuệ nhân tạo.
Cương lĩnh Erlangen (埃尔朗根纲领): Erlangen program, một phương p·h·áp phân loại các hình học dựa tr·ê·n lý thuyết nhóm, được đề xuất bởi Felix Klein.