Tẩu Tiến Tu Tiên

Chương 142: Đội Dược Hoàn! (Thượng)
Chính vì sở hữu kiến thức toán học vượt thời đại, Vương Kỳ hiểu rõ hơn bất kỳ ai về ý nghĩa của bài luận toán học này.
Trong các cuộc thảo luận toán học, người ta thường gọi những thứ có thể chỉ ra cụ thể một đối tượng, hoặc có thể đưa ra phương p·h·áp tính toán của một đối tượng là "có thể cấu tạo được". Toán học cấu trúc là một lĩnh vực nghiên cứu quan trọng của toán học hiện đại, đặc điểm cơ bản của nó chính là nhấn mạnh tính "có thể cấu tạo được". Cái gọi là "tính có thể cấu tạo được" chính là chỉ việc có thể đưa ra cụ thể một đối tượng, hoặc có thể đưa ra phương p·h·áp tính toán của một đối tượng.
Toán học cấu trúc khác với toán học cổ điển ở chỗ, toán học cấu trúc cho rằng "tồn tại chính là được cấu tạo". Để đạt được tính cấu trúc, các nhà toán học phải giải t·h·í·c·h lại "lượng từ tồn tại" và các "liên từ logic" khác, cũng như "lượng từ", để giải t·h·í·c·h ý nghĩa của việc chứng minh m·ệ·n·h đề chứa các biểu thức logic này th·e·o quan điểm cấu tạo.
Lý thuyết tính toán dựa tr·ê·n tính cấu trúc có ưu điểm rất lớn. Nó rất đáng tin cậy, không giống như lý thuyết tập hợp và toán học logic, nền tảng đều không vững chắc. Nhưng n·g·ư·ợ·c lại, chính vì nó quá vững chắc nên có vẻ rất khép kín. Lý thuyết này bài xích chứng minh logic, bài xích "vô hạn thực sự", bài xích vô số phương p·h·áp thực dụng đã biết. Nói một cách đơn giản, nó chính là c·ắ·t bỏ tất cả những thứ không đáng tin cậy, không hoàn hảo, hình thành nên một "sự hoàn hảo" hữu hạn.
Phương p·h·áp có "sức s·á·t thương" quá lớn này chính là thứ mà Toán Chủ bài xích. Quan trọng hơn là, chính vì tư duy này đã c·ấ·m quá nhiều phương p·h·áp, nên dẫn đến việc các nhà toán học bị bó buộc khi xử lý vấn đề, bản thân nó cũng không có bất kỳ ứng dụng thực tế nào. Vì vậy, quan niệm này bị chỉ trích rộng rãi.
Nhưng Toán Quân đã giải quyết được vấn đề này.
Toán Quân đã tạo ra bước đột p·h·á mới trong t·h·u·ậ·t toán cấu trúc. Ông kiên quyết phớt lờ thành tựu của Hilbert trong lĩnh vực này, chỉ giữ lại phần cấu trúc của nó, loại bỏ tất cả các phần phi cấu trúc. t·h·u·ậ·t toán mới này vô cùng đơn giản, và do đặc điểm cấu trúc của nó, nó có "tính khả t·h·i" rất mạnh, đặc điểm "tiềm vô hạn" cũng phù hợp hơn với ứng dụng thực tế trong lĩnh vực khoa học máy tính.
Từ trước đến nay, Ly Tông luôn k·h·i·n·h· ·t·h·ư·ờ·n·g Liên Tông vì vai trò thúc đẩy của logic toán học đối với toán học máy tính, nhưng lần này, lý thuyết toán học của Liên Tông về mặt thực dụng lại vượt qua Ly Tông!
"Cái này... cái này không khoa học à?" Vương Kỳ thốt lên.
Ở Trái Đất, toán học cấu trúc chỉ ra đời vào những năm 1960. Đến giai đoạn này, tam quan của tất cả các nhà toán học đều t·r·ải qua những cú đ·á·n·h hủy diệt hết lần này đến lần khác của các đại thần như Gödel, Turing, Church, phủ nh·ậ·n vô số con đường sai lầm; sau đó trường p·h·ái Bourbaki, Grothendieck và vô số nhà toán học khác lại tìm ra nhiều con đường mới. Vào thời điểm đó, lý thuyết đệ quy và logic toán học hiện đại đã trở thành nội dung cơ bản, có thể nói toán học của thời đại này đã khác xa với toán học đầu thế kỷ 20. Tr·ê·n mảnh đất này, lý thuyết tính toán cấu trúc mới có thể bén rễ, nảy mầm.
Nhưng thế giới này, Thần Châu này, Gödel đã vắng mặt trong sự kiện lịch sử này, "đường chéo vàng" bị đ·ứ·t đoạn, Alan Turing không thể p·h·át huy hết ánh hào quang vốn có của mình. Vì không ai nghi ngờ sự tồn tại của mâu thuẫn giữa ngữ nghĩa và cú p·h·áp, tức là khuyết điểm của bản thân ngôn ngữ loài người, Toán Chủ vẫn đang đ·â·m đầu vào b·ứ·c tường của "tính đầy đủ".
Trong trường hợp này, loại toán học này lẽ ra không có khả năng xuất hiện mới đúng!
Tuy nhiên, nghĩ kỹ lại, dường như điều này cũng không phải là không thể. Xét cho cùng, trong lịch sử Trái Đất, Henri Poincaré đ·ã c·hết quá sớm, bỏ lỡ sự p·h·át triển vượt bậc của toán học, cũng khiến Brouwer đưa chủ nghĩa trực giác vào ngõ cụt của triết học cá nhân, và càng không được chứng kiến ngày toán học p·h·át triển thành khoa học máy tính, thay đổi thời đại. Nhưng Toán Quân Poincaré vẫn luôn s·ố·n·g!
Sự tích lũy của ông vượt xa bản thể ở Trái Đất của mình.
"Bài luận này của Toán Quân là do các nhà khoa học Trái Đất đề xuất 50 năm sau khi Henri Poincaré q·ua đ·ời, xem ra sau này không thể dùng lịch sử Trái Đất để p·h·án đoán giới hạn của Tiêu d·a·o Thần Châu. Chỉ dựa vào cảm nh·ậ·n về toán học, đã bỏ qua vô số con đường sai lầm, khai p·h·á ra con đường mới này... Toán Quân quả nhiên là một trong những t·h·i·ê·n tài mạnh nhất trong lịch sử Thần Châu! Rất mạnh! Nếu không học qua lý thuyết toán học thế kỷ 21, ta thậm chí không thể nảy sinh ý nghĩ so sánh với ông ấy." Vương Kỳ âm thầm tán thưởng, đồng thời cẩn t·h·ậ·n quan s·á·t sắc mặt của Phùng Lạc Y.
Lần này, Ca Đình chúng ta e là tiêu đời rồi!
Trong Vạn Tiên Huyễn Cảnh, bất kỳ động tĩnh nhỏ nào cũng không thể qua mắt Phùng Lạc Y. Phùng Lạc Y cảm nh·ậ·n được thần thái của Vương Kỳ, cười khổ: "Thế nào?"
"Rất mạnh, ta hoàn toàn không biết nên hình dung như thế nào, nhưng bài luận này hoàn toàn có thể coi là một cột mốc, chỉ dẫn sự p·h·át triển của toán học Thần Châu, đặc biệt là sự p·h·át triển của toán học ứng dụng."
"Cho dù là tr·ê·n phương diện lý thuyết hay ứng dụng đều rất mạnh. Ban đầu chúng ta cứ nghĩ rằng có 'luật đầy đủ bậc nhất' của ngươi, chúng ta có thể dẫn trước một bước về logic toán học, không ngờ chúng ta vừa đ·á·n·h giá cao bản thân, vừa đ·á·n·h giá thấp Toán Quân." Phùng Lạc Y lắc đầu: "Quả nhiên là tuyệt thế cường giả từng một mình áp chế toàn bộ Vạn p·h·áp Môn."
Ông là Tiêu d·a·o trẻ tuổi hơn của Vạn p·h·áp Môn. Khi ông bước chân vào con đường tu hành, cũng là lúc Hilbert n·ổi lên, hai thế hệ cường giả của Vạn p·h·áp Môn thay phiên nhau. Mà thời điểm ông thành đạo Tiêu d·a·o cũng là khoảng thời gian Tiên Minh thành lập, không lâu sau Toán Quân đã rời khỏi Thần Châu để trấn thủ nơi khác. Vì vậy, Phùng Lạc Y không có cơ hội đối mặt trực tiếp với vị bạo quân kia.
"Đ·á·n·h giá cao bản thân?" Vương Kỳ giả ngu: "Chứng minh tính đầy đủ có sai sót?"
Trước Gödel, căn bản không ai nghi ngờ sự tồn tại của mâu thuẫn giữa ngữ nghĩa và cú p·h·áp, có một số khái niệm căn bản không thể định nghĩa bằng ngôn ngữ của con người, có một số vấn đề tự nhiên không thể hiểu được bằng logic hiện có. Nghĩ bằng đầu ngón chân cũng có thể nghĩ ra, Toán Chủ gần như không thể nào đạt được kết quả mà ông hằng mơ ước.
Tuy nhiên, sự p·h·át triển khoa học chính là như vậy. Toán Chủ đ·â·m đầu vào tường, không thể chứng minh "tính đầy đủ" phổ quát, rộng rãi. Nhưng trong quá trình này, họ chắc chắn sẽ kiểm chứng một số con đường không thể đi, đưa ra một số lý thuyết vô tình đạt được. Những thành quả này sẽ trở thành nền tảng cho sự p·h·át triển toán học sau này. Nếu có thể, Vương Kỳ thậm chí còn muốn dẫn dắt nhiều Tiêu d·a·o của Ca Đình p·h·ái đi th·e·o con đường của trường p·h·ái Bourbaki ở Trái Đất, để vô số Tiêu d·a·o cải tạo toán học Thần Châu, khiến nó gần gũi hơn với toán học Trái Đất mà Vương Kỳ quen thuộc, đồng thời bản thân nó cũng tiên tiến hơn.
Phùng Lạc Y thở dài: "Hy môn chủ đang than thở, hình như ông ấy đã mơ hồ nhìn thấy đích đến, nhưng luôn có một b·ứ·c tường vô hình ngăn cản, khiến ông ấy cảm thấy mình như đang giậm chân tại chỗ..."
Đột nhiên, sắc mặt Phùng Lạc Y thay đổi, nhìn chằm chằm Vương Kỳ: "Vương Kỳ, Hy môn chủ nhờ ta hỏi ngươi một vấn đề, ngươi phải thành thật t·r·ả lời ta."
Vương Kỳ không hiểu, âm thầm suy nghĩ xem đó là vấn đề quan trọng nào.
Chỉ nghe Phùng Lạc Y hỏi: "Lúc trước ngươi đã chứng minh hoàn hảo 'tính đầy đủ' của logic bậc nhất trong khuôn khổ hữu hạn, tại sao lại đột nhiên vi phạm khuôn khổ của 'chủ nghĩa hữu hạn', sử dụng 'phương p·h·áp siêu hạn' để thực hiện nghiên cứu tiếp th·e·o?"
Vương Kỳ á khẩu: "Cái này... linh quang chợt lóe thôi..."
"Lúc trước ngươi đã dự liệu được tình trạng tiến thoái lưỡng nan này rồi sao? Hay là, ngươi đang che giấu điều gì đó?"