Địa cầu đồng bộ quỹ đạo, L1 Lagrange điểm.
Hoành cân bằng quản lý cục kỳ hạm —— “Quyết định giả hào”, này hạm thủ “Định nghĩa kính” đã hoàn toàn triển khai. Kia không phải một mặt gương, nó là một cái đình cơ vấn đề ( Halting Problem ) vật lý thực hiện.
Kính mặt lưu chuyển, vô số tự chỉ nghịch biện ở trên hư không trung sinh thành:
“Những lời này là giả.”
“Bổn mệnh lệnh vô pháp bị chấp hành.”
Đây là Gödel định lý bất toàn thực chiến ứng dụng. Quản lý cục ý đồ ở tiểu hành tinh mang cái này phong bế hệ thống nội, cấu tạo ra một cái “Không thể phán định mệnh đề” —— làm Côn Luân hào tồn tại biến thành một cái logic chết tuần hoàn.
Côn Luân hào chủ phòng điều khiển nội, sở hữu màn hình bắt đầu điên cuồng spam, cuối cùng chỉ còn lại có một hàng huyết hồng số hiệu:
SYNTAX ERROR: OBJECT NOT DEFINED.
“Logic lau đi có hiệu lực.” Trần Mặc thanh âm đang run rẩy, “Chúng ta mất đi vật lý định nghĩa. Côn Luân hào…… Đang ở biến thành ‘ không tập ’ ( ∅ ).”
Lâm nhã không có hoảng. Nàng nhìn trong tay kia khối u lam tinh thể.
Tinh thể không có lập loè, nó ở nhịp đập.
Kia không phải năng lượng nhịp đập, đó là công lý nhịp đập.
【 trung tâm phòng ngự: Peano công lý hệ thống ( Peano Axioms ) 】
Trần phong lưu lại không phải một khối pin, hắn để lại một bộ toán học nền.
Lâm nhã nháy mắt lý giải trần phong ý đồ. Nếu muốn đối kháng “Logic lau đi”, không thể dùng càng cao giai logic, chỉ có thể dùng tầng chót nhất, nhất không thể lay động công lý.
Nàng ở tinh thể mặt ngoài, đánh ra năm cái cơ bản nhất ký hiệu:
0 là một cái số tự nhiên.
Mỗi một cái xác định số tự nhiên a, đều có một cái xác định nối nghiệp số a'.
0 không phải bất luận cái gì số tự nhiên nối nghiệp số.
Bất đồng số tự nhiên có bất đồng nối nghiệp số.
Quy nạp công lý: Nếu mệnh đề đối 0 thành lập, thả nếu đối a thành lập tắc đối a' cũng thành lập, tắc nên mệnh đề đối sở hữu số tự nhiên thành lập.
【 chiến thuật chấp hành: Công lý trọng cấu 】
Lâm nhã đem tinh thể tiếp nhập Côn Luân hào trung tâm trí não.
Trí não bắt đầu điên cuồng giải toán, không phải tính toán quỹ đạo, mà là một lần nữa định nghĩa “Đếm hết”.
“Quyết định giả hào” quan chỉ huy phát ra kinh nghi rít gào: “Vớ vẩn! Ngươi đang làm gì? Ngươi thế nhưng ở dùng tiểu học số học đối kháng cao đẳng logic?”
“Không sai.” Lâm nhã lạnh lùng đáp lại, “Hoành cân bằng ý đồ chứng minh ‘1’ là không tồn tại. Kia ta liền chứng minh, ‘1’ lúc sau mỗi một số, đều cần thiết tồn tại.”
Côn Luân hào trí não bắt đầu chấp hành Peano công lý quy nạp bước đi.
Nó từ 0 bắt đầu.
0 tồn tại.
0' ( tức 1 ) tồn tại.
1' ( tức 2 ) tồn tại.
2' ( tức 3 ) tồn tại.
……
Này không phải đơn giản đếm hết, đây là toán học phép quy nạp bạo lực triển khai.
Côn Luân hào hạm thể kết cấu, tại đây một khắc bị một lần nữa định nghĩa.
Mỗi một khối kim loại bản, mỗi một cái mạch điện tiết điểm, mỗi một cái Qubit, đều bị giao cho số tự nhiên thuộc tính.
Chúng nó là 0, 1, 2, 3……
“Logic lau đi hiệp nghị, mục tiêu tỏa định.” Quan chỉ huy rống giận, “Lau đi sở hữu phi số tự nhiên tập hợp nội vật thể!”
“Xin lỗi, quan chỉ huy.” Lâm nhã mỉm cười, “Nhưng số tự nhiên tập hợp là vô hạn. Các ngươi, lau đi không xong.”
Theo nàng thanh âm rơi xuống, Côn Luân hào hộ thuẫn nháy mắt biến thành một loại vô pháp phân tích hình thái.
Nó không hề tuần hoàn bất luận cái gì đã biết vật lý định luật, bởi vì nó thành lập ở toán học công lý phía trên.
“Quyết định giả hào” định nghĩa kính bắt đầu xuất hiện vết rách.
Kính trên mặt nghịch biện ký hiệu, bắt đầu cùng Côn Luân hào “Số tự nhiên danh sách” sinh ra xung đột.
“0 là số tự nhiên” cùng “0 không phải số tự nhiên” ở trên hư không trung va chạm.
【 toán học kỳ điểm bùng nổ 】
Một hồi phát sinh ở logic mặt chiến tranh, hoàn toàn bùng nổ.
Lâm nhã ý thức tiếp vào tinh thể, nàng thấy được trần phong lưu lại cuối cùng một đạo phòng tuyến.
Đó là một cái đệ quy hàm số, nó ngưng hẳn điều kiện là: Đương địch quân logic công kích bị chứng minh vì “Không thể phán định” khi, tự động bắn ngược.
“Gödel xứng số ( Gödel Numbering )……” Lâm nhã ở trong lòng mặc niệm.
Nàng đem địch quân công kích mỗi một cái ký hiệu, đều giao cho một cái duy nhất con số mã hóa.
Sau đó, lợi dụng đường chéo luận chứng pháp, cấu tạo ra một cái tân mệnh đề:
“Cái này mệnh đề là không thể phán định.”
Cái này mệnh đề, bị đưa vào vào “Quyết định giả hào” định nghĩa kính.
Giây tiếp theo, toàn bộ hạm đội lâm vào tĩnh mịch.
“Quyết định giả hào” hạm thể bắt đầu kịch liệt chấn động.
Định nghĩa kính quang mang từ màu trắng biến thành màu đỏ thẫm, cuối cùng……
Dập tắt.
Quan chỉ huy nằm liệt ngồi ở chỉ huy ghế, trong mắt tràn ngập không thể tin tưởng.
“Không có khả năng…… Toán học thượng…… Này không có khả năng……”
Lâm nhã đứng lên, đi đến cửa sổ mạn tàu trước.
Ngoài cửa sổ, kia con hình như xương khô “Thuyền cứu nạn” di tích, mặt ngoài u lam sắc hoa văn càng ngày càng sáng.
Nó cùng Côn Luân hào chi gian, thành lập lên một cái lượng tử dây dưa thông đạo.
“Trần phong thiếu tướng,” lâm nhã nhẹ giọng nói, “Ta đã hiểu. Ngươi lưu lại không phải phòng ngự, là ‘ chìa khóa ’.”
“Thuyền cứu nạn” hạm kiều chậm rãi mở ra, một đạo chùm tia sáng phóng ra ở Côn Luân hào phía trước.
Chùm tia sáng trung, hiện ra một bức chân chính tinh đồ.
Không phải hoành cân bằng quản lý cục “Tu bổ sau” tinh đồ.
Mà là nhân loại chưa bao giờ gặp qua, vũ trụ nguyên thủy Topology kết cấu.
“Khởi động ‘ lê mạn miêu định ’.” Lâm nhã hạ lệnh.
Côn Luân hào, chính thức sử vào tinh đồ ở ngoài.