Chung cực khiêu chiến sân thi đấu không phải giả thuyết hoàn cảnh, mà là chân thật tồn tại —— máy móc giáo đình nhất thần thánh “Chân lý điện phủ”. Đó là một cái ở vào la các tư địa tâm chỗ sâu trong thật lớn cầu hình không gian, đường kính vượt qua một km, bên trong không có trọng lực, vách tường từ thuần thanh vân tinh cấu thành, mặt ngoài khắc đầy người mở đường bao nhiêu ngôn ngữ. Nơi này không chỉ là sân thi đấu, cũng là giáo đình bảo tồn trân quý nhất tri thức địa phương.
Mười tên thăng cấp giả phiêu phù ở không gian trung ương, mỗi người trước mặt huyền phù một cái độc lập thực tế ảo giao diện. Người xem —— bao gồm các thế lực đại biểu, giáo đình cao tầng, cùng với thông qua thực tế ảo tiếp sóng quan khán hàng tỉ dân chúng —— bên ngoài bộ vòng tròn quan sát khu. Lý sách cùng đoàn đội ở thẩm phán đình chuyên chúc ghế lô, xuyên thấu qua trong suốt vách tường có thể nhìn đến toàn bộ điện phủ.
“Thi đấu quy tắc.” Một cái trung tính thanh âm ở điện phủ trung tiếng vọng, đến từ giáo đình “Trí giả” AI, một cái nghe nói căn cứ vào người mở đường kỹ thuật sáng tạo siêu cấp trí năng, “Các ngươi đem đối mặt ‘ cổ đại toán học câu đố thứ 7 cuốn ’ duy nhất đề mục. Không có thời gian hạn chế, nhưng chỉ có cái thứ nhất cấp ra hoàn toàn chính xác giải đáp người dự thi thắng lợi. Cho phép sử dụng bất luận cái gì tính toán công cụ cùng tư duy phụ trợ, nhưng cấm phần ngoài thật thời hiệp trợ. Hiện tại, đề mục tuyên bố.”
Thực tế ảo giao diện thượng, văn tự hiện lên:
【 thỉnh chứng minh hoặc chứng ngụy dưới mệnh đề:
“Tồn tại một loại nhận tri kết cấu, có thể hoàn toàn lý giải bao hàm tự thân ở bên trong sở hữu nhận tri kết cấu.”
Cung cấp: Thông dụng chứng minh dàn giáo, cụ thể ví dụ thực tế, cùng với nên nhận tri kết cấu ở hiện thực vũ trụ trung khả năng biểu hiện.
Chú ý: Chủ đề đề cập tự chỉ, vô hạn, hoàn bị tính, cùng với nhận tri cùng hiện thực quan hệ. 】
Điện phủ nội lâm vào tĩnh mịch.
Này căn bản không phải truyền thống toán học hoặc vật lý vấn đề, mà là triết học, logic học, nhận tri khoa học cùng toán học giao điểm. Nó hỏi chính là: Hay không tồn tại một loại “Toàn biết” nhận tri hình thức? Nếu có thể chứng minh tồn tại, kia ý nghĩa cái gì? Nếu chứng ngụy, lại ý nghĩa cái gì?
Lena cảm thấy một trận choáng váng. Xuyên thấu qua nhận tri lọc mắt kính, nàng có thể nhìn đến vấn đề nhiều coi trọng giác: Logic, bao nhiêu, thậm chí nào đó…… Tình cảm. Vấn đề này chạm đến tồn tại bản thân trung tâm.
Nàng nhìn về phía mặt khác người dự thi. Silas mặt vô biểu tình, đôi mắt nhanh chóng lập loè —— hiển nhiên hắn hợp thành đại não ở tốc độ cao nhất giải toán. Những nhân loại khác người dự thi hoặc nhíu mày trầm tư, hoặc lắc đầu thở dài, hoặc bắt đầu nếm thử xây dựng dàn giáo.
Thời gian từng giây từng phút trôi qua.
Đệ một giờ, không có người đệ trình bất luận cái gì nội dung. Vấn đề quá to lớn, quá căn bản, không thể nào xuống tay.
Cái thứ hai giờ, một người nhân loại người dự thi đệ trình nếm thử: Dùng Gödel định lý bất toàn chứng minh “Không tồn tại hoàn toàn lý giải tự thân nhận tri kết cấu”. Đáp án bị trí giả AI đánh dấu vì “Không hoàn chỉnh”, bởi vì vấn đề yêu cầu suy xét “Sở hữu nhận tri kết cấu”, mà không chỉ là hình thức hệ thống.
Cái thứ ba giờ, Silas có động tác. Hắn ngón tay ở thực tế ảo giao diện thượng vũ động, xây dựng ra một cái cực kỳ phức tạp nhiều tầng cấp logic mô hình. Mô hình biểu hiện, thông qua vô hạn thay đổi tự mình tăng lên, một cái nhận tri kết cấu có thể tiến dần mà lý giải tự thân, nhưng vĩnh viễn vô pháp “Hoàn toàn” lý giải, bởi vì lý giải quá trình sẽ thay đổi kết cấu bản thân, sinh ra tân không hiểu bộ phận.
Hắn đáp án logic nghiêm mật, cơ hồ không chê vào đâu được. Nhưng trí giả AI đánh giá là: “Chứng minh ‘ tiến dần lý giải khả năng, hoàn toàn lý giải không có khả năng ’. Nhưng vấn đề yêu cầu chứng minh hoặc chứng ngụy ‘ hoàn toàn lý giải ’ khả năng tính. Đáp án không hoàn chỉnh.”
Silas tựa hồ đoán trước đến kết quả này, tiếp tục sửa chữa.
Lena hít sâu một hơi. Nàng biết, truyền thống logic cùng toán học phương pháp khả năng không đủ để giải quyết vấn đề này. Bởi vì vấn đề bản thân khả năng siêu việt này đó công cụ phạm vi.
Nàng nhớ tới phụ thân nghiên cứu bút ký trung một câu: “Có chút vấn đề vô pháp từ phần ngoài giải quyết, bởi vì chúng nó bản thân chính là người quan sát một bộ phận.”
Còn có người mở đường thuyền trưởng di ngôn: “Chúng ta hướng hắc ám bán ra một bước, không phải vì chinh phục, mà là vì lý giải.”
Có lẽ…… Đáp án không phải chứng minh hoặc chứng ngụy, mà là một lần nữa định nghĩa vấn đề?
Nàng bắt đầu xây dựng chính mình giải đáp dàn giáo:
Đệ nhất bộ phận: Một lần nữa định nghĩa “Lý giải”.
Truyền thống thượng, “Lý giải” ý nghĩa đem cái gì đó chiếu rọi đến đã có nhận tri dàn giáo trung. Nhưng nếu nhận tri dàn giáo bao hàm tự thân, loại này chiếu rọi khả năng dẫn tới nghịch biện ( như Russell nghịch biện ). Bởi vậy, yêu cầu một loại tân “Lý giải” khái niệm: Không phải chiếu rọi, mà là cộng minh. Đương hai cái nhận tri kết cấu sinh ra cộng minh khi, chúng nó cùng chung trạng thái, không cần muốn một phương “Miêu tả” một bên khác.
Đệ nhị bộ phận: Chứng minh cộng minh khả năng tính.
Dùng lượng tử dây dưa làm ẩn dụ: Hai cái dây dưa hạt cùng chung trạng thái, nhưng bất luận cái gì một phương đều không “Biết” một bên khác hoàn chỉnh tin tức, bởi vì chúng nó là một cái chỉnh thể. Đồng dạng, nếu nhận tri kết cấu có thể cùng với tự thân ( cùng với sở hữu mặt khác kết cấu ) sinh ra nào đó “Nhận tri dây dưa”, như vậy hoàn toàn lý giải ở cộng minh ý nghĩa thượng khả năng.
Đệ tam bộ phận: Cấu tạo ví dụ thực tế.
Đưa ra một cái căn cứ vào phân hình tự tương tự cùng đệ quy nhận tri mô hình: Mỗi cái nhận tri đơn nguyên bao hàm toàn bộ kết cấu “Thực tế ảo đồ”, nhưng độ phân giải hữu hạn. Thông qua vô hạn trình tự đệ quy tế hóa, có thể tiến dần đạt tới tùy ý độ chặt chẽ tự mình nhận tri, nhưng vĩnh viễn vô pháp đạt tới “Tuyệt đối hoàn chỉnh” —— bởi vì hoàn chỉnh sẽ phá hư đệ quy sở cần mở ra tính.
Thứ 4 bộ phận: Hiện thực biểu hiện.
Loại này nhận tri kết cấu ở trong hiện thực khả năng biểu hiện: Người mở đường văn minh bản thân khả năng tiếp cận loại này kết cấu, cho nên bọn họ lưu lại chính là “Hạt giống” cùng “Hiệp nghị”, mà không phải hoàn chỉnh tri thức căn bản. Bởi vì hoàn chỉnh tri thức sẽ hạn chế kẻ tới sau nhận tri phát triển. Chân chính hoàn toàn lý giải không phải có được sở hữu đáp án, mà là có được đưa ra chính xác vấn đề năng lực.
Lena đưa vào dàn giáo đại cương. Trí giả AI không có lập tức đánh giá, mà là trầm mặc suốt ba phút —— này ở AI chừng mực thượng là vĩnh hằng.
Sau đó, đánh giá xuất hiện:
“Dàn giáo sáng tạo, khái niệm đột phá. Nhưng yêu cầu cụ thể hoá cộng minh cơ chế cùng phân hình mô hình toán học miêu tả.”
Đây là tích cực tín hiệu. Lena bắt đầu thâm nhập chi tiết.
Nhưng nàng không có chú ý tới, Silas đã hoàn thành hắn đệ nhị bản đáp án. Lúc này đây, hắn chọn dùng bất đồng sách lược: Nếu “Hoàn toàn lý giải” ở logic thượng không có khả năng, hắn ngược lại chứng minh “Hoàn toàn lý giải” khái niệm bản thân là bệnh trạng, bởi vì nó yêu cầu nhận tri kết cấu đồng thời là chủ thể cùng khách thể, này trái với cơ bản nhân quả luật.
Hắn luận chứng cực kỳ nghiêm cẩn, cơ hồ phong kín sở hữu phản bác đường nhỏ.
Trí giả AI đánh giá: “Luận chứng hữu hiệu, chứng minh rồi ở tiêu chuẩn logic cùng nhân quả dàn giáo hạ, ‘ hoàn toàn lý giải ’ khái niệm không có khả năng. Phù hợp chứng ngụy yêu cầu.”
Thính phòng thượng vang lên nói nhỏ. Silas tựa hồ muốn thắng.
Nhưng Lena tiếp tục nàng công tác. Nàng ý thức được, Silas luận chứng căn cứ vào “Tiêu chuẩn logic cùng nhân quả dàn giáo”, nhưng vấn đề bản thân khả năng yêu cầu siêu việt này đó dàn giáo. Người mở đường lưu lại câu đố, khả năng đúng là vì thí nghiệm người dự thi có không nhảy ra đã định tư duy hình thức.
Nàng điều chỉnh phương hướng, không hề nếm thử “Chứng minh khả năng tính”, mà là tham thảo “Khả năng tính điều kiện”: Ở tình huống như thế nào hạ, “Hoàn toàn lý giải” khái niệm có thể từ bệnh trạng biến thành có ý nghĩa?
Nàng dẫn vào “Thời gian” duy độ: Nếu nhận tri cùng lý giải không phải trạng thái tĩnh, mà là động thái quá trình, như vậy “Hoàn toàn lý giải” có thể là một cái vĩnh viễn xu gần nhưng vĩnh viễn không đạt được lý tưởng cực hạn —— tựa như số Pi số nhỏ vị có thể vô hạn tính toán, nhưng vĩnh viễn vô pháp viết xong.
Nàng còn dẫn vào “Nhiều tái hiện thật” khái niệm: Nếu tồn tại nhiều song song nhận tri kết cấu, chúng nó khả năng thông qua nào đó siêu kết cấu thực hiện lẫn nhau lý giải, mà mỗi cái tử kết cấu vô pháp đơn độc hoàn thành.
Này đó ý tưởng càng ngày càng trừu tượng, nhưng cũng càng ngày càng tiếp cận vấn đề bản chất.
Đúng lúc này, Lena nhận tri lọc mắt kính đột nhiên lập loè. Một đạo dị thường tín hiệu ý đồ thẩm thấu —— là càng ẩn nấp thần kinh quấy nhiễu! Thẩm phán đình phòng hộ bị đột phá!