Chương 123: Ba bài luận... thứ đồ chơi gì thế này?
Khi Vương Kỳ cầm bút lên, cả thế giới dường như im bặt.
Ban đầu, hắn cảm thấy có chút thoải mái. Trong những năm tháng học toán của mình, toán học của Trái Đất, đặc biệt là phần tính toán đã bắt đầu sử dụng sâu ngôn ngữ logic ký hiệu - đây chính là phần mà Tính Quân chán ghét. Đó cũng là lý do hắn có thiện cảm với phe Tính Chủ hơn.
Sau khi Hilbert q·ua đ·ời, toán học đã có những thay đổi long trời lở đất, những cuộc cách mạng cũng không chỉ diễn ra một lần.
Một cộng một bằng hai không thay đổi, nhưng nền tảng để giải thích "phương trình sơ đẳng nhất" này lại thay đổi nhiều lần. Có lẽ đối với người bình thường, điều này không có ý nghĩa gì. Toán học mà họ cần dùng cả đời cũng chỉ là phép cộng trừ ba chữ số, phép nhân chia hai chữ số, và hình học Euclid không quá ba chiều.
Nhưng ở lĩnh vực cơ bản hơn và cao siêu hơn, điều này quyết định rất nhiều thứ.
Vương Kỳ đang từng bước dẫn dắt toán học của Thần Châu đến lĩnh vực mà hắn quen thuộc hơn.
Chỉ là, sự thoải mái này nhanh chóng bị cảm giác khó khăn ngày càng rõ ràng nhấn chìm.
Người đã từng trải nghiệm băng thông rộng 10M chắc chắn sẽ không thích đường truyền nhỏ giọt 2M. Toán học thế kỷ XXI so với toán học đầu thế kỷ XX ít nhiều cũng có cảm giác như vậy. Vương Kỳ đã học tập ở Thần Châu nhiều năm, gần như cũng đã quen với đường truyền 2M rồi. Nhưng khi tải xuống một tệp lớn, hắn vẫn không khỏi nhớ đến tốc độ mạng 10M.
Tính nhất quán của hệ thống số học chính là một "tệp lớn" như vậy. Đứng trên vai của những người khổng lồ như Gödel, Vương Kỳ có thể nhanh chóng hiểu được vấn đề này, nhưng để tự mình không sử dụng những công cụ toán học mà các bậc đại năng kia đã phát triển, tự mình từng bước chứng minh ra...
"Thật sự là quá khó." Vương Kỳ thở dài.
Đây là một ngọn núi cao, một đỉnh núi cô độc, hắn từng dựa vào sức mạnh của người khác để đứng ở đây, rồi nhanh chóng di chuyển đến những nơi cao hơn. Nhưng bây giờ, hắn cần tự mình leo lên, hơn nữa còn không được phép sử dụng toàn bộ dụng cụ leo núi mà người đi trước để lại.
Tiếp theo là một màn độc diễn của kẻ cô độc.
Vì không nhìn thấy tiến độ, hắn bắt đầu cảm thấy buồn chán. Hắn cảm thấy, nếu có người đến thảo luận với mình một chút thì có lẽ sẽ tốt hơn nhiều.

"Chẳng trách những người học giỏi luôn thích làm việc cùng nhau, ngay cả Einstein cũng sẽ đi làm một cách nghiêm túc" hắn nghĩ vậy, không khỏi nhớ đến Trần Doanh Doanh.
Mặc dù con bé loli này nói chuyện rất khó ưa, nhưng rất thông minh, trình độ đủ cao, là một đối tượng có thể thảo luận.
Nhưng không biết vì sao, Trần Doanh Doanh dường như rất ghét toán học thuần túy, sự ghét bỏ này đã vượt quá mức độ mà một nhà toán học ứng dụng nên có. Vương Kỳ biết rõ điều này, nên đặc biệt đến nơi Trần Doanh Doanh không nhìn thấy để làm việc này.
Công việc càng về sau càng trở nên khó khăn, cảm giác buồn tẻ nảy sinh. Vương Kỳ buông bút, bắt đầu có chút hối hận.
Định lý đầy đủ của Gödel thuộc loại công việc có quá trình suy luận đơn giản, định lý không đầy đủ thậm chí còn đơn giản đến mức khó tin. Đó là sự huy hoàng trí tuệ của nhà toán học vĩ đại kia, nhưng một khi đã được chỉ ra, thì thực ra cũng không phức tạp.
Còn điều Vương Kỳ đang làm bây giờ lại là một công việc phức tạp.
Hắn một lần nữa nhận ra sự tự phụ của mình. Trong số những người cùng trang lứa, dù là Tô Quân Vũ hay Trần Doanh Doanh, ở cấp độ lý thuyết đều kém hắn một bậc. Sự tích lũy của hai kiếp, toán học tiên tiến hơn của Trái Đất cộng với bộ não thông minh do tu luyện mang lại đã tạo nên sức mạnh của hắn.
Nhưng so với những người đứng đầu trong lịch sử, hắn vẫn còn kém một chút.
"Vừa mới tự mãn một chút đã bị hiện thực tát thẳng vào mặt..." Vương Kỳ tự giễu lẩm bẩm, rồi ôm đầu ngủ gật trên bàn một lúc.
Hắn bắt đầu cảm thấy công việc của mình không có ý nghĩa gì nữa. Hắn biết rõ, trước khi bị định lý không đầy đủ đánh gục, Tính Chủ với lối suy nghĩ cực kỳ lạc quan sẽ không chấp nhận việc sử dụng phép quy nạp siêu hạn để bỏ qua quá trình chứng minh tính đầy đủ, tính nhất quán. Còn Tính Quân... thứ này trong mắt Tính Quân căn bản không phải là toán học.
Hắn không yêu thích toán học như lời mình nói, kiếp trước hắn thiên về toán học ứng dụng hơn, hắn còn là một nhà vật lý.
Nhưng ngay sau đó, một cảm giác kỳ lạ khác lại khống chế hắn, thúc đẩy hắn tiếp tục làm.
Đây là tiếng kêu gào của con kiến hôi trong cuộc đấu sức của hai người khổng lồ sao? Lòng nhiệt huyết của một thiếu niên trung nhị một mình đối mặt với gã khổng lồ?
Hay là sứ mệnh?

"Việc này chỉ có ta mới có thể hoàn thành." Vương Kỳ nghĩ vậy, trong lòng dâng lên một luồng khí: "Thiên hàng đại nhiệm vụ cho người này, đây mới đến đâu chứ."
Vương Kỳ đã hiểu ra đôi chút. Hắn không quan tâm đến toán học như lời mình nói, nhưng hắn cũng không hề thờ ơ như trong lòng mình nghĩ.
Vì hắn là đệ tử Vạn Pháp Môn.
...
Sau khi Vương Kỳ nghỉ làm gần nửa tháng, Thần Phong mới gặp lại thành viên của bộ phận thực chứng của mình trên đường phố.
Thần Phong kinh ngạc nhìn Vương Kỳ, hắn cảm thấy mình có chút không nhận ra người trước mặt nữa. Bề ngoài Vương Kỳ không có gì thay đổi, nhiều nhất cũng chỉ là hốc mắt hơi lõm, quầng thâm hơi nặng.
Nhưng trọng điểm là tinh thần của hắn...
Sức mạnh tuy không tăng nhiều, nhưng rất rõ ràng. Hơn nữa, hồn phách của Vương Kỳ như trải qua một lần tôi luyện, trở nên sắc bén hơn.
Nếu kết hợp sức mạnh hồn phách này với pháp lực, Vương Kỳ thậm chí có thể luyện thành quyền ý võ đạo chân chính!
Vương Kỳ như một hồn ma lang thang trên đường phố. Thần Phong ngồi ở quán ăn sáng ven đường lên tiếng gọi: "Vương Kỳ!" Vương Kỳ dừng lại với đôi mắt vô hồn, rồi cổ như bị cứng lại, xoay một cách máy móc, cuối cùng mới phát hiện ra Thần Phong và Trần Doanh Doanh. Hắn mỉm cười cứng nhắc bước tới, cười nói: "Các ngươi ở đây à, ông chủ, Trần sư muội."
"Là sư tỷ." Trần Doanh Doanh vừa húp mì trộn tương vừa nói líu nhíu.
Thần Phong có chút lo lắng nhìn Vương Kỳ: "Cái đó... Doanh Doanh nói muốn trải nghiệm đặc sản Thần Kinh, nên ra ngoài ăn sáng. Ừm, ngươi... ổn chứ? Có muốn ăn chút gì không?"

"À haha, tính ra ta cũng đã mấy ngày rồi chưa ăn gì." Vương Kỳ gọi một bát mì, vừa lấy đũa vừa nói: "Ta nói cho ngươi biết, lần này ta muốn làm một cái tin tức lớn..."
Mặc dù từ "tin tức" có cảm giác hơi gượng ép, nhưng Thần Phong kết hợp với thuật đọc tâm, đại khái cũng hiểu được ý của Vương Kỳ: "Ngươi định đi đăng luận văn?"
Vương Kỳ ăn mì một cách ngấu nghiến. Không kịp nói chuyện, chỉ dùng sức gật đầu. Thần Phong cẩn thận hỏi: "Cái đó, ừm, có thể cho ta xem qua được không?"
Vương Kỳ đặt bát xuống, hào phóng đặt ba bài luận văn lên tay Thần Phong. Thần Phong đọc lướt qua tiêu đề, mặt mày tái mét. Hắn lấy khuỷu tay huých huých Trần Doanh Doanh, truyền âm bằng linh thức: "Ngươi xem cái này, ba bài này hình như là luận văn tổng quan à? Có phải Vạn Pháp Môn các ngươi thích viết tiêu đề như vậy không?"
Trần Doanh Doanh liếc mắt nhìn, gật đầu mơ hồ: "Tổng quan... Tóm tắt..."
Thần Phong đau lòng, nghĩ thầm tên này chắc là vì áp lực từ Tính Quân mà phát điên, nhịn nửa tháng viết ra ba bài tổng quan mà còn tưởng mình đã đạt được bước nhảy vọt về toán học. Hắn nhẹ nhàng đẩy món ăn kèm trước mặt Trần Doanh Doanh đến trước mặt Vương Kỳ: "Đừng khách sáo... cái đó, ăn ngon miệng nhé, ăn xong nộp luận văn rồi thì nghỉ ngơi cho thoải mái..."
Vương Kỳ kinh ngạc hỏi: "Bên ngươi không sao chứ?"
Thần Phong nhắm mắt đau khổ: "Ta tính cho ngươi nghỉ phép có lương..."
Chú thích:
Hilbert: David Hilbert, nhà toán học người Đức, có ảnh hưởng lớn đến toán học thế kỷ 20.
Gödel: Kurt Gödel, nhà logic học, toán học và triết học người Áo-Hung, nổi tiếng với các định lý về tính không đầy đủ.
Định lý đầy đủ của Gödel: Một định lý cơ bản trong logic toán, nói rằng một hệ thống hình thức đủ mạnh để diễn tả số học Peano là đầy đủ, nghĩa là mọi công thức đúng trong mô hình chuẩn của số học đều có thể được chứng minh trong hệ thống đó.
Định lý không đầy đủ của Gödel: Hai định lý của logic toán, chứng minh rằng bất kỳ hệ thống hình thức tiên đề nào đủ mạnh để diễn tả số học cơ bản đều không thể vừa đầy đủ vừa nhất quán.
Phép quy nạp siêu hạn: Một dạng thức mở rộng của phép quy nạp toán học, được sử dụng để chứng minh các mệnh đề về các tập hợp được sắp xếp tốt, không nhất thiết phải là các tập hợp hữu hạn.
Tính nhất quán: Một tính chất của một hệ thống hình thức, nói rằng không thể chứng minh cả một công thức và phủ định của nó trong hệ thống đó.
Loli: Từ lóng chỉ các bé gái (thường là trong Anime, Manga)
Trung nhị (中二): Thuật ngữ tiếng Nhật chỉ hội chứng tâm lý tuổi dậy thì của một số thiếu niên, thường có biểu hiện tự cho mình là trung tâm, ảo tưởng sức mạnh, thích thể hiện bản thân một cách khác biệt.