Bước Vào Tu Tiên

Lượt đọc: 1771 | 0 Đánh giá: 0/10 Sao
★★★★★★★★★★
★★★★★★★★★★
« Lùi Tiến »
Chương 73
Định lý đầy đủ Gödel

❊ ❊ ❊

Thuộc về Vương Kỳ, quá trình phá cảnh đã bắt đầu.

"Đối với logic vị từ bậc nhất đơn giản nhất mà nói..."

Pháp lực toàn thân Vương Kỳ dường như đều cảm ứng được sự đột phá sắp tới, tất cả đều trở nên xao động.

Từng huyệt khiếu lần lượt được đả thông, hào âm dương mới đang được sản sinh hàng loạt.

"Tiến hành diễn toán logic..."

Khi Vương Kỳ viết xuống câu này, tất cả hào âm dương trong cơ thể hắn đều bắt đầu vận hành hết công suất.

"...có thể chứng minh tất cả các công thức có hiệu lực về mặt logic..."

Bàn tay cầm bút của Vương Kỳ trắng bệch vì dùng lực quá độ, đôi mắt đen láy trở nên sâu thẳm.

Một đáp án đã sắp sửa lộ diện.

"Vì vậy..."

Khoảnh khắc Vương Kỳ đặt bút xuống, tất cả hào âm dương trong cơ thể hắn đều tan vỡ tức thì, pháp lực bùng nổ trong chớp mắt đã lấp đầy cơ thể hắn.

Thế nhưng, thiếu niên không hề cảm nhận được. Hoặc có thể nói, hắn cảm nhận được nhưng không hề để tâm.

Mình biết rồi! Mình biết rồi!

Hắn lờ mờ dự cảm được, những gì sắp viết tiếp theo đây sẽ là vinh quang lớn nhất trong đời hắn.

"Có thể cho rằng, diễn toán vị từ bậc nhất là đầy đủ."

Ngay tại giây phút này, "Hào Định Toán Kinh" vận hành điên cuồng, hào âm dương bắt đầu ngưng tụ trở lại tại các đại huyệt khiếu, số lượng lại nhiều gấp đôi trước đó!

Vương Kỳ không rảnh bận tâm kiểm tra tình trạng cơ thể, bởi vì hắn đã chìm đắm trong niềm vui sướng tột độ.

"Oa ha ha, mình biết rồi! Mình biết rồi!"

Một ngón tay gõ hai cái lên bàn học của hắn: "Có thể giải thích trước một chút, ngươi biết cái gì rồi không?"

Vương Kỳ nhìn thấy Thần Phong, có chút kỳ lạ: "Đông gia? Sao ngươi lại đuổi tới Vạn Pháp Môn rồi? Chúng ta đã hẹn là ngày mai... A!"

Nói đoạn, Vương Kỳ đột nhiên hét lên một tiếng.

"Ta đi, cái tên này..." Thần Phong đau tai, bất đắc dĩ nói: "Ngươi cũng biết là mình thất hẹn rồi sao."

Vương Kỳ đột nhiên nắm chặt vai Thần Phong, gấp gáp hỏi: "Nói thật đi, ta thất hẹn mấy ngày rồi?"

Thần Phong mù mờ: "Mấy ngày? Ngươi thất hẹn một ngày là ta đã tìm tới đây rồi, ngươi mà không tới vài ngày nữa thì có khi ta phải thay y phục tới bắt ngươi rồi đấy."

"Một ngày?" Vương Kỳ thẫn thờ một chút: "Bây giờ là giờ nào?"

"Giờ Tuất..."

Không đúng mà? Chỉ mới chưa đầy một ngày? Điều này không khoa học chút nào?

Vương Kỳ chộp lấy tờ bản thảo trên cùng trên bàn — 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 Thần Phong thay đổi: "Có phải ngươi tẩu hỏa nhập ma làm hỏng não rồi không? Có cần ta kiểm tra cho ngươi một chút 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 thêm cấp bách: "Lão nhân gia, ngài cũng thấy rồi, ngài nói cho ta biết có phải hay không?"

Chân Xiển Tử nói: "Phải, đúng thật là ngươi, là ngươi viết."

Thần Phong nghi hoặc bất định: "Ngươi không nhớ mình đã viết gì sao? Đây là thứ ngươi vừa mới viết xong mà."

Một "lão nhân gia" khác là Lưu Vân Tường cũng đi vào: "Ta tận mắt chứng kiến, là ngươi viết. Đứa nhỏ, rốt cuộc ngươi đang viết cái gì vậy?"

Vương Kỳ như bị rút cạn sức lực, ngã ngồi xuống đất, nói: "Điều này không thực tế..."

Toàn bộ người ở trú điểm Vạn Pháp Môn đều bị đánh thức. Mọi người đều hiếu kỳ vây quanh. Thấy dáng vẻ thất thần của Vương Kỳ, Lê Nguyệt vốn đã chịu thiệt trước đó cảm thấy rất khó chịu: "Giả thần giả quỷ."

Vương Kỳ đột nhiên giật mình: "Xin lỗi mọi người, có thể ra ngoài một chút được không? Ta cần một mình tĩnh tâm lại."

Lưu Vân Tường muốn xem thử luận văn của Vương Kỳ, nhưng Vương Kỳ ấn tờ giấy xuống: "Xin lỗi... cái này bây giờ chưa thể cho người khác xem... Lưu sư thúc, xin người ra ngoài một chút, ta thực sự cần một mình tĩnh tâm lại."

Lời này của Vương Kỳ khiến vài đệ tử Vạn Pháp Môn biến sắc, Lê Nguyệt càng giận dữ: "Ngươi dám vô lễ với Lưu sư thúc?"

Lưu Vân Tường ngăn lại sự khiển trách của các đệ tử Vạn Pháp Môn, nói: "Chúng ta vẫn là ra ngoài chờ một chút đi."

Thần Phong cùng đám đệ tử Vạn Pháp Môn đi ra ngoài. Đối với dị trạ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 truyền thuyết thiên tài viết luận văn có thể thăng cấp vù vù là thật."

Những lời cảm thán xung quanh mang theo chút ngưỡng mộ.

"Đúng đúng, hóa ra Vương sư huynh lại là..."

"Chắc chắn hắn không còn là đệ tử ngoại môn nữa rồi..."

Nghe những lời bàn tán xung quanh, Lê Nguyệt vốn đã có hảo cảm giảm xuống mức âm với Vương Kỳ hừ lạnh: "Việc viết luận văn tăng tu vi đúng là có, nhưng cũng không đơn giản như vậy. Tu vi sở dĩ tăng lên là vì quá trình suy nghĩ đã thúc đẩy hồn phách, chỉ cần ngươi thực sự suy nghĩ, dù thứ ngươi nghĩ là sai thì vẫn có thể tăng tu vi."

Có người hiếu kỳ 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ẽ lệch khỏi chính pháp, nếu kiên trì với cái sai thì thậm chí sẽ tích tụ thành bệnh khó chữa. Trường hợp bình thường cũng đừng nên dễ dàng thử nghiệm."

Có đệ tử quan hệ thân thiết 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 sẽ không sai chứ?"

Lưu Vân Tường mơ màng lắc đầu: "Cái này... ta không biết nữa?"

Kết luận này cực kỳ chính xác, về điểm này Vương Kỳ vô cùng tự tin.

Bởi vì, kết luận này không phải do chính hắn tự rút ra, mà là kết luận của một nhà toán học ở Trái Đất.

Định lý đầy đủ Gödel (Gödel's completeness theorem).

So với định lý không đầy đủ Gödel, định lý này không quá nổi tiếng. Nó bắt nguồn từ luận án tiến sĩ của Kurt Gödel. Nó chứng minh rằng trong hệ thống hình thức, toán tử bậc nhất là đầy đủ, tất cả các công thức có hiệu lực về mặt logic trong diễn toán logic bậc nhất đều có thể chứng minh được.

Thế nhưng, 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á yếu, nếu chỉ ứng dụng nó thì thậm chí không thể định nghĩa được số tự nhiên, chứ đừng nói đến số học.

Đối với Chương trình Hilbert, định lý đầy đủ Gödel là một bước đột phá lớn, nhưng còn lâu mới có tác dụng "chốt hạ" như định lý không đầy đủ. Hơn nữa, định lý đầy đủ cũng chỉ là đi theo tư duy của Hilbert, dựa trên nền tảng của Von Neumann mà tiến thêm một bước, chứ không phải là bước nhảy vọt thiên tài như định lý không đầy đủ.

Thế nhưng...

"Đây đúng là tốc độ không khoa học chút nào." Vương Kỳ lầm bầm tự nói.

Đối với một nhà toán học cấp thần 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 viết nổi luận văn như vậy.

Hay nói cách khác, các nhà toán học thông thường chưa chắc đã đọc hiểu.

"Mặc dù ta biết đại khái tư duy, cũng biết trước kết luận, nhưng mà... ta lại mất có một ngày để suy ra?"

Vương Kỳ ngẩn người.

Biết đại khái tư duy và kết luận không có nghĩa là hoàn toàn không có khó khăn. Điều này tương đương với việc mọi người đến một bản đồ mới để tìm kho báu, người bình thường không biết có kho báu hay không, còn Vương Kỳ ngay từ đầu đã biết là có, lại còn nhìn thấy một tấm biển chỉ đường.

Thế nhưng con đường cụ thể vẫn cần hắn tự mình tìm lấy.

Ban đầu hắn thậm chí không nghĩ tới việc dốc sức suy ra định lý đầy đủ Gödel, mà chỉ định đi theo tư duy của Von Neumann, tìm một hệ thống con đặc biệt của số học để luận chứng là được rồi.

"Trình độ của mình cao tới mức này sao?"

[DeepSeek phụ dịch] ChuongId:48
Nguồn: Việt Nam Thư Quán
Được bạn: Mọt Sách đưa lên
vào ngày: 23 tháng 7 năm 2026

« Lùi Tiến »