Đi Vào Tu Tiên

Đâ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ồ? (đọc tại Nhiều Truyện.com)

"Thật sự là quá khó." Vương Kỳ thở dài.

Đị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.

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.

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.

"À 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..."

Thần Phong nhắm mắt đau khổ: "Ta tính cho ngươi nghỉ phép có lương..." (đọc tại Nhiều Truyện.com)

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ỳ đ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.

Vương Kỳ kinh ngạc hỏi: "Bên ngươi không sao chứ?"

...

Đị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 đó.

"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 đ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..."

Chú thích:

Hay là sứ mệnh?

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.

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ứ.

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 đó.

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.

"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.

Tiếp theo là một màn độc diễn của kẻ cô độc.

Chương 123: Ba bài luận... thứ đồ chơi gì thế này?

Đị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.

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.

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.

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.

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!

Khi Vương Kỳ cầm bút lên, cả thế giới dường như im bặt.

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.

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 đủ.

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...

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.

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ĩ.

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.

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?"

Nhưng trọng điểm là tinh thần của hắn...

Vì hắn là đệ tử Vạn Pháp Môn.

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?"

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.

"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ỳ 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."

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ố.

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ý.

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?"

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.

Trần Doanh Doanh liếc mắt nhìn, gật đầu mơ hồ: "Tổng quan... Tóm tắ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. (đọc tại Nhiều Truyện.com)

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. (đọc tại Nhiều Truyện.com)

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.

"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.

Đâ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.

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.

Loli: Từ lóng chỉ các bé gái (thường là trong Anime, Manga)

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.

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 tại Nhiều Truyện.com)