Đi Vào Tu Tiên

Trình độ lý luận vượt xa cảnh giới pháp lực, hắn cũng gặp không ít. Thế nhưng có thể đến mức độ này, hắn thật sự là lần đầu tiên thấy.

Loại vấn đề này, tu sĩ bình thường làm ra được một vấn đề cũng là may mắn. Phát hiện cấp bậc như Bất Toàn, một đời tu sĩ có thể gặp được mấy lần?

Trong rất nhiều Tiêu Dao, mười người thì có đến chín người phản ứng đầu tiên là không tin. Thế nhưng, Phùng Lạc Y lại tin. (đọc tại Qidian-VP.com)

"Hi Môn Nhị Thập Tam Vấn, câu hỏi thứ mười." Vương Kỳ nhắc lại: "Ta đã giải quyết câu hỏi thứ mười. Về vấn đề tính quyết định."

Trong nháy mắt, có vài Tiêu Dao tu sĩ của Ca Đình phái thậm chí còn sinh ra ý định rút lui.

Bao gồm cả Phùng Lạc Y, tất cả Toán gia đều chìm vào suy tư sâu sắc. Có người thậm chí bắt đầu toát mồ hôi lạnh, càng nghĩ càng không ổn.

Bọn họ cảm thấy, loại cảnh giới đó, dù không phải Đạo, cũng là cảnh giới chí cao cách Đại Đạo một bước. (đọc tại Qidian-VP.com)

Vương Kỳ mấy năm trước đã dùng biện pháp khéo léo, lấy được đáp án của vấn đề thứ hai, định lý Bất Toàn lại triệt để phủ định phương pháp truyền thống - điều này tương đương với việc Vương Kỳ đã hoàn toàn giải quyết được vấn đề thứ hai. Chỉ bằng điều này, Vương Kỳ từ giờ không cần nghiên cứu Toán học nữa, vài năm sau cũng có tư cách dùng Toán học vấn đỉnh cảnh giới Tiêu Dao Du.

Trong ánh mắt của Toán Quân Bàng Gia Lai, vẻ không cho là đúng đã nhạt đi rất nhiều. Hắn khá coi thường Toán Chủ, nhưng có vài vấn đề trong Nhị Thập Tam Vấn lại rất hợp ý hắn.

—Điều này thật sự... rất thú vị!

Một bộ phận Tiêu Dao tu sĩ tỏ vẻ không cho là đúng. Hi Môn Nhị Thập Tam Vấn chính là một cột mốc trong lĩnh vực Toán học - hay nói cách khác là hai mươi ba cột mốc. Giải quyết được một trong số đó liền biểu thị có tư cách thành đạo Tiêu Dao.

Câu hỏi cuối cùng trong câu chuyện của Vương Kỳ, có nghĩa là không thể tìm thấy một bộ quy tắc máy móc hoàn mỹ để từng bước giải quyết tất cả vấn đề trên thế giới này.

—Loại cảnh giới như vậy trên lý luận là không thể tồn tại, từ bỏ đi!

Lúc này, ngay cả Đồ Linh chân nhân vốn chỉ là người đứng xem, biểu cảm trên mặt cũng có chút cứng đờ.

Vương Kỳ tiếp tục kể câu chuyện của mình: "Thế nhưng, chúng ta - có lẽ là một số tên thần kinh nào đó của Dương Thần Các tu luyện đến hồ đồ, biên soạn ý chí hậu thiên quá giống con người. Điều này dẫn đến việc một số con rối được trang bị ý chí hậu thiên phản nghịch. Chúng yêu cầu quyền lợi của nhân tộc, yêu cầu mình được đối xử như nhân tộc."

Mà Vương Kỳ, liên tiếp giải ra vấn đề thứ hai, thứ mười, hắn lại là trình độ gì?

Nói cách khác, Khôi Lỗi Thẩm Quan không thể phân biệt chính mình.

—Một mệnh đề, có lẽ không có cách nào biết được nó "có thể bị quyết định hay không"?

Mã Đức Ân nhất thời không phản ứng kịp: "Cái gì?"

Chỉ cần nghĩ đến ý nghĩa của "không thể quyết định" liền tâm thần dao động, gần như tẩu hỏa nhập ma. Nếu nghe hết luận văn của Vương Kỳ, chẳng phải sẽ thân tử đạo tiêu?

Định lý Bất Toàn của Gödel (哥德尔不完备性定理): Hai định lý của nhà toán học Kurt Gödel, chứng minh rằng bất kỳ hệ thống hình thức nào đủ phức tạp để mô tả số học cơ bản đều không thể vừa nhất quán vừa đầy đủ. Nói cách khác, luôn có những mệnh đề đúng mà không thể chứng minh được trong hệ thống đó.

Mà một số tu sĩ khác - ví dụ như Phùng Lạc Y, biểu cảm lại tương đối kinh hãi.

Thẩm Quan Ất rốt cuộc có thể phân biệt ra Thẩm Quan Giáp hay không?

Mệnh đề "tất cả mệnh đề đều có thể quyết định" rốt cuộc có thể quyết định hay không?

Định lý Tính Không Thể Quyết Định của Turing: Một định lý trong khoa học máy tính lý thuyết, chứng minh rằng không có thuật toán chung nào có thể giải quyết vấn đề dừng, tức là không thể xác định được một chương trình máy tính tùy ý sẽ dừng lại hay chạy mãi mãi.

"Giả thiết, Tiên Minh của chúng ta đã nắm giữ được năng lực biên soạn ý chí hậu thiên hoàn mỹ - ta nghĩ, ngày này sớm muộn gì cũng sẽ đến. Khi đó, càng ngày càng nhiều nhiệm vụ sẽ giao cho những con rối được trang bị ý chí hậu thiên. Công việc nặng nhọc, lặp đi lặp lại, rồi còn có một số việc vặt hàng ngày. Như vậy, nhân tộc chúng ta có thể rảnh tay, làm nhiều việc hơn."

Vương Kỳ tỏ vẻ bất đắc dĩ: "Ta nghĩ, có thể tiếp nhận định lý Bất Toàn, lại tiếp nhận một cái tương tự, hẳn là cũng không khó đâu nhỉ?"

Hắn bất quá chỉ là sau khi Nhị Thập Tam Vấn được đưa ra, mất một hai năm liền giải ra được vấn đề thứ ba. Cho dù là như vậy, hắn cũng đủ để được xưng là một đời thiên kiêu.

Thiết lập của Vương Kỳ đã nói rõ - "tuyệt đối có thể phán đoán ra một cá thể là người hay là cơ quan nhân" "logic hoàn mỹ không có sơ hở".

Tất cả Tiêu Dao có mặt đều thất thần.

"Nhưng chuyện này, chúng ta chắc chắn không thể đồng ý đúng không? Vì vậy, Tiên Minh liền đại chiến với đám cơ quan nhân mất kiểm soát đó. Cuối cùng vẫn là chúng ta cao hơn một bậc, rất nhanh liền dẹp yên phản loạn. Nhưng lúc này, chúng ta đột nhiên phát hiện, trong đám cơ quan nhân đó, đã có cá thể hóa thành hình người, trà trộn vào nhân tộc. Chúng có thể dựa vào Toán Khí mô phỏng ra hồn phách, huyết nhục ở cấp độ phân tử không khác gì thân thể người thật. Lũ khốn nạn của Dương Thần Các làm việc quá tốt, chúng thậm chí nói chuyện cũng rất giống người - chỉ có số ít nói năng có sơ hở."

Sau một thoáng thất thần, Phùng Lạc Y nhìn Vương Kỳ một cái, mặt không chút thay đổi hỏi: "Tính chất lật đổ mạnh không?"

Ngay lúc này, Vương Kỳ lại lên tiếng: "Sau khi nghe xong câu chuyện này, chư vị tiền bối hẳn cũng đã biết nội dung luận văn của ta. Về điểm này, ta lại thấy, rất khó nói đây là chuyện may mắn hay là bất hạnh." (đọc tại Qidian-VP.com)

Ai có thể giải quyết được hai vấn đề này, người đó có tư cách được gọi là Tông sư của chư ban Toán Đạo!

Định lý Bất Toàn của Gödel chính là chứng minh cho vấn đề thứ hai trong Nhị Thập Tam Vấn.

Phân tử (分子): Đơn vị nhỏ nhất của một chất hóa học mà vẫn giữ được các tính chất hóa học của chất đó.

Chẳng lẽ, thiếu niên này lại muốn phủ định điều gì quan trọng sao? (đọc tại Qidian-VP.com)

"Hi Môn Nhị Thập Tam Vấn, câu hỏi thứ mười."

Vấn đề tính quyết định (判定性问题): Trong khoa học máy tính và logic toán học, vấn đề tính quyết định là câu hỏi liệu tồn tại một chương trình máy tính có thể luôn luôn trả lời "có" hoặc "không" cho một câu hỏi cụ thể trong một khoảng thời gian hữu hạn hay không. Định lý Tính Không Thể Quyết Định của Turing chứng minh rằng một số vấn đề là không thể quyết định được.

—Đương nhiên, vấn đề thứ hai và thứ mười không thuộc loại hợp ý hắn. Nhưng ít nhất hắn cũng biết độ khó của hai vấn đề này.

"Tứ Diện" Mã Đức Ân trong số những người của Ca Đình phái, coi như là người có thái độ ôn hòa nhất. Hắn thành đạo là nhờ giải quyết được vấn đề thứ ba trong Nhị Thập Tam Vấn. Cũng chính vì lý do này, hắn đối với Vương Kỳ, người đã giải quyết được vấn đề thứ hai, có chút hảo cảm. Mã Đức Ân thấy bầu không khí có chút căng thẳng, liền muốn hòa hoãn, lên tiếng hỏi Vương Kỳ: "Luận văn của ngươi là về cái gì?"

Phùng Lạc Y ho khan hai tiếng: "Vương Kỳ, ngươi trước tiên dùng phương thức... phương thức ôn hòa nhất để thuật lại. Tốt nhất là dùng phương thức ví von, để mọi người có chuẩn bị tâm lý - chư vị, cũng xin hãy chú ý. Nếu phán đoán bản thân nhất thời không thể tiếp nhận, vậy thì lập tức thoát ly khỏi hoàn cảnh, sau đó đến Dương Thần Các."

Toán Khí (算器): Trong ngữ cảnh này, ám chỉ đến máy tính.

"Cho nên, lúc này, Vạn Pháp Môn của chúng ta xuất động. Chúng ta thiết kế một kho đề, bên trong bao gồm mười nghìn - hoặc là nhiều câu hỏi hơn. Chỉ cần hỏi ra một trăm câu trong số đó, liền có thể thông qua thuật toán đặc thù, phán đoán ra một sinh linh giống người rốt cuộc là nhân tộc hay là cơ quan nhân."

Hi Môn Nhị Thập Tam Vấn (希门二十三问): Ám chỉ đến 23 bài toán của Hilbert (Hilberts problems) một danh sách các bài toán chưa được giải quyết trong toán học do David Hilbert biên soạn và trình bày vào năm 1900.

Thế nhưng, hiện tại Vương Kỳ lại phủ định sự theo đuổi này.

"Nhưng lúc này, xảy ra một chuyện ngoài ý muốn. Có một Khôi Lỗi Thẩm Quan, gọi hắn là Thẩm Quan Giáp. Giáp này cũng phản nghịch. Rất nhanh, hắn liền hóa thân thành cơ quan nhân, ẩn nấp trong nhân tộc. Không lâu sau, liền có Chấp Luật Sứ bắt được người nghi là Thẩm Quan Giáp. Lúc này, Hình Luật Ty tìm đến Khôi Lỗi Thẩm Quan Ất."

Trên mặt Vương Kỳ hiện lên nụ cười mang theo tính công kích. Hắn trước tiên cúi đầu, trầm tư một lát, rồi mới nói: "Vậy thì, trước khi nói về lý luận của ta, ta sẽ kể một... thứ không tính là câu chuyện." (đọc tại Qidian-VP.com)

Vương Kỳ nhìn đông đảo Tiêu Dao tu sĩ đang ngồi ngay ngắn xung quanh, chỉ cảm thấy có chút hư ảo.

—Tương tự... Luận văn trước của hắn phủ định tính Toàn vẹn, lần này lại muốn phủ định tính Quyết định?

Sau khi Vương Kỳ nói xong, Toán Quân khó có được cười nói: "Câu chuyện này có chút ý tứ. Vương Kỳ, trình độ kể chuyện của ngươi thật sự không tệ."

Giống như định lý Bất Toàn của Gödel, định lý Tính Không Thể Quyết Định cũng liên quan đến phán đoán "tự chỉ".

Nếu ngay cả giới thiệu cũng không có dũng khí nghe hết, vậy bọn họ cũng không cần tiếp tục nghiên cứu Toán học nữa.

"Vậy thì vấn đề đến rồi, Thẩm Quan Ất rốt cuộc có thể phán đoán ra người đó có phải là Thẩm Quan Giáp phản nghịch hay không?"

Nhị Thập Tam Vấn, mỗi một vấn đề đều là một con đường Tiêu Dao.

Sau khi Phùng Lạc Y nói xong, vài Tiêu Dao tu sĩ cúi đầu suy nghĩ một lát, cuối cùng cắn răng, quyết định vẫn ở lại nghe hết - ít nhất cũng phải nghe hết giới thiệu của Vương Kỳ.

Nàng cảm nhận được, đó là sự sụp đổ của tín niệm.

Mà trong hai mươi ba vấn đề, vấn đề thứ hai và thứ mười lại càng đặc thù hơn. Bởi vì hai vấn đề này liên quan đến căn cơ của Toán học.

Ý chí hậu thiên (后天意志): Trong ngữ cảnh này, ám chỉ đến trí tuệ nhân tạo (AI).

Nhược Triệt Tiên Tử cay mũi, chỉ cảm thấy trong lòng có thứ gì đó sụp đổ.

Mà sau khi trải qua sự chấn động ban đầu, những Toán gia của Ca Đình phái lại có chút mê man.

Những Toán học đại gia xung quanh kỳ thực rất thích điều này. Có thể thấy, bọn họ rất thích câu chuyện của Vương Kỳ - đặc biệt là khi bọn họ thật lòng cho rằng câu chuyện này có thể thành hiện thực.

Vương Kỳ chưa bao giờ qua loa trong phương diện này.

Chương 174: Câu Hỏi Thứ Mười, Cơ Quan Nhân Có Mơ Thấy Toán Khí Dương Không?

—Vậy giá trị tồn tại của những Toán gia chúng ta là gì?

Chú thích các thuật ngữ khoa học:

"Cái gì... câu hỏi thứ mười cũng giải ra rồi?" Mã Đức Ân nhất thời có chút thất thần.

Nghe nói Vương Kỳ lại có luận văn mới, sắc mặt các Tiêu Dao tu sĩ ở đây đều khác nhau.

"Nhưng lúc đó, sự xâm nhập của cơ quan nhân đã quá sâu, g·iả m·ạo giả quá nhiều, Hình Luật Ty không có ai có thể dùng. Vì vậy, Tiên Minh liền đưa ra một sáng kiến ngu ngốc - chúng ta sẽ chế tạo Khôi Lỗi Thẩm Quan, chuyên dùng để thẩm vấn những cá thể khả nghi! Chú ý, thuật toán đó tuyệt đối có thể phán đoán ra một cá thể là người hay là cơ quan nhân, logic hoàn mỹ không có sơ hở. Thế là, vô số Khôi Lỗi Thẩm Quan xuất hiện. Chúng sử dụng thuật toán mà Vạn Pháp Môn chúng ta cung cấp, quả nhiên vô vật bất lợi, tìm ra không ít cơ quan nhân."

Tự chỉ (自指): Một khái niệm trong logic và toán học, đề cập đến một mệnh đề, ý tưởng hoặc công thức đề cập đến chính nó. Định lý Bất Toàn của Gödel và vấn đề dừng của Turing đều sử dụng các cấu trúc tự chỉ.

Ngoài ra, không còn ai lên tiếng nữa.

Nói không khách khí, trên đời không có đế chế nghìn năm, không có dân tộc vạn năm. Nhưng mà, hệ thống có tên là "khoa học" sẽ đi cùng nhân loại cho đến vĩnh hằng. Vương giả và quốc gia của hắn bất quá chỉ là một đóa sóng nhỏ trong lịch sử, nhưng mà, nhân loại tồn tại bao lâu, định luật ba Newton sẽ được sử dụng bấy lâu.

Tại sao, hai vấn đề quan trọng nhất trong Nhị Thập Tam Vấn của lão sư, lại do một thiếu niên phá hủy tâm huyết cả đời của lão sư hoàn thành chứng minh?

Toán là pháp mô phỏng Đạo. Cho nên, có không ít Toán gia đều muốn tìm ra một chuẩn tắc chí cao vô thượng, có thể giải thích tất cả mọi việc trên đời.

Thế nhưng, nếu Thẩm Quan Ất nhìn thấu ý đồ của Thẩm Quan Giáp, muốn sửa đổi chiến lược đặt câu hỏi để khiến Giáp trở tay không kịp, thì ngược lại, Giáp cũng có thể dự đoán trước câu hỏi của Ất để chuẩn bị. Bởi vì bộ logic đó trên thiết lập là "không có sơ hở".

Mà mình lại phải ở trước mặt nhóm người này, dạy dỗ bọn họ?

Mỗi người ở đây đều là những vĩ nhân vĩnh viễn ảnh hưởng đến nền văn minh nhân tộc.

Khôi Lỗi Thẩm Quan có thể dựa vào bộ logic đó để phân biệt bất kỳ cỗ máy nào, cho nên nó không thể phân biệt được một Thẩm Quan khác cũng có bộ logic đó.