(Đã dịch) Tẩu Tiến Tu Tiên - Chương 317: Định Lý Bổ Đề Gödel
Sự đột phá cảnh giới của Vương Kỳ bắt đầu.
Về lý thuyết logic vị từ bậc nhất đơn giản nhất...
Toàn bộ pháp lực trong người Vương Kỳ dường như cảm nhận được khoảnh khắc đột phá sắp đến, đồng loạt sôi sục.
Các huyệt khiếu lần lượt được khai mở, vô số quẻ Âm Dương mới liên tiếp được hình thành.
Tiến hành diễn toán logic...
Khi Vương Kỳ viết câu này xuống, tất cả quẻ Âm Dương trong cơ thể hắn bắt đầu vận hành với công suất tối đa.
...Có thể chứng minh tất cả các công thức hợp lệ về mặt logic...
Tay Vương Kỳ cầm bút trắng bệch vì dùng sức quá mạnh, đôi mắt đen láy trở nên sâu thẳm.
Một đáp án sắp xuất hiện.
Vì vậy...
Khoảnh khắc Vương Kỳ hạ bút, tất cả quẻ Âm Dương trong cơ thể hắn đều tan vỡ trong chớp mắt, pháp lực bùng nổ dữ dội khiến thân thể hắn căng trướng.
Nhưng thiếu niên không hề cảm nhận được. Hoặc có lẽ hắn cảm nhận được, nhưng lại chẳng hề để tâm.
Ta biết rồi! Ta biết rồi!
Hắn mơ hồ dự cảm, những gì hắn sắp viết ra tiếp theo sẽ là thành tựu huy hoàng nhất từ trước đến nay của mình.
Có thể xem diễn toán vị từ bậc nhất là bổ đề.
Ngay trong khoảnh khắc này, Diệu Định Toán Kinh vận hành cuồng bạo, quẻ Âm Dương bắt đầu ngưng tụ trong các huyệt đạo lớn, số lượng đã nhiều gấp đôi so với trước!
Vương Kỳ không kịp kiểm tra tình trạng trong cơ thể, bởi vì hắn đã chìm đắm trong niềm vui vô bờ.
Oa ha ha ha ta biết rồi! Ta biết rồi!
Một ngón tay gõ nhẹ hai cái lên bàn hắn: "Có thể giải thích một chút được không, ngươi biết cái gì rồi?"
Vương Kỳ nhìn thấy Trần Phong, hơi ngạc nhiên: "Đông gia? Sao ngươi lại tìm đến Vạn Pháp Môn? Chúng ta đã hẹn mai mà... a!"
Vừa nói, Vương Kỳ lại khẽ thốt lên một tiếng hét chói tai.
"Ta..." Trần Phong bị đau tai, bất đắc dĩ nói: "Ngươi cũng biết mình thất hứa rồi đấy."
Vương Kỳ đột nhiên nắm chặt vai Trần Phong. Hắn hỏi: "Nói thật, ta thất hứa mấy ngày rồi?"
Trần Phong ngơ ngác: "Mấy ngày ư? Ngươi thất hứa một ngày là ta đã tìm đến đây rồi. Ngươi mà không đến mấy ngày nữa, chẳng chừng ta phải thay y phục đến bắt ngươi đấy."
"Một ngày?" Vương Kỳ sững sờ: "Giờ là canh giờ nào rồi?"
Canh Tuất...
Không đúng! Mới chưa đến một ngày ư? Quá phi lý!
Vương Kỳ cầm lấy bản thảo trên cùng của chồng bản thảo trên bàn – cũng chính là tờ hắn vừa viết xong, hỏi: "Cái này thật sự là ta viết sao?"
Sắc mặt Trần Phong thay đổi: "Ngươi có phải tẩu hỏa nhập ma, đầu óc bị thương rồi không? Có cần ta kiểm tra cho ngươi không?"
"Ngươi nói cho ta biết có phải hay không trước đã!" Giọng Vương Kỳ càng lúc càng sốt ruột, quay sang Chân Xiển Tử: "Lão già, ngươi cũng thấy rồi, nói cho ta biết có phải hay không?"
Chân Xiển Tử nói: "Đúng vậy, quả thực là do ngươi viết."
Trần Phong kinh ngạc không thôi: "Ngươi ngay cả mình đã viết gì cũng không nhớ sao? Đây là thứ ngươi vừa viết xong mà."
Một "lão già" khác là Lưu Vân Tường cũng đi vào: "Ta tận mắt nhìn thấy, là do ngươi viết. Con trai, rốt cuộc ngươi đang viết cái gì?"
Vương Kỳ như bị rút cạn sức lực, ngã ngồi xuống đất, nói: "Chẳng hề thực tế chút nào..."
Toàn bộ người trong Vạn Pháp Môn đều bị đánh thức. Mọi người tò mò vây quanh. Nhìn thấy bộ dạng thất thần của Vương Kỳ, Lê Nguyệt – người từng chịu thiệt thòi – tỏ vẻ rất khó chịu: "Giả thần giả quỷ."
Vương Kỳ đột nhiên choàng tỉnh: "Xin lỗi các vị, cho ta được ra ngoài một lát không? Ta cần yên tĩnh một mình."
Lưu Vân Tường muốn xem luận văn của Vương Kỳ, nhưng Vương Kỳ dè tay lên tờ giấy: "Xin lỗi... bây giờ vẫn chưa thể cho người khác xem... Lưu sư thúc, xin người ra ngoài một lát ạ, ta thật sự cần yên tĩnh một mình."
Lời này của Vương Kỳ khiến sắc mặt mấy đệ tử Vạn Pháp Môn hơi thay đổi, Lê Nguyệt càng tức giận: "Ngươi dám vô lễ với Lưu sư thúc?"
Lưu Vân Tường ngăn cản những lời chỉ trích của các đệ tử Vạn Pháp Môn, nói: "Chúng ta ra ngoài chờ một lát đi."
Trần Phong cùng nhóm đệ tử Vạn Pháp Môn ra ngoài. Trước sự bất thường của Vương Kỳ, mọi người đều bàn tán xôn xao.
Mạc Chân Chân cảm thán: "Hóa ra lời đồn đại về việc thiên tài có thể thăng cấp nhờ viết luận văn là thật."
Lời cảm thán của mọi người xung quanh đều mang theo chút ghen tị.
"Đúng vậy đúng vậy, hóa ra Vương sư huynh lại là..."
"Hắn chắc chắn không phải là đệ tử ngoại môn nữa rồi..."
Nghe thấy những lời bàn tán xung quanh, Lê Nguyệt vốn đã chẳng còn thiện cảm với Vương Kỳ hừ lạnh: "Viết luận văn tăng tu vi đúng là có thật, nhưng cũng không đơn giản như vậy. Tu vi tăng lên là bởi quá trình suy nghĩ đã thúc đẩy hồn phách, chỉ cần ngươi thật sự suy nghĩ, dù thứ ngươi suy nghĩ là sai cũng có thể tăng tu vi."
Có người tò mò hỏi: "Vậy nếu kết luận sai thì sao?"
Hoàng Phủ Liên trầm giọng nói: "Sẽ đi lệch khỏi chính pháp, nếu cứ khăng khăng sai lầm thậm chí còn tích tiểu thành đại, khó có thể quay đầu. Thông thường cũng đừng nên tùy tiện thử nghiệm."
Có đệ tử thân thiết hơn với Vương Kỳ lo lắng hỏi Lưu Vân Tường: "Sư thúc, kết luận của Vương sư huynh chắc là không sai chứ?"
Lưu Vân Tường lắc đầu hoang mang: "Cái này... ta cũng không biết?"
Kết luận này hoàn toàn chính xác, Vương Kỳ vô cùng tự tin về điều đó.
Bởi vì, kết luận này không phải do chính hắn nghĩ ra, mà là kết luận của một nhà toán học trên Trái Đất.
Định lý bổ đề Gödel.
So với định lý bất toàn Gödel, định lý này ít nổi tiếng hơn. Nó bắt nguồn từ luận án tiến sĩ của Kurt Gödel, chứng minh rằng trong hệ thống hình thức, logic vị từ bậc nhất là bổ đề, và tất cả các công thức hợp lệ về mặt logic trong diễn giải logic bậc nhất đều có thể chứng minh được.
Tuy nhiên, diễn toán vị từ bậc nhất là một hệ thống toán học có năng lực khá hạn chế, nếu chỉ ứng dụng nó thôi thì ngay cả số tự nhiên cũng không thể định nghĩa, càng không cần nói đến số học.
Đối với chương trình Hilbert, định lý bổ đề Gödel là một bước đột phá lớn, nhưng không có vai trò quyết ��ịnh như định lý bất toàn. Hơn nữa, định lý bổ đề cũng chỉ đi theo con đường của Hilbert, dựa trên nền tảng của von Neumann mà tiến thêm một bước nữa, chứ không phải một bước nhảy vọt mang tính thiên tài như định lý bất toàn.
Nhưng mà...
"Tốc độ này thật chẳng khoa học chút nào." Vương Kỳ lẩm bẩm.
Đối với một nhà toán học kiệt xuất như Gödel, luận văn này có lẽ chỉ là một luận án tiến sĩ, nhưng hầu hết các nhà toán học trên thế giới đều không thể nào viết ra được một luận văn như vậy.
Hay nói cách khác, ngay cả một nhà toán học bình thường cũng chưa chắc đã hiểu được.
"Tuy rằng ta biết đại khái ý tưởng của nó, cũng biết trước kết luận, nhưng... ta lại chỉ mất vỏn vẹn một ngày để suy luận ra sao?"
Vương Kỳ sững sờ.
Biết đại khái ý tưởng và kết luận không có nghĩa là không gặp phải khó khăn. Giống như mọi người đến một nơi mới dựa vào bản đồ để tìm kho báu, người thường không biết liệu có kho báu hay không, nhưng Vương Kỳ ngay từ đầu đã biết là có, hơn nữa còn nhìn thấy tấm biển chỉ đường.
Nhưng con đường cụ thể vẫn cần chính hắn tự mình tìm kiếm.
Ban đầu hắn thậm chí còn không nghĩ đến chuyện sẽ dốc toàn lực để suy ra định lý bổ đề Gödel, mà chỉ muốn đi theo con đường của von Neumann, tìm một hệ thống con đặc biệt của hệ thống số học để chứng minh mà thôi.
"Trình độ của ta cao đến vậy sao?"
Mọi bản quyền liên quan đến tác phẩm này đều được truyen.free bảo hộ tuyệt đối, xin quý vị độc giả không sao chép.