Chương 372: Thần Dự Cơ [Phần 1]
Hãy kể một câu chuyện cười, một câu chuyện cười về toán học.
Nếu muốn dùng biện pháp "b·ạo l·ực giải" để chứng minh Định lý Goldbach, thì phải làm như thế nào?
Rất đơn giản, trước hết chúng ta suy đoán chứng minh hoàn hảo của Định lý Goldbach cần tối thiểu bao nhiêu ký hiệu toán học, sau đó chúng ta xác minh tất cả các tổ hợp sắp xếp của các ký hiệu toán học trong giới hạn này, như vậy chứng minh Định lý Goldbach sẽ được hoàn thành.
Đơn giản như vậy, nhẹ nhàng như vậy, vui vẻ như vậy?
Nhưng trên thực tế, các nhà toán học đã thiết kế ra một loại máy Turing đặc biệt - máy Hải Ly. Loại máy Turing này có thể dùng biện pháp "b·ạo l·ực tháo gỡ" để phá giải hầu hết các bài toán toán học.
Mà thứ Vương Kỳ để cho lừa cõng, chính là một loại "máy Hải Ly". Cũng chính là cái gọi là "máy Hải Ly bốn màu bốn trạng thái".
Nếu đem phương pháp cưỡng bức liệt kê này áp dụng vào ví dụ về Định lý Goldbach, ví dụ như, chúng ta có thể đơn giản thiết kế một chương trình, nó đối với mỗi số chẵn lớn hơn bốn đều kiểm tra xem nó có phải là tổng của hai số nguyên tố hay không, nếu nó tìm thấy một phản ví dụ thì xuất ra, nếu không tìm thấy, nó sẽ không bao giờ dừng lại. Cứ như vậy, chúng ta sẽ chuyển đổi Định lý Goldbach thành một loại bài toán dừng ở mức thấp. Bây giờ chúng ta dùng máy Hải Ly hai màu để vận hành chương trình này, nếu chương trình này sử dụng năm mươi trạng thái của máy Hải Ly để biên dịch, vậy máy Hải Ly vận hành năm mươi trạng thái "số di chuyển của hải ly" sau đó vẫn không dừng lại, vậy chúng ta có thể khẳng định, chương trình này nó vĩnh viễn sẽ không dừng lại - bởi vì nó đã dùng hết toàn bộ "sự sắp xếp tổ hợp của các ký hiệu" mà nếu nó có thể dừng. Cứ như vậy, nan đề đã dày vò Trần Cảnh Nhuận nhiều năm sẽ bị máy Hải Ly năm mươi trạng thái dễ dàng nghiền nát.
Mặc dù có thể cấu tạo các chỉ lệnh khác nhau bên trong máy Hải Ly khiến cho số bước di chuyển của đầu in tăng lên, nhưng nhìn chung, chỉ cần máy lồng có thể dừng lại, vậy sự sắp xếp tổ hợp của băng giấy và các bộ phận in, bộ phận chính của máy Hải Ly đạt được, tổng số loại chữ trên băng giấy là hữu hạn. Tương tự với phương pháp tìm kiếm b·ạo l·ực trong các đoạn văn về tất cả các tổ hợp sắp xếp của các ký hiệu toán học, máy Hải Ly chính là một loại máy móc tìm kiếm b·ạo l·ực đối với máy Turing, thậm chí là "khả năng biểu hiện chân lý" của lý thuyết tập hợp.
Nhưng, vì sao không có ai dùng phương pháp này nghiên cứu toán học chứ?
Vấn đề chi phí.
Trước hết, ở đây phải giải thích một chút, tại sao máy Hải Ly lại được gọi là "máy Hải Ly". Ở các nước phương Tây, "hải ly" loại động vật nhỏ này được xem là biểu tượng của "bận rộn" và "chăm chỉ". Mà "hải ly bận rộn" thì là ý tứ "bận đến c·hết".
Máy Hải Ly và "bài toán hải ly bận rộn" mở rộng của nó, thì mang theo ẩn dụ đen tối như vậy - cho dù bận đến c·hết, cũng tuyệt đối không có khả năng hoàn thành sự việc.
Lấy "số lượng lớn nhất của khối có chữ mà máy Hải Ly có thể lồng vào trên băng giấy" của "số chữ của hải ly" và "số lần đầu in ấn" của "số di chuyển của hải ly" chính là đáp án cuối cùng mà Vương Kỳ vừa mới hỏi.
Nếu là máy Hải Ly hai trạng thái, vậy máy Hải Ly 10 lũy thừa liên tiếp mũ 10 lần số lượng khối có màu lớn nhất trên băng, đây chính là giới hạn về khả năng chứng minh của lý thuyết tập hợp Zermelo-Fraenkel.

10 lũy thừa liên tiếp mũ 10 lần, con số này đã là con số mà người phàm không thể đạt đến, nếu độ phức tạp của một số chứng minh dựa trên lý thuyết tập hợp Zermelo-Fraenkel, hoặc là nói, độ dài của chứng minh đã đạt đến mức hằng số này, vậy nó sẽ ở trong trạng thái không thể chứng minh, bởi vì nó tương đương với việc dùng hết toàn bộ "sự sắp xếp tổ hợp của các ký hiệu" mà lý thuyết tập hợp có thể dùng.
Khi máy Hải Ly có ba trạng thái, toán học của loài người đã không thể đo được hằng số cuối cùng rồi - con số đó đã quá lớn đến mức không thể biểu đạt.
Máy Hải Ly hai màu sáu trạng thái, số chữ của hải ly và số di chuyển của hải ly đã là không thể giải được về mặt vật lý - nếu dùng hiệu suất của máy tính điện tử hiện nay của loài người để tính toán, cho dù đem toàn bộ vũ trụ vô linh khí mà Trái Đất ở đó biến thành năng lượng, cũng không có cách nào tìm ra số chữ của hải ly và số di chuyển của hải ly của máy Hải Ly hai màu sáu trạng thái.
Máy Hải Ly bốn màu bốn trạng thái, cũng thuộc về "chứng minh không thể thực hiện về mặt vật lý".
"Lão ca Tâm Tưởng" nghi ngờ có thuộc tính máy ước nguyện, vậy, vấn đề này chính là lúc kiểm tra bản chất của nó.
Mà nếu nó chỉ là một AI có chút sức mạnh, vậy thì nó sẽ bắt đầu tính toán, sau đó trong nháy mắt bị treo máy.
Đương nhiên, nếu nó là trí tuệ nhân tạo mạnh, có thể trong nháy mắt bị treo máy nhận ra uy lực của vấn đề này, nó sẽ trả lời là không thể chứng minh.
Mà nếu nó là máy dự cơ liên kết trực tiếp với bản thân "chân lý" vậy thì, có lẽ nó sẽ định nghĩa lại hệ thống ký hiệu dựa trên cơ sở toán học của loài người, sau đó đưa ra một định nghĩa mà Vương Kỳ cần học mấy năm, mấy chục năm mới có thể hiểu được.
Đương nhiên, còn có một khả năng cực kỳ nhỏ bé, tuy rằng nhỏ bé, nhưng cũng không thể nói là không tồn tại - lão ca Tâm Tượng là một máy ước nguyện giả có uy năng to lớn. Nếu là như vậy, vậy trong nháy mắt này, linh lực của vũ trụ này sẽ bị tiêu hao kịch liệt.
Nhưng, nếu có thể nhìn trộm đáp án cuối cùng của vấn đề này, vậy thì...
"C·hết cũng đáng! Lão ca Tâm Tưởng!" Vương Kỳ nhìn chằm chằm vào không gian, lớn tiếng gào thét: "Đến đi! Cảm nhận được đi! Ta sợ ngươi có thể nói cho ta đáp án đến nhường nào!"
"Ngươi nói cho ta đáp án này, thì sẽ chứng minh ngươi thật sự không thể đánh bại! Vậy đối với ta chính là sự tuyệt vọng sâu sắc nhất!"
"Vậy thì, lão ca, nói đi! Đến đi!"
Trong khoảnh khắc này, âm thanh của những chiếc đinh ba bật ra từ trong tường, âm thanh mạnh mẽ do chạy tạo ra, âm thanh vỡ nát của đường hầm, dường như đều đang dần dần xa rời.

Chỉ còn lại tiếng gào thét của người này.
"Trả lời đi!"
Lúc này, mùi hương thần bí lại một lần nữa xuất hiện trong khoang mũi của hắn.
【Ha ha ha ha ha ha ha ha ha ha!】
Ý vui mừng trong mùi hương đã tràn ra. Lão ca Tâm Tượng vô cùng vui vẻ.
【Thật thú vị, thật thú vị nha! Ta chưa từng gặp phải khái niệm nào khó chấp nhận như vậy. Chỉ tiếc là a, ta không cách nào nói cho ngươi đáp án sao?】
Vương Kỳ nhíu mày: "Ngươi không tính toán được?"
【Không, không không không không, ngươi có thể tưởng tượng một chút, sau lưng ta là một cái túi tiền khổng lồ, bên trong chứa đầy bảo vật, nhưng, cái miệng của cái túi tiền này - cũng chính là nhân cách của các ngươi ban cho ta về nỗi sợ hãi, thực sự là quá nhỏ. Ta không cách nào thông qua ý chí chủ quan của mình, chuyển đạt khái niệm này cho ngươi. Mà nếu thứ này trực tiếp tiến vào não của ngươi - ha ha ha ha, ta không muốn tưởng tượng sẽ xảy ra chuyện gì. Cưỡng ép nhét một ngôi sao vào trong một đại dương, thì sẽ xảy ra chuyện gì đây? Ha ha ha ha, ta cũng rất muốn biết a! Đáng tiếc, ta lại không thể nghĩ ra nên dùng thủ đoạn pháp thuật cho phép nào để nói với ngươi】
Trong lòng Vương Kỳ chìm xuống.
Thứ nhất, lão ca Tâm Tưởng điên rồi, hơn nữa còn điên rất dữ dội.
Thứ hai, lão ca Tâm Tưởng có lẽ là chân chính · thần dự cơ. Cho dù không phải, sau lưng nó có lẽ cũng là cơ sở dữ liệu của Thiên Nhân Đại Thánh.
Mà trong phạm vi mà Vương Kỳ có thể hiểu được, một loại ngụy thần dự cơ ở mức độ của lão ca Tâm Tượng này, có lẽ cũng không khác gì với thần dự cơ chân chính.
Thứ ba, trình độ toán học của Thiên Nhân Đại Thánh có lẽ thật sự... không giống với phong cách của toàn bộ vũ trụ.
Không có dấu hiệu báo trước, Vương Kỳ đột nhiên vung chưởng, vỗ vào trán mình. Sức mạnh mà hắn dùng lớn đến mức, tất cả mọi người đều nghe thấy âm thanh giòn tan của xương sọ vỡ vụn. Đồng thời, sấm sét nổ vang. Vương Kỳ lại giấu ký ức thể Đại Chú Tâm Ma thứ ba trong lòng bàn tay mình. Ký ức thể này bị hắn trực tiếp đập vỡ trên trán của mình. Tức giận thuần túy hóa thành tia chớp, thiêu đốt lý trí của người đàn ông.

Cú đánh mạnh vào đầu cộng thêm Đại Chú Tâm Ma, thậm chí còn có một đạo Thần Ôm Chú Pháp ẩn trong lòng bàn tay - Vương Kỳ trong nháy mắt lại sử dụng tuyệt sát không thể tha thứ với chính mình. Cho dù là hắn, cũng trong nháy mắt rơi vào choáng váng, thân thể mềm nhũn, hướng về phía các cơ quan không ngừng đâm ra phía sau ngã xuống.
Không ai ngờ được sự thay đổi trong khoảnh khắc này. Tất cả mọi người đều ngây người.
Thời khắc then chốt, Lộ Tiểu Thiến xông ra. Nàng ôm ngang thắt lưng Vương Kỳ, tay áo vung lên, Đại Tượng Tương Ba Công vận chuyển, hiện ra tính chất sóng vật chất. Mọi thứ hình nón thon dài xung quanh nàng đều như biến dạng. Càng nhiều cơ quan bật ra, muốn băm xác hai người. Rốt cuộc Đại Tượng Tương Ba công vì không có cách nào hồi khí, hậu lực không đủ, rất nhanh liền thất bại.
Lưỡi dao từ dưới đất bật ra, muốn chém nát hai người.
………………………………………………………………………………………………………………………………………………………………………………………………………………
"A!" Mai Ca Mục kêu thảm một tiếng, không tiếp tục nhìn nữa.
Không phải vì không đành lòng, mà là hình ảnh bị gián đoạn trong khoảnh khắc này. Khoảnh khắc Vương Kỳ đột nhiên vung chưởng tự tàn, hắn cũng ngây người. Nhưng sau khi phản ứng lại, hắn trong nháy mắt đã móc ra con ngươi trái của mình.
Kéo theo quyền năng thần linh đã luyện hóa vào trong cơ thể cùng nhau móc ra.
"Hừ, làm sao vậy?" Vô Danh Trích Tiên có chút kinh ngạc.
"Nhanh... mang người... không, ngươi không được vào. Để tất cả những người có thể vào đều vào, g·iết Vương Kỳ." Mai Ca Mục mồ hôi lạnh đầm đìa, thân thể run rẩy không thôi: "Mau đi a! Mau!"
Chú thích:
Định lý Goldbach: Một trong những bài toán nổi tiếng nhất trong lý thuyết số, phát biểu rằng mọi số chẵn lớn hơn 2 đều có thể được biểu diễn như tổng của hai số nguyên tố.
Máy Turing (图灵机): Một mô hình toán học trừu tượng về máy tính, được Alan Turing đề xuất năm 1936. Nó là một thiết bị lý thuyết có khả năng tính toán bất kỳ thuật toán nào.
Máy Hải Ly (海狸机): Một biến thể của máy Turing, được thiết kế để giải quyết các bài toán không dừng lại.
Số di chuyển của hải ly (海狸移动数): Số bước di chuyển mà máy Hải Ly thực hiện trước khi dừng lại (hoặc đạt đến một trạng thái định trước).
Số chữ của hải ly (海狸文字数): Số ký hiệu khác nhau mà máy Hải Ly viết lên băng trước khi dừng lại.
Lý thuyết tập hợp Zermelo-Fraenkel (策梅洛-弗蘭克爾集合論): Một hệ thống tiên đề trong lý thuyết tập hợp, được sử dụng làm nền tảng cho nhiều lĩnh vực toán học.