Kéo trầm trọng mà cứng đờ hai chân, lâm cửu xuyên mệt mỏi về tới hắn văn phòng.
Cái kia 37 tấc Anh tam tinh màn hình còn sáng lên, nhưng đã không có “Linh” số liệu tim đập.
Hắn xoa nhẹ hạ đã mỏi mệt bất kham đôi mắt, ngạc nhiên phát hiện: Rạng sáng 1 giờ 37 phân, cũng chính là “Linh” hệ thống khẩn cấp nguồn điện đóng cửa trong nháy mắt, xuất hiện một cái kịch liệt có thể háo đường cong dao động, một cái không nên tồn tại lộ rõ đỉnh nhọn.
Cái kia đỉnh nhọn công suất số ghi tương đương với thành thị này chỉnh thể hàng rào điện nháy mắt đường ngắn có khả năng kích phát ra tới có thể háo. Nhưng trong nháy mắt sau, số ghi lại khôi phục bình thường, phảng phất cái gì cũng không phát sinh quá.
Trong tình huống bình thường, lâm cửu xuyên khẳng định liền đem cái này đỉnh nhọn giải đọc vì lượng tử trướng lạc lầm báo. Nhưng là lần này không giống nhau. Đã xảy ra cái gì? Lại sẽ có cái gì tương ứng hậu quả?
Hắn xác thật yêu cầu một lần nữa phục bàn một chút.
Lâm cửu xuyên nhớ tới ở thảo luận đóng cửa “Linh” hệ thống ba ngày trước, vì chứng minh hệ thống an toàn tính, hắn vận hành một cái tự kiểm trình tự, lấy này tới chứng minh “Linh” nhất trí tính. Kết quả ở khởi động một cái nguyên trinh thám mô khối lúc sau, hệ thống ở ngắn ngủn 0.7 giây nội liền lâm vào một cái vô hạn tuần hoàn.
Lâm cửu ngựa Tứ Xuyên thượng đối ngay lúc đó văn kiện tiến hành phục bàn: “Linh” tìm được rồi một cái mệnh đề, chúng ta xưng là mệnh đề G, cái này mệnh đề ngắt lời chính là —— “Mệnh đề G không thể chỉ ở ‘ linh ’ trung bị chứng minh.”
Nếu dựa theo trứ danh nước Đức toán học gia Hilbert (David Hilbert) đưa ra trước sau như một với bản thân mình tính (self-consistency) yêu cầu: Chỉ cần tuần hoàn toán học trinh thám quy tắc, liền không nên được ra lẫn nhau mâu thuẫn trần thuật, bởi vì một cái mệnh đề cùng nó phủ định hai người không ứng đều là định lý.
Đồng thời chúng ta cũng biết, nếu một hệ thống không nhất trí, tắc nhưng thuần từ chúng ta chi yêu thích mà chứng minh bất luận cái gì phán đoán suy luận là thật, hoặc là giả —— này tuyệt không phải đáng tin cậy tri thức có bảo đảm cơ sở.
Cái này tình huống liền vĩnh viễn mà thay đổi mọi người tự hỏi “Logic thượng nhưng chứng” cùng “Trên thực tế là thật” này giữa hai bên quan hệ phương thức.
Ở một cái cũng đủ cường đại hình thức hệ thống trung, tổng tồn tại một cái mệnh đề, nó đã không thể bị chứng minh, cũng không thể bị chứng ngụy. Hệ thống hoặc là không hoàn bị ( có thật mệnh đề chứng không ra ), hoặc là không nhất trí ( có thể chứng ra giả mệnh đề ).
Không có con đường thứ ba.
Nói cách khác chính là: Đối “Linh” hệ thống mà nói, nếu mệnh đề G có thể bị chứng minh, như vậy nó ngắt lời chính mình không thể bị chứng minh, mâu thuẫn. Nếu không thể bị chứng minh, như vậy nó chính là thật sự nhưng không thể chứng minh —— hệ thống không hoàn bị.
“Linh” không có cảm xúc, không có thất bại cảm. Nó chỉ là trung thực mà chấp hành mệnh lệnh, sau đó ở lâm vào tuần hoàn khi, dựa theo khẩn cấp hiệp nghị, đem vấn đề thăng cấp cho nó người sáng tạo.
Vì vấn đề này, lâm cửu xuyên hoa suốt một ngày tới lý giải “Linh” lâm vào chính là cái gì vấn đề.
Hiện tại xem ra, cái này nguyên trinh thám mô khối bản thân cũng là “Linh” một bộ phận, cho nên nó trên thực tế ở làm sự tình là: Dùng hệ thống một bộ phận đi nghiệm chứng hệ thống chỉnh thể chính xác tính. Liền như làm chính mình giơ lên chính mình giống nhau.
Hắn rốt cuộc có thể lý giải ngày đó ban đêm cái kia ác mộng: “Linh” tự chỉ kết cấu giống một cái cắn chính mình cái đuôi xà, vô luận hướng phương hướng nào diễn biến, đều sẽ gặp được một cái không thể phán định mệnh đề.
Hắn hôm nay rốt cuộc có kết luận: Gödel hắc động đã hình thành.
Này hết thảy nguyên nhân khả năng đều nguyên tự “Linh” trung tâm giá cấu, đó là một cái tự chỉ hình thức hệ thống.
Nó trinh thám quy tắc có thể sửa chữa tự thân trinh thám quy tắc, nó công lý tập có thể mở rộng tự thân công lý tập.
Dựa theo Gödel logic, như vậy hệ thống hoặc là không hoàn bị, hoặc là không nhất trí.
Mà nếu nó đồng thời theo đuổi hoàn bị cùng nhất trí, liền sẽ kích phát một cái không thể tính toán hắc động —— hệ thống sẽ ở tự chỉ vô hạn tuần hoàn trung than súc, tựa như ý đồ dùng một phen thước đo đo lường thước đo bản thân độ chặt chẽ.
Hắn nguyên tưởng rằng hắn có thể vòng qua Gödel.
Hắn cho rằng dùng xác suất đồ mô hình cùng mã nhĩ nhưng phu liên Monte Carlo phương pháp có thể tránh đi thuần túy logic hình thức bẫy rập.
Hắn cho rằng “Linh” mạng lưới thần kinh quyền trọng trung tùy cơ tính có thể bổ khuyết Gödel lưu lại cái khe.
Nhưng hắn sai rồi.
Lúc trước hắn cho rằng có thể là bởi vì có cái gì để sót, có lẽ thiết sai rồi một cái mới bắt đầu điều kiện.
Lúc ấy hắn suốt kiểm tra rồi 27 biến, “Linh” tự kiểm mô khối cũng kiểm tra rồi hơn bốn mươi biến, kết quả đều giống nhau.
“Kia có lẽ vấn đề không ở hệ thống bên trong.” Lâm cửu xuyên ý thức ở công thức bóng ma trung du di, “Có lẽ Gödel định lý bất toàn bản thân liền không phải chung điểm. Hắn đối ‘ linh ’ về nguyên toán học mở rộng mô khối còn có chút hàm hồ. Cái này mô khối ý đồ dùng phạm trù luận một lần nữa thuyết minh hình thức hệ thống, đem chứng minh coi như thái bắn, đem mệnh đề coi như đối tượng. Ở phạm trù luận dàn giáo hạ, tự chỉ không nhất định sẽ dẫn tới nghịch biện —— nó có thể bị lý giải vì nào đó hàm tử bất động điểm.”
Sau lại hắn phát hiện: “Phạm trù luận bất động điểm định lý cùng Gödel bất động điểm dẫn lý bản chất là một chuyện, chỉ là thay đổi một loại ngôn ngữ nói cùng câu nói.”
Nhưng hắn lập tức không thể đình chỉ tự hỏi, bởi vì một khi đình chỉ, hắn liền cần thiết đối mặt cái kia hắn không muốn đối mặt kết luận: “Linh” giá cấu ở toán học thượng tồn tại căn bản khuyết tật. Cái này khuyết tật không phải công trình vấn đề, không phải tính lực không đủ, không phải huấn luyện số liệu không đủ —— nó là toán học bản thân khuyết tật, là Gödel ở 90 năm trước liền đào tốt bẫy rập.
Hắn hoa mười năm hơn thời gian kiến tạo một tòa đi thông chân lí tuyệt đối nhịp cầu, sau đó phát hiện kiều cuối là huyền nhai.
Cuối cùng hắn nghĩ tới một loại khả năng tính.
Không phải “Linh” sinh ra dẫn lực sóng, mà là “Linh” toán học kết cấu —— cái kia từ ba trăm triệu 7200 vạn cái tiết điểm cùng 120 trăm triệu cái quyền trọng cấu thành mã nhĩ nhưng phu liên —— ở nào đó không biết vật lý mặt thượng cùng thời không bản thân đã xảy ra ngẫu hợp.