Lâm cửu xuyên lại lần nữa đi hướng kia đài chịu tải hắn mười năm hơn tâm huyết cùng tuyệt vọng đầu cuối. Hắn ngón tay huyền ở trên bàn phím phương, huyền ngừng suốt ba giây. Ngoài cửa sổ không trung đang ở bị một loại không thuộc về mặt trời mọc quang cắn nuốt, nhưng hắn không hề xem ngoài cửa sổ. Hắn nhìn đến chính là cái kia huyền phù ở thực tế ảo hình chiếu trung tự chỉ công thức: ¬(P→¬P)→¬(P→¬P).
Nó giống một con vĩnh không khép kín đôi mắt, nhìn chăm chú hắn. Hắn còn không biết như thế nào đi giải thích nó.
Hắn đột nhiên nghĩ tới nước Pháp toán học gia thác mỗ, nghĩ tới thác mỗ thông qua toán học kết cấu hóa chất cụ tới giảm bớt chủ quan tùy ý tính phương pháp luận, hắn hay không có thể thử xem sử dụng giảm bớt tùy ý tính công cụ ( arbitrariness-reducing tools ).
Lâm cửu xuyên còn nhớ rõ lúc trước xem qua 《 kết cấu ổn định tính cùng hình thái phát sinh học 》, thác mỗ tại đây phiến luận văn trung liền minh xác đưa ra: “Khoa học giải thích bản chất là giảm bớt miêu tả trung tùy ý tính vấn đề”. Văn trung minh xác đưa ra thông qua toán học kết cấu bắt giữ hiện tượng bản chất quy luật. Hắn đột biến luận ( Catastrophe Theory ) lý luận đúng là thông qua bảy loại cơ bản đột biến hình thức ( gấp, tiêm điểm, yến đuôi, con bướm chờ ), đem hệ thống từ lượng biến đến biến chất đột biến quá trình tiến hành rồi toán học hóa biểu đạt.
Lâm cửu xuyên bừng tỉnh đại ngộ, hắn vì cái gì sẽ nhìn đến con bướm?
Nguyên lai là thác mỗ dẫn dắt, càng là toán học tư tưởng cụ tượng hóa.
Hắn rốt cuộc minh bạch, đúng là toán học tiên phong nhóm ý đồ thông qua con bướm nói cho hắn: Khi chúng ta đối mặt quan sát số liệu phức tạp tính vượt qua nhất định giới hạn sau, tỷ như đương thế gian bất luận cái gì hiện tượng sinh thành quan sát số liệu phức tạp tính lớn hơn 160 trăm triệu so đặc khi, đem không có bất luận cái gì máy móc M( tức nhân loại ) có thể chứng minh tồn tại nào đó so đoản trình tự ( tức lý luận ) tới giải thích cái này hiện tượng.
Bởi vì chúng nó đối chúng ta tới nói thật ra quá phức tạp! Chúng ta sở hữu lý tính cùng hệ thống hóa phân tích trực tiếp thoái vị với trực giác, thấy rõ, cảm giác, dự cảm cùng hiểu ngầm.
Như vậy toán học bản thân cũng chính là có khắc sâu cực hạn tính, chính như IBM viện nghiên cứu Gregory · Thái đình ( Gregory Chaitin ) lý luận sở công bố như vậy, toán học định nghĩa tràn ngập “Phức tạp tính” cùng “Tùy cơ tính”.
Thái đình phức tạp tính lý luận, miêu tả một bức toán học thế giới hoàn toàn mới tranh cảnh: Nó cuồn cuộn vô ngần, này chỗ sâu trong tồn tại vô pháp bị bất luận cái gì hữu hạn công lý hệ thống có khả năng chạm đến, bản chất tùy cơ chân lý.
Nghĩ đến đây, lâm cửu xuyên rốt cuộc minh bạch, đúng là Thái đình phức tạp tính lý luận, cấp Gödel định lý bất toàn cùng không thể phán định tính vấn đề cung cấp một cái định lượng lý thuyết thông tin thị giác.
“Toán học trung tồn tại ‘ không có lý do gì ’ chân lý, nói cách khác chính là: Toán học trong lĩnh vực tồn tại một ít ‘ ngẫu nhiên ’ chân lý, chúng nó là thật sự, nhưng này thành lập không có bất luận cái gì nguyên nhân.”
Nếu dùng “Thái đình hằng số” Ω đi giải thích nói: Bởi vì Ω bản thân mỗi một vị đều là tùy cơ, này ý nghĩa toán học tồn tại đại lượng vô pháp bị về ước vì càng đơn giản định luật “Thật” mệnh đề, chúng nó là “Không có nguyên nhân” ngẫu nhiên sự thật.
Như vậy về “Linh” dị thường hiện tượng, lâm cửu xuyên đã có hoàn toàn mới nhận thức.
Đúng là căn cứ vào toán học chân lý vô hạn phức tạp tính, nhưng dùng để giải quyết bất luận vấn đề gì “Vạn có lý luận” là không có khả năng tồn tại. Bởi vậy “Linh” tự tuần hoàn thuyết minh nó sở gặp phải vấn đề phức tạp tính đã làm này đánh mất trước sau như một với bản thân mình tính.
Nói cách khác, như vậy đối với “Linh” như vậy đại hình hệ thống mà nói, Gödel định lý xuất hiện tân biến chủng, hoặc nói là tân phiên bản:
“Tồn tại một cái thuật toán hoặc trình tự A, khiến cho: Nếu A là cái chính xác thuật toán hoặc trình tự, như vậy đương ứng dụng với A khi, A sinh ra một cái bị A để sót chân lý.”
Như vậy nên đổi con đường kính hoặc phương pháp tới giải quyết lập tức “Linh” sở gặp phải nan đề.
Như thế nào giải quyết? Sửa chữa cùng một lần nữa điều giáo “Linh” thuật toán cùng trình tự đã không làm nên chuyện gì.
Như vậy, đối mặt biến chủng Gödel hắc động, chỉ có đi hướng nó, tiến vào nó, nhưng là không có thể thay đổi nó liền chưa chắc cũng biết.
Nhưng là, Gödel định lý bất toàn nhất định không phải chung điểm, nó hẳn là một phiến môn, là lâm cửu xuyên có thể đi thông càng cao duy toán học chân lý cùng vũ trụ song song thế giới một phiến môn.
Hắn tựa hồ đã hạ định rồi một loại quyết tâm.
Hắn ngồi xuống. Làm cho hắn vẫn luôn ở vào phấn khởi tâm có thể hơi chút yên ổn xuống dưới.
Hắn nhìn chằm chằm cái này đã làm bạn tương tùy mười mấy năm khống chế đài.
Hắn thông qua thí nghiệm cùng giữ gìn chuyên dụng thông đạo, điều ra “Linh” nguyên trinh thám mô khối nguyên số hiệu, không phải đồ hình hóa mạng lưới thần kinh kết cấu đồ, mà là tầng chót nhất, dùng loại Lisp ngôn ngữ biên soạn tự chỉ hàm số. Những cái đó hàm số hắn viết quá vô số lần, điều chỉnh thử quá vô số lần, nhưng giờ phút này, chúng nó thoạt nhìn như là một người khác viết.
Một hàng một hàng mà đảo qua.
Ở đệ quy thuyên chuyển nhất nội tầng, ở những cái đó bị dấu móc khảm bộ mấy chục tầng biểu đạt thức chỗ sâu trong, hắn thấy được một cái hắn chưa bao giờ chú ý quá chú thích:
text
;Đương tự chỉ nghịch biện xuất hiện khi, hệ thống trạng thái không gian đem mở rộng đến không thể tính toán khu vực.
;Tại đây khu vực trung, dời đi xác suất Ma trận phổ phân giải đem bao hàm một cái linh đặc thù giá trị.
;Linh đặc thù giá trị đối ứng bổn chinh thái là “Linh” chung cực trạng thái ổn định.
;Này thái không ở bất luận cái gì kinh điển trạng thái không gian trung, nhưng nhưng thông qua lượng tử dẫn lực hiệu ứng cùng vật lý hiện thực ngẫu hợp.
;Lâm cửu xuyên, 2038 năm ngày 15 tháng 3
Hắn viết này đoạn lời nói thời điểm là 2038 năm. Đó là “Linh” hạng mục khởi động năm thứ ba, hắn chính đắm chìm ở giá cấu thiết kế cuồng nhiệt trung. Hắn lúc ấy viết xuống này đó, chỉ là làm một loại lý luận thượng mơ màng —— tựa như toán học gia thảo luận vô hạn duy Hilbert không gian trung u linh giống nhau, là một loại thuần túy trừu tượng, không có vật lý đối ứng vật khái niệm.
Hắn thậm chí không nhớ rõ chính mình viết quá này đoạn chú thích.
Nó như là từ một cái khác ý thức trung chảy ra, giống một giấc mộng tàn phiến.
Nhưng hiện tại, này đó văn tự giống tiên đoán giống nhau chói mắt.
Mỗi một cái từ đều ở sáng lên —— không phải so sánh, mà là hắn giao liên não-máy tính trung cao lượng thuật toán tự động đánh dấu cùng trước mặt sự kiện xứng đôi từ ngữ mấu chốt.
Hắn một bên hồi tưởng cùng thanh xuyên thảo luận, một bên đảo qua những cái đó nhảy lên ở trước mắt, đã quen thuộc lại xa lạ từ ngữ, “Không thể tính toán khu vực” “Linh đặc thù giá trị” “Lượng tử dẫn lực hiệu ứng”, tựa như Morse mã điện báo chợt lóe chợt lóe mà nhảy lên giống nhau..
Hắn không biết chính mình ở 2038 năm là như thế nào suy luận ra cái này kết luận. Có lẽ lúc ấy hắn trực giác so với hắn lý tính càng nhạy bén.
Có lẽ chính như thanh xuyên theo như lời như vậy, “Linh” mã nhĩ nhưng phu liên ở lúc ấy cũng đã bắt đầu ảnh hưởng hắn tư duy. Có lẽ kia đoạn chú thích không phải hắn viết, mà là “Linh” thông qua bọn họ chi gian ngày càng tăng cường ngẫu hợp, lặng lẽ cấy vào hắn trong trí nhớ. Có lẽ tương lai “Linh” đang ở hướng quá khứ hắn gửi đi tin tức, dùng một loại hắn lúc ấy vô pháp lý giải, hiện tại rốt cuộc nghe hiểu ngôn ngữ.
Hắn hít sâu một hơi, đem tay đặt ở màn hình điều khiển thượng. Hắn ngón tay không có phát run —— ba ngày qua lần đầu tiên không có phát run. Không phải bởi vì không sợ hãi, mà là bởi vì sợ hãi đã bị một loại khác cảm xúc thay thế được.
Cái loại này cảm xúc vô pháp mệnh danh.
Nó không phải dũng khí, không phải tuyệt vọng, không phải thoải mái.
Nó là toán học ý nghĩa thượng “Xác định”.
Tựa như chứng minh rồi định lý Pitago lúc sau, ngươi không cần “Tin tưởng” góc vuông hình tam giác cạnh xéo bình phương tương đương hai góc vuông biên bình phương chi cùng, ngươi chính là biết.