Đi Vào Tu Tiên

Hiện tại, thứ cản trở họ tiếp tục đi sâu hơn, ngoài kinh nghiệm chủ quan lâu nay, còn có sự giải thích từ kinh điển.

Hay là một loại tự lừa dối, tự an ủi?

"Bài luận văn tồi tàn của ta sát thương quá mạnh mà!" Vương Kỳ không kiêng dè xoa nắn mặt Trần Do Gia: "Xem ngươi có b·ị t·hương không."

Trần Do Gia bĩu môi: "Sao lại nghĩ đến việc đến thăm ta?"

Trong lòng Nhược Triệt, Ngải Khắc Man, Mã Đức Ân và các Tiêu Dao tu sĩ khác tràn ngập bi thương.

Vương Kỳ thì hỏi: "Sư phụ, Hy Môn chủ bên kia thế nào rồi?"

"Đừng nghịch." Trần Do Gia gạt tay Vương Kỳ ra: "Ngươi biết đấy, ta là toán gia thiên về ứng dụng, ngoài việc đổ khí ra, đối với t·ranh c·hấp giữa Ly Tông và Liên Tông kỳ thực không coi trọng lắm, càng không quan tâm đến cái cơ sở kia. Hơn nữa... Câu chuyện Ngân Dực Sát Thủ kia, cũng là do ngươi làm ra đúng không?"

Cuối cùng, Phùng Lạc Y nói với mọi người: "Bây giờ, chúng ta mới chỉ công bố luận văn giai đoạn một, Thử luận 《Vạn Pháp Toán Tàng》 quyển nhất Toán Thuật thiên trung hình thức thượng bất khả phán định chi trần thuật cập tương quan hệ thống. Mọi người chỉ biết tính đầy đủ đã mất đi. Một số tu sĩ thậm chí còn chưa biết gì về điều này.

"Không có thời gian rảnh rỗi đó." Toán Chủ cuối cùng cũng cười: "Không có thời gian rảnh rỗi để than trời trách đất. Chúng ta chẳng phải còn việc phải làm sao?"

Phùng Lạc Y, người cùng với Toán Chủ là đại diện đương thời của phái Ca Đình, đã giáng đòn cuối cùng vào "tính đầy đủ" bức màn che phủ trong quan niệm của mọi người bắt đầu vỡ vụn.

Chỉ trong chốc lát, rất nhiều tu sĩ trong khu huấn luyện đã tản đi như sao rơi mây trôi. Chỉ có Trần Do Gia và một số ít người khác vẫn chậm rãi bước ra ngoài.

"Đạo hữu lại có ý tưởng gì rồi sao?" Đồ Linh Chân Nhân ngồi đối diện Vương Kỳ hỏi.

Họ không dám nói quá to, thậm chí còn vận pháp lực tập trung âm thanh xung quanh mình, sợ làm kinh động đến ân sư.

"Hay là thế này..." Một tu sĩ phái Ca Đình hít hít mũi, dường như vừa khóc: "Chúng ta nói với sư phụ, nói là chúng ta vẫn còn tính có thể xác định..."

Đây thật sự là tự tin và ý tưởng mới sao?

"Các đạo hữu khác của phái Ca Đình đã đi chăm sóc rồi." Phùng Lạc Y thở dài: "Hy vọng có thể vượt qua kiếp nạn này."

"Ta đang nghĩ... Phương pháp suy luận của họ có lẽ có chút vấn đề. Đương nhiên, bản thân tính không đầy đủ có lẽ không có vấn đề gì, nhưng, thật sự không thể nào vòng qua nó sao? Dù sao, với tư cách là một chứng minh toán học, tính không đầy đủ của Vương Kỳ thật sự quá yếu..."

Mọi người nghẹt thở. (đọc tại Nhiều Truyện.com)

"Sư phụ..." "Sư phụ!" "Sư phụ!" "Ân sư!" Mọi người đồng loạt hô lên, cuối cùng, Nhược Triệt Tiên Tử bước ra, hỏi: "Sư phụ, trong hai mươi ba vấn đề, vấn đề thứ hai đã được giải đáp rồi..."

Đồ Linh Chân Nhân an ủi: "Nguyệt Hàn huynh không cần phải như vậy. Hy Môn chủ lượng lớn, Hà Ngoại Nhĩ là đệ tử đích truyền của hắn, hắn nghiêng về Liên Tông, Toán Chủ cũng không đoạn tuyệt quan hệ với hắn, huống chi là huynh? Hiện tại huynh đang đứng về phía đúng."

Trong Ca Đình, hương thơm ngào ngạt. Nhưng, loại hương liệu thượng hạng nhất này cũng không che giấu được mùi thuốc s·ú·n·g nồng nặc nơi đây. (đọc tại Nhiều Truyện.com)

"Quá hoang đường!" Một đệ tử phái Ca Đình thấp giọng mắng.

Và chẳng bao lâu nữa, chúng ta sẽ công bố luận văn giai đoạn hai, Luận khả kế toán số cập kỳ tại phán định định lý thượng đích ứng dụng. Điều đó sẽ gây ra chấn động lớn hơn nữa.

"Giới hạn của Biến Thiên Thức à..." Đồ Linh Chân Nhân cũng cảm thấy có chút nặng nề: "Trước đây, chúng ta nói thức trung hàm thiên chi biến giả là Biến Thiên Thức, cho rằng Biến Thiên Thức có thể tính toán hết thảy... Cái thuật toán thật sự có thể tính toán hết thảy của ta kia, ngoài việc tự mâu thuẫn ra, còn có thể cung cấp ý tưởng về cực hạn của Biến Thiên Thức? Thật không ngờ."

Tính nhất quán (一致性): Một hệ thống hình thức được gọi là nhất quán nếu không tồn tại một mệnh đề nào đó mà cả mệnh đề đó và phủ định của nó đều có thể được chứng minh trong hệ thống đó.

Có một số... một số mệnh đề, chúng ta căn bản không thể phán định đúng sai thật giả?

"Các ngươi... tụ tập ở đây làm gì?"

Không giống nhiều chứng minh toán học có ý nghĩa trọng đại - ví dụ như chứng minh giả thuyết số nguyên tố sinh đôi, chứng minh tính không đầy đủ và không thể xác định thực ra khá đơn giản.

Trần Do Gia quay người lại, liền nhìn thấy khuôn mặt tươi cười của Vương Kỳ.

Chỉ có bốn chữ cứng nhắc.

Toán Chủ càng nói càng hăng hái. Có một khoảnh khắc, trên người Hy Bá Triệt lại xuất hiện phong thái của người đứng đầu toán môn thiên hạ.

Vương Kỳ lắc đầu: "Không, chỉ là nhớ đến một số chuyện khác. Ta vẫn đang suy nghĩ về con đường Biến Thiên Thức Hóa này..."

Hắn không xuất thân từ chính thống phái Ca Đình, nhưng cũng là nhân vật đại diện của Ca Đình. Hiện tại hắn quyết định ủng hộ Vương Kỳ, phổ biến tính không thể xác định và không đầy đủ. Trong mắt người của phái Ca Đình, đây chính là hắn đang đâm sau lưng Toán Chủ.

...

Ma trận (矩阵): Một mảng chữ nhật gồm các số, ký hiệu, hoặc biểu thức, được sắp xếp theo hàng và cột.

"Ta biết chứ." Toán Chủ chớp chớp mắt. Khoảnh khắc này, hắn như một lão già trí nhớ suy giảm, trên mặt đầy vẻ hoang mang: "Vừa rồi ta đã xem luận văn rồi... Những luận văn liên quan đến hai mươi ba vấn đề, ta đều sẽ biết ngay lập tức."

"Đừng!" Nhược Triệt Tiên Tử thấp giọng kinh hô. Tính có thể xác định mấy ngày nữa cũng sẽ bị phủ nhận! Lấy cái này ra an ủi, cũng là tự tìm đường c·hết!

...

Khóe miệng Vương Kỳ nhếch lên một nụ cười. Hắn dùng phân thần đi gặp Trần Do Gia. Hình chiếu "Vương Kỳ" đó vừa là phân thần của hắn, vừa thông qua Vạn Tiên Huyễn Cảnh đồng bộ với hắn từng giờ từng khắc.

Nhiều đệ tử Vạn Pháp Môn tham gia khóa huấn luyện này, tam quan đã trải qua nhiều lần tẩy lễ, trong lòng sớm đã nảy sinh nghi ngờ về tính đầy đủ, tính nhất quán và tính có thể xác định của toán học.

"Đây là gì... Luận khả kế toán số cập kỳ tại phán định định lý thượng đích ứng dụng..." Tu sĩ phái Ca Đình đã xem luận văn kia như bị thần thông đại uy lực đánh trúng, đờ người ra.

Thuật toán (算法): Một tập hợp hữu hạn các hướng dẫn được xác định rõ ràng, có thể được thực hiện bởi một máy tính để giải quyết một bài toán cụ thể. (đọc tại Nhiều Truyện.com)

Chương 237: Anh Tài Xế Chiều

Lý thuyết số (数论): Một nhánh của toán học nghiên cứu về các tính chất của số, đặc biệt là số nguyên.

Và chứng minh tính không thể xác định cũng được dạy cho họ.

Trần Do Gia rất muốn chế giễu vài câu như trước đây. Nhưng không biết vì sao, nàng lại không nói ra.

Nhưng, Hà Ngoại Nhĩ lại cảm thấy lạnh người.

Mặc dù xét về tuổi tác, sư phụ vẫn còn là người trẻ tuổi. Tuổi thọ mà hắn đã trải qua so với tuổi thọ mà hắn còn lại, rất ngắn. Nhưng, đạo của Toán Chủ Hy Bá Triệt đ·ã c·hết rồi.

Hiện tại không biết Toán Chủ rốt cuộc đã xem Thử luận 《Vạn Pháp Toán Tàng》 quyển nhất Toán Thuật thiên trung hình thức thượng bất khả phán định chi trần thuật cập tương quan hệ thống kia chưa. Bây giờ họ đang bàn bạc xem làm thế nào để trấn an sư phụ.

Chú thích các thuật ngữ khoa học: (đọc tại Nhiều Truyện.com)

Nói xong câu này, sắc mặt hắn ảm đạm: "Cuối cùng vẫn phải chia tay với bạn cũ."

Giả thuyết số nguyên tố sinh đôi (孪生素数猜想): Một giả thuyết nổi tiếng trong lý thuyết số, phát biểu rằng có vô hạn số nguyên tố sinh đôi, tức là các cặp số nguyên tố có hiệu bằng 2.

Mà Vương Kỳ cũng phát hiện, mặc dù Đồ Linh Chân Nhân nói chuyện hơi thẳng, cũng hơi cứng nhắc, nhưng về bản chất vẫn rất dễ nói chuyện. Thỉnh thoảng khi nghỉ ngơi, hắn còn hướng Đồ Linh Chân Nhân thỉnh giáo một số vấn đề về tu luyện.

Hai người càng trò chuyện càng thấy hợp nhau.

Vương Kỳ kéo Trần Do Gia đến chỗ vắng vẻ. Vừa đi vừa cười nói: "Đương nhiên, ngoài thiên tài là ta ra, còn ai có thể tạo ra đột phá lớn như vậy?"

Lần biến động này, Vạn Pháp Môn hầu như không ai có thể nhân cơ hội leo l·ên đ·ỉnh cao.

Đây chắc chắn là phản bội.

"Sư phụ..." Mã Đức Ân tiến lên: "Nếu người không vui... Người cứ nói ra đi."

"Ta có lòng tin ở ngươi, nhưng vẫn nên đến xem một chút mà!" Vương Kỳ lùi lại hai bước: "Ồ, ta còn có chút việc ở bên kia, phải đi trước đây!"

Vương Kỳ lập tức làm ra vẻ cảm động: "Không ngờ chúng ta đã tâm linh tương thông đến mức này rồi! Nào! Ôm cái nào!"

Tính không đầy đủ (不完备性): Trong logic toán, các định lý không đầy đủ của Gödel chứng minh rằng bất kỳ hệ thống hình thức nào đủ mạnh để mô tả số học cơ bản đều không thể vừa nhất quán vừa đầy đủ. Tức là, sẽ luôn tồn tại những mệnh đề đúng mà không thể chứng minh được trong hệ thống đó.

Đúng lúc này, bọn họ nhận được truyền tin của Phùng Lạc Y. Sau đó, cảnh tượng trước mắt thay đổi, hai người đã đến trước mặt Phùng Lạc Y.

Phùng Lạc Y ảm đạm, nói: "Vương Kỳ, bảy ngày nữa, ta sẽ sắp xếp cho ngươi giảng đạo công khai, thông qua Vạn Tiên Huyễn Cảnh, giảng cho toàn bộ Vạn Pháp Môn về con đường không đầy đủ này. Bất kỳ ai trên toàn Thần Châu đều có thể tự do lựa chọn nghe hoặc không nghe. Ngươi hãy chuẩn bị cho tốt."

Trần Do Gia vẫn còn do dự, trong lòng lặp đi lặp lại: "Có nên gửi tin nhắn hỏi hắn một chút không nhỉ... Lần này đối với Ly Tông là đả kích lớn nhất. Hắn là đại tông sư lĩnh vực lý thuyết số, nghiêng về Ly Tông... Nhưng mà, hắn là Vạn Pháp Môn môn chủ đương nhiệm mà? Hắn chắc chắn đã biết rồi chứ... Hắn cũng không cần ta quan tâm đâu nhỉ..."

Toán Chủ tập hợp mọi người lại đây, chính là vì chứng minh tính đầy đủ, tính có thể xác định và tính nhất quán. Bây giờ, tính nhất quán đã được chứng minh, tính có thể xác định và tính đầy đủ đều bị phủ định. Hy Bá Triệt còn muốn làm gì nữa?

Một bài luận văn của một mình Vương Kỳ, lại cần Tiên Minh mất nửa năm để chuẩn bị, để tiếp nhận.

Trên mặt hắn không có chút vui mừng nào.

Những "kinh điển" đó, phần lớn đều do Toán Chủ viết ra.

Cơ Lão là tổ tiên của toán khí, đối với phương pháp tu luyện số hóa của Vương Kỳ cũng khá tán thưởng. Và vị tổ tiên của toán khí này cũng khiến Vương Kỳ có hiểu biết mới về tu luyện. (đọc tại Nhiều Truyện.com)

Điều này quá đáng sợ...

Trần Do Gia bị hắn ôm lấy, lại cười khẩy: "Bớt đi, ta đây là trí nhớ tốt thôi - Mà nói đi cũng phải nói lại, ngươi đã kể cho ta câu chuyện đó từ rất lâu rồi, tại sao còn lo lắng ta không tiếp nhận được?"

Bây giờ, các ngươi phải phát huy thành quả huấn luyện mấy tháng nay, dùng mọi cách, nhẹ nhàng nói cho những đệ tử Vạn Pháp Môn mà các ngươi quen biết rằng, tính đầy đủ và tính có thể xác định đã trở thành lịch sử. Đây là nhiệm vụ hiện tại của các ngươi."

Hắn không phải thiên tài, thì ai dám xưng là thiên tài?

Đúng lúc này, cửa phòng trong thư phòng của Ca Đình bị đẩy ra. Toán Chủ với vẻ mặt hoang mang bước ra.

Rất nhiều tu sĩ cao giai rùng mình.

Mà Ngải Khắc Man thì lấy ra mấy tờ giấy khác: "Đây là, phần tạm thời chưa công bố."

"Đi đi!"

"Quả nhiên là ngươi." Trần Do Gia hít sâu một hơi: "Chuyện lần này, đều là do ngươi gây ra, đúng không? Mặc dù Phùng tiên sinh không nói thẳng tác giả của luận văn đó, nhưng ta biết, chính là ngươi..."

Họ cảm thấy mình đã chứng kiến sự xế chiều của một đời anh tài, một đời anh hùng.

Ngay cả tính có thể xác định cũng tiêu rồi?

Mọi người đều nghi hoặc.

Tính không thể xác định (不可判定性): Một bài toán được gọi là không thể xác định nếu không tồn tại một thuật toán có thể trả lời "có" hoặc "không" cho mọi trường hợp của bài toán đó. Định lý Rice là một ví dụ về tính không thể xác định.

Hà Ngoại Nhĩ bước ra khỏi đám đông, quan tâm hỏi: "Sư phụ, người bây giờ... bây giờ còn ổn chứ?"

Tính đầy đủ (完备性): Một hệ thống hình thức được gọi là đầy đủ nếu mọi mệnh đề đúng trong hệ thống đó đều có thể được chứng minh.

Trần Do Gia vốn không hy vọng có thể nhận được hồi âm. Không ngờ, toán khí của nàng lập tức đưa ra thông báo: "Bình an."

"Ta rất ổn." Toán Chủ trả lời như vậy, sau đó lại như muốn nhấn mạnh, lặp lại: "Ta rất ổn. Mặc dù không ngờ tới... không ngờ tới kết quả lại như vậy, nhưng mà... Vấn đề thứ hai đã được giải quyết, đáng chúc mừng."

Từ hôm qua, hai người họ luôn thảo luận cùng nhau. Kiếp trước Vương Kỳ không nhớ hết quá nhiều luận văn, tất cả quá trình chứng minh đều là do hắn tự suy luận ra. Trao đổi với vị thiên tài này, cũng khiến hắn thu hoạch được rất nhiều.

"Ôi!" Đột nhiên, vai nàng bị ai đó vỗ một cái... Ừm, theo cảm nhận của linh thức, là một linh thể.