Đi Vào Tu Tiên

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.

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.

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

"À 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..." (đọc tại Qidian-VP.com)

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

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

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

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.

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.

Khi Vương Kỳ cầm bút lên, cả thế giới dường như im bặ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.

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.

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.

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.

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.

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

...

Loli: Từ lóng chỉ các bé gái (thường là trong Anime, Manga) (đọc tại Qidian-VP.com)

Chú thích:

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.

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

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

Nhưng trọng điểm là tinh thần của 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.

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

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?" (đọc tại Qidian-VP.com)

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

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

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.

Trần Doanh Doanh liếc mắt nhìn, gật đầu mơ hồ: "Tổng quan... Tóm tắt..."

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

"Là sư tỷ." Trần Doanh Doanh vừa húp mì trộn tương vừa nói líu nhíu.

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.

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.

Hay là sứ mệnh?

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

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.

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

Thần Phong nhắm mắt đau khổ: "Ta tính cho ngươi nghỉ phép có lương..."

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.

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.

Đâ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ồ?

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.

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ỳ đặ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?"

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.

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.

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... (đọc tại Qidian-VP.com)

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ương 123: Ba bài luận... thứ đồ chơi gì thế này? (đọc tại Qidian-VP.com)

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

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

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

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