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?
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.
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.
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.
Đị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.
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?
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.
"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ì?"
"Hi Môn Nhị Thập Tam Vấn, câu hỏi thứ mười."
Mã Đức Ân nhất thời không phản ứng kịp: "Cái gì?"
"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."
"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.
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.
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.
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.
Nhị Thập Tam Vấn, mỗi một vấn đề đều là một con đường Tiêu Dao.
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ì?
Trong Hi Môn Nhị Thập Tam Vấn, quan trọng nhất chính là vấn đề thứ hai và thứ mười này. Trong mắt tu sĩ Ly Tông, hai vấn đề này liên quan đến căn cơ của Toán học, là căn cơ của chư ban Toán học!
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!
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.
Vương Kỳ chưa bao giờ qua loa trong phương diện này.
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.
Chẳng lẽ, thiếu niên này lại muốn phủ định điều gì quan trọng sao?
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?
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.
—Đươ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.
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?"
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ỉ?"
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 đờ.
—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?
—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"?
—Vậy giá trị tồn tại của những Toán gia chúng ta là gì?
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.
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?
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."
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ế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ươ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.
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.
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.
Mà mình lại phải ở trước mặt nhóm người này, dạy dỗ bọn họ?
—Điều này thật sự... rất thú vị!
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."
"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."
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ỳ 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."
"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ở."
"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."
"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."
"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."
"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?"
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ệ."
Ngoài ra, không còn ai lên tiếng nữa.
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.
Thẩm Quan Ất rốt cuộc có thể phân biệt ra Thẩm Quan Giáp hay không?
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ở".
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ở".
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 đó.
Nói cách khác, Khôi Lỗi Thẩm Quan không thể phân biệt chính mình.
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ỉ".
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?
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.
Tất cả Tiêu Dao có mặt đều thất thần.
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.
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.
Thế nhưng, hiện tại Vương Kỳ lại phủ định sự theo đuổ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!
Nhược Triệt Tiên Tử cay mũi, chỉ cảm thấy trong lòng có thứ gì đó sụp đổ.
Nàng cảm nhận được, đó là sự sụp đổ của tín niệm.
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."
Chú thích các thuật ngữ khoa học:
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.
Đị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 đó.
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.
Đị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.
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ỉ.
Ý chí hậu thiên (后天意志): Trong ngữ cảnh này, ám chỉ đến trí tuệ nhân tạo (AI).
Toán Khí (算器): Trong ngữ cảnh này, ám chỉ đến máy tính.
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 đó.
