Tẩu Tiến Tu Tiên
Chương 330: Khúc Dạo Đầu Của Luận Chiến
Chương 86: Khúc Dạo Đầu Của Luận Chiến
Chế độ tạp chí và kho luận văn của Tiên Minh rất nhanh chóng, nhưng tương đối kém hiệu quả. Lợi ích lớn nhất có lẽ là sự bảo vệ đối với lý thuyết. Trừ khi có thể lặng lẽ b·ắt c·óc hàng loạt, toàn bộ nhóm nghiên cứu, nếu không thì nền tảng tồn tại của Tiên Minh - hệ thống lý thuyết của Kim Pháp chắc chắn sẽ an toàn.
Vương Kỳ mang theo suy nghĩ như vậy, lật xem cuốn tạp chí này.
Vì một bài luận văn không chỉ có thể được một tạp chí thu thập, cho nên Thần Châu vẫn chưa có khái niệm "tạp chí cốt lõi". Tạp chí do đại môn phái xuất bản thường có địa vị rất cao, nhưng phạm vi bao phủ rộng, trong các lĩnh vực khó tránh khỏi có sơ hở. Một tạp chí do một tu sĩ Tiêu Dao lãnh đạo cùng vài vị Tông Sư thực hiện chỉ tập trung vào một lĩnh vực, nhưng người xuất bản khó tránh khỏi có sự thiên vị. Giá trị đọc của tạp chí Thần Châu so với tạp chí Trái Đất lại yếu hơn một chút.
Chỉ là, sau khi xem qua cuốn tạp chí này, Vương Kỳ sững sờ.
Bài đầu tiên của cả tạp chí chính là luận văn mà hắn đã nộp mấy ngày trước, "Logic Toán Học Dưới Luận Lý Vị Từ Bậc Nhất" bài này lại chiếm trọn một trang. Do chỉ đăng tóm tắt và một phần kết luận, nên một trang tạp chí thường đăng khoảng sáu bài luận văn. Một bài chiếm trọn một trang, quả thật là vinh dự đặc biệt.
Quan trọng hơn là, phía sau còn có kèm theo lời đánh giá.
Lời đánh giá của Toán Chủ Hy Bá Triết bắt đầu như sau - "Ý tưởng thiên tài".
"Ý tưởng thiên tài, tư duy thần kỳ. Bài luận văn này xuất phát từ hệ thống số học, lấy lý thuyết tập hợp làm phương pháp, cuối cùng thông qua quá trình suy luận khéo léo, chứng minh rằng dưới luận lý vị từ bậc nhất, tất cả các công thức hợp lệ đều có thể chứng minh được. Nó sử dụng phương pháp diễn dịch chặt chẽ nhất và bất ngờ nhất để đưa ra một kết luận phấn khởi, chứng minh một cách hiệu quả tính đầy đủ của logic bậc nhất, khiến chúng ta càng có lý do tin rằng toán học của chúng ta được xây dựng trên nền tảng vững chắc. Ngoài ra, định lý này lần đầu tiên thiết lập mối liên hệ giữa lý thuyết mô hình và lý thuyết chứng minh, mở ra con đường mới cho công việc sau này của chúng ta."
"Bài luận văn là một bước đột phá lớn trong lĩnh vực Nguyên Toán, logic chặt chẽ, mạch lạc rõ ràng, đồng thời tài liệu tham khảo đầy đủ, là một bài luận văn xuất sắc không thể bỏ qua."
Vương Kỳ hơi đỏ mặt. Mặc dù phần lớn bài luận văn này là do hắn hoàn thành, nhưng phần cốt lõi nhất vẫn là đến từ các nhà toán học Trái Đất.
Nhưng cảm xúc này chỉ thoáng qua trong lòng, thay vào đó là một trận mừng rỡ.
Tốt lắm, như vậy coi như đã được công nhận bước đầu rồi!
Vương Kỳ có thể khẳng định, chỉ dựa vào lời đánh giá này của Toán Chủ, sẽ không còn ai nghi ngờ thân phận của hắn nữa. Đùa à, mới rời Tiên Viện mấy tháng đã đạt được thành tựu như vậy, những chân truyền khác làm được sao?
"Thực... thực ra phía sau còn có..." Lương Cẩm bên cạnh Vương Kỳ nhắc nhở một câu.
Vương Kỳ nhìn Lương Cẩm, dường như hiểu được tại sao những đệ tử ngoại môn vốn muốn thân thiết với hắn hôm nay lại dè dặt như vậy. Vương Kỳ lật tiếp hai trang, kết quả phát hiện trong năm trang đầu tiên lại có ba bài là luận văn tổng quan.
Tổng quan là việc tổng kết những thành tựu nghiên cứu đã có, cũng như một số ý tưởng, quan điểm mới, thậm chí là một số giả thuyết chưa được chứng minh, địa vị rất thấp. Nhưng sau khi nhìn rõ người viết luận văn, Vương Kỳ mới hiểu tại sao lại như vậy.
Trong ba bài tổng quan, có hai bài do Hy Bá Triết và Phùng Lạc Y ký tên, dường như là tổng kết cùng một cuộc thảo luận học thuật từ hai góc độ khác nhau. Bài cuối cùng càng ghê gớm hơn, trực tiếp được nộp lên dưới danh nghĩa "Ba Lăng Bạc gia".
Bài luận văn này đã trở thành trọng tâm của ít nhất hai cuộc thảo luận học thuật cấp Tiêu Dao, và còn truyền cảm hứng cho ít nhất ba vị tu sĩ Tiêu Dao!
Đây được coi là một phát súng mở màn vang dội rồi chứ? Có thể dự đoán, trong vài tháng tới, sẽ có không ít tu sĩ Vạn Pháp Môn đổi lấy bài luận văn này - dù không hiểu, không lý giải được cũng phải cố gắng đọc! Theo sau đó, chắc chắn là một lượng lớn trích dẫn.
Vài tháng tới, hắn có thể sống những ngày tháng không lo lắng về công lao, cơm áo không lo rồi!
Giải quyết được vấn đề Tiên Minh công nhận hắn và khủng hoảng kinh tế của hắn cùng một lúc, khiến Vương Kỳ lâng lâng sung sướng.
"Phía... phía sau còn có..."
Giọng Lương Cẩm hơi run rẩy, tay cầm một cuốn tạp chí khác, dường như đang do dự có nên đưa cho Vương Kỳ hay không, dường như sợ thứ trong tay sẽ chọc giận Vương Kỳ.
"Sao vậy, còn có người chửi à?" Vương Kỳ đưa cuốn tạp chí trên tay cho Lương Cẩm, rồi nhận lấy cuốn mà Lương Cẩm đưa.
Bài luận văn này mang tính chất thảo luận, cũng là thảo luận về bài luận văn "Logic Toán Học Dưới Luận Lý Vị Từ Bậc Nhất" của Vương Kỳ. Trong phần tóm tắt và một số đoạn trích dẫn nội dung, tác giả luận văn trước tiên khẳng định tính đột phá của bài luận văn Vương Kỳ, khẳng định tài năng thiên bẩm của cá nhân Vương Kỳ. Nhưng, ở phần sau hắn "chuyển hướng" thể hiện ý "nhưng điều này chả có tác dụng gì".
"Ý tứ ngầm là, thiếu niên này rõ ràng có thiên phú toán học rất cao, nên tích lũy thật tốt, đừng lãng phí vào những thứ vô nghĩa này... sao?" Vương Kỳ đặt tạp chí xuống, vẻ mặt có chút bất mãn.
Đây dù sao cũng là một bước đột phá quan trọng đối với "Hai mươi ba vấn đề" nổi tiếng, cho dù xét về mặt ứng dụng thực tế, điều này cũng sẽ có tác động to lớn đến khoa học máy tính hay công nghệ máy tính, công nghệ ảo cảnh trong tương lai... vô nghĩa? Dù thế nào thì cũng hơi quá đáng.
Vương Kỳ nghi ngờ nhìn tên tác giả. Hà Ngoại Nhĩ... cái tên này cũng có chút ý cảnh đấy. Nhưng nói thật, độ nhận diện lại cao ngoài ý muốn.
Bản thể song song của Hermann Weyl.
Nhà toán học này không nổi tiếng trong số những người bình thường, Vương Kỳ lại càng quen thuộc với ông ta hơn. Lý do không gì khác, chính là vì lĩnh vực nghiên cứu và lý thuyết vật lý của nhà toán học này gần gũi hơn. Ví dụ như trong ba loại fermion đã biết, có một loại được đặt theo tên của ông. Còn chỉ xét riêng về trình độ toán học, ông cũng là một trong số ít người đứng đầu thế kỷ hai mươi.
"Người này hẳn là đệ tử của Toán Chủ mới đúng, tại sao lại phê phán định lý đầy đủ như vậy?" Vương Kỳ có chút kỳ lạ. Nhưng rất nhanh, hắn đã hiểu ra điều gì đó.
Vị đại tu sĩ Tiêu Dao này tuy là người của Ca Đình phái, nhưng hoàn toàn có thể không chấp nhận quan điểm chủ đạo của Ca Đình phái.
Nói cho cùng, "phái hệ" bên trong môn phái chỉ là hành vi kết bè phái không có ý nghĩa thực tế, nó có thể dựa theo khu vực, cũng có thể dựa theo sư thừa truyền thừa. Hà Ngoại Nhĩ là đệ tử, môn sinh của Hy Bá Triết, trời sinh đã thuộc về Ca Đình phái.
Nhưng quan điểm của ông ta lại gần với phái Toán Quân Poincaré hơn.
Toán Chủ đào tạo ra rất nhiều học trò, đệ tử đều kính trọng ông như cha, vị này cũng không ngoại lệ. Mặc dù quan điểm trái ngược, nhưng vị đại tu sĩ Tiêu Dao này vẫn không muốn trực tiếp xung đột với Toán Chủ.
"Điềm báo của cơn bão à." Vương Kỳ không khỏi thở dài: "Vậy thì lúc này, Toán Quân bọn họ rốt cuộc đang làm gì?"
Chú thích:
Lý thuyết tập hợp (集合论): Một nhánh của toán học nghiên cứu về các tập hợp, là một tập hợp của các đối tượng được coi là một tổng thể.
Luận lý vị từ (谓词逻辑): Một hệ thống hình thức trong logic toán học, sử dụng các vị từ để biểu diễn các tính chất và quan hệ của các đối tượng.
Luận lý vị từ bậc nhất (一阶谓词逻辑): Một dạng của luận lý vị từ, trong đó các biến chỉ có thể đại diện cho các đối tượng, chứ không phải các tính chất hoặc quan hệ.
Công thức hợp lệ (有效公式): Một công thức logic đúng trong mọi mô hình.
Lý thuyết mô hình (模型论): Một nhánh của logic toán học nghiên cứu về các mô hình, là các cấu trúc toán học thỏa mãn một tập hợp các công thức logic.
Lý thuyết chứng minh (证明论): Một nhánh của logic toán học nghiên cứu về các chứng minh, là các chuỗi các bước logic dẫn đến một kết luận.
Hermann Weyl (何外尔 - Hà Ngoại Nhĩ): Một nhà toán học và nhà vật lý lý thuyết người Đức, có nhiều đóng góp quan trọng trong toán học và vật lý.
Fermion (费米子): Một loại hạt cơ bản tuân theo thống kê Fermi-Dirac.
Henri Poincaré (庞家莱 - Bàng Gia Lai): Một nhà toán học, nhà vật lý lý thuyết và nhà triết học khoa học người Pháp, có nhiều đóng góp quan trọng trong nhiều lĩnh vực khoa học.
Chế độ tạp chí và kho luận văn của Tiên Minh rất nhanh chóng, nhưng tương đối kém hiệu quả. Lợi ích lớn nhất có lẽ là sự bảo vệ đối với lý thuyết. Trừ khi có thể lặng lẽ b·ắt c·óc hàng loạt, toàn bộ nhóm nghiên cứu, nếu không thì nền tảng tồn tại của Tiên Minh - hệ thống lý thuyết của Kim Pháp chắc chắn sẽ an toàn.
Vương Kỳ mang theo suy nghĩ như vậy, lật xem cuốn tạp chí này.
Vì một bài luận văn không chỉ có thể được một tạp chí thu thập, cho nên Thần Châu vẫn chưa có khái niệm "tạp chí cốt lõi". Tạp chí do đại môn phái xuất bản thường có địa vị rất cao, nhưng phạm vi bao phủ rộng, trong các lĩnh vực khó tránh khỏi có sơ hở. Một tạp chí do một tu sĩ Tiêu Dao lãnh đạo cùng vài vị Tông Sư thực hiện chỉ tập trung vào một lĩnh vực, nhưng người xuất bản khó tránh khỏi có sự thiên vị. Giá trị đọc của tạp chí Thần Châu so với tạp chí Trái Đất lại yếu hơn một chút.
Chỉ là, sau khi xem qua cuốn tạp chí này, Vương Kỳ sững sờ.
Bài đầu tiên của cả tạp chí chính là luận văn mà hắn đã nộp mấy ngày trước, "Logic Toán Học Dưới Luận Lý Vị Từ Bậc Nhất" bài này lại chiếm trọn một trang. Do chỉ đăng tóm tắt và một phần kết luận, nên một trang tạp chí thường đăng khoảng sáu bài luận văn. Một bài chiếm trọn một trang, quả thật là vinh dự đặc biệt.
Quan trọng hơn là, phía sau còn có kèm theo lời đánh giá.
Lời đánh giá của Toán Chủ Hy Bá Triết bắt đầu như sau - "Ý tưởng thiên tài".
"Ý tưởng thiên tài, tư duy thần kỳ. Bài luận văn này xuất phát từ hệ thống số học, lấy lý thuyết tập hợp làm phương pháp, cuối cùng thông qua quá trình suy luận khéo léo, chứng minh rằng dưới luận lý vị từ bậc nhất, tất cả các công thức hợp lệ đều có thể chứng minh được. Nó sử dụng phương pháp diễn dịch chặt chẽ nhất và bất ngờ nhất để đưa ra một kết luận phấn khởi, chứng minh một cách hiệu quả tính đầy đủ của logic bậc nhất, khiến chúng ta càng có lý do tin rằng toán học của chúng ta được xây dựng trên nền tảng vững chắc. Ngoài ra, định lý này lần đầu tiên thiết lập mối liên hệ giữa lý thuyết mô hình và lý thuyết chứng minh, mở ra con đường mới cho công việc sau này của chúng ta."
"Bài luận văn là một bước đột phá lớn trong lĩnh vực Nguyên Toán, logic chặt chẽ, mạch lạc rõ ràng, đồng thời tài liệu tham khảo đầy đủ, là một bài luận văn xuất sắc không thể bỏ qua."
Vương Kỳ hơi đỏ mặt. Mặc dù phần lớn bài luận văn này là do hắn hoàn thành, nhưng phần cốt lõi nhất vẫn là đến từ các nhà toán học Trái Đất.
Nhưng cảm xúc này chỉ thoáng qua trong lòng, thay vào đó là một trận mừng rỡ.
Tốt lắm, như vậy coi như đã được công nhận bước đầu rồi!
Vương Kỳ có thể khẳng định, chỉ dựa vào lời đánh giá này của Toán Chủ, sẽ không còn ai nghi ngờ thân phận của hắn nữa. Đùa à, mới rời Tiên Viện mấy tháng đã đạt được thành tựu như vậy, những chân truyền khác làm được sao?
"Thực... thực ra phía sau còn có..." Lương Cẩm bên cạnh Vương Kỳ nhắc nhở một câu.
Vương Kỳ nhìn Lương Cẩm, dường như hiểu được tại sao những đệ tử ngoại môn vốn muốn thân thiết với hắn hôm nay lại dè dặt như vậy. Vương Kỳ lật tiếp hai trang, kết quả phát hiện trong năm trang đầu tiên lại có ba bài là luận văn tổng quan.
Tổng quan là việc tổng kết những thành tựu nghiên cứu đã có, cũng như một số ý tưởng, quan điểm mới, thậm chí là một số giả thuyết chưa được chứng minh, địa vị rất thấp. Nhưng sau khi nhìn rõ người viết luận văn, Vương Kỳ mới hiểu tại sao lại như vậy.
Trong ba bài tổng quan, có hai bài do Hy Bá Triết và Phùng Lạc Y ký tên, dường như là tổng kết cùng một cuộc thảo luận học thuật từ hai góc độ khác nhau. Bài cuối cùng càng ghê gớm hơn, trực tiếp được nộp lên dưới danh nghĩa "Ba Lăng Bạc gia".
Bài luận văn này đã trở thành trọng tâm của ít nhất hai cuộc thảo luận học thuật cấp Tiêu Dao, và còn truyền cảm hứng cho ít nhất ba vị tu sĩ Tiêu Dao!
Đây được coi là một phát súng mở màn vang dội rồi chứ? Có thể dự đoán, trong vài tháng tới, sẽ có không ít tu sĩ Vạn Pháp Môn đổi lấy bài luận văn này - dù không hiểu, không lý giải được cũng phải cố gắng đọc! Theo sau đó, chắc chắn là một lượng lớn trích dẫn.
Vài tháng tới, hắn có thể sống những ngày tháng không lo lắng về công lao, cơm áo không lo rồi!
Giải quyết được vấn đề Tiên Minh công nhận hắn và khủng hoảng kinh tế của hắn cùng một lúc, khiến Vương Kỳ lâng lâng sung sướng.
"Phía... phía sau còn có..."
Giọng Lương Cẩm hơi run rẩy, tay cầm một cuốn tạp chí khác, dường như đang do dự có nên đưa cho Vương Kỳ hay không, dường như sợ thứ trong tay sẽ chọc giận Vương Kỳ.
"Sao vậy, còn có người chửi à?" Vương Kỳ đưa cuốn tạp chí trên tay cho Lương Cẩm, rồi nhận lấy cuốn mà Lương Cẩm đưa.
Bài luận văn này mang tính chất thảo luận, cũng là thảo luận về bài luận văn "Logic Toán Học Dưới Luận Lý Vị Từ Bậc Nhất" của Vương Kỳ. Trong phần tóm tắt và một số đoạn trích dẫn nội dung, tác giả luận văn trước tiên khẳng định tính đột phá của bài luận văn Vương Kỳ, khẳng định tài năng thiên bẩm của cá nhân Vương Kỳ. Nhưng, ở phần sau hắn "chuyển hướng" thể hiện ý "nhưng điều này chả có tác dụng gì".
"Ý tứ ngầm là, thiếu niên này rõ ràng có thiên phú toán học rất cao, nên tích lũy thật tốt, đừng lãng phí vào những thứ vô nghĩa này... sao?" Vương Kỳ đặt tạp chí xuống, vẻ mặt có chút bất mãn.
Đây dù sao cũng là một bước đột phá quan trọng đối với "Hai mươi ba vấn đề" nổi tiếng, cho dù xét về mặt ứng dụng thực tế, điều này cũng sẽ có tác động to lớn đến khoa học máy tính hay công nghệ máy tính, công nghệ ảo cảnh trong tương lai... vô nghĩa? Dù thế nào thì cũng hơi quá đáng.
Vương Kỳ nghi ngờ nhìn tên tác giả. Hà Ngoại Nhĩ... cái tên này cũng có chút ý cảnh đấy. Nhưng nói thật, độ nhận diện lại cao ngoài ý muốn.
Bản thể song song của Hermann Weyl.
Nhà toán học này không nổi tiếng trong số những người bình thường, Vương Kỳ lại càng quen thuộc với ông ta hơn. Lý do không gì khác, chính là vì lĩnh vực nghiên cứu và lý thuyết vật lý của nhà toán học này gần gũi hơn. Ví dụ như trong ba loại fermion đã biết, có một loại được đặt theo tên của ông. Còn chỉ xét riêng về trình độ toán học, ông cũng là một trong số ít người đứng đầu thế kỷ hai mươi.
"Người này hẳn là đệ tử của Toán Chủ mới đúng, tại sao lại phê phán định lý đầy đủ như vậy?" Vương Kỳ có chút kỳ lạ. Nhưng rất nhanh, hắn đã hiểu ra điều gì đó.
Vị đại tu sĩ Tiêu Dao này tuy là người của Ca Đình phái, nhưng hoàn toàn có thể không chấp nhận quan điểm chủ đạo của Ca Đình phái.
Nói cho cùng, "phái hệ" bên trong môn phái chỉ là hành vi kết bè phái không có ý nghĩa thực tế, nó có thể dựa theo khu vực, cũng có thể dựa theo sư thừa truyền thừa. Hà Ngoại Nhĩ là đệ tử, môn sinh của Hy Bá Triết, trời sinh đã thuộc về Ca Đình phái.
Nhưng quan điểm của ông ta lại gần với phái Toán Quân Poincaré hơn.
Toán Chủ đào tạo ra rất nhiều học trò, đệ tử đều kính trọng ông như cha, vị này cũng không ngoại lệ. Mặc dù quan điểm trái ngược, nhưng vị đại tu sĩ Tiêu Dao này vẫn không muốn trực tiếp xung đột với Toán Chủ.
"Điềm báo của cơn bão à." Vương Kỳ không khỏi thở dài: "Vậy thì lúc này, Toán Quân bọn họ rốt cuộc đang làm gì?"
Chú thích:
Lý thuyết tập hợp (集合论): Một nhánh của toán học nghiên cứu về các tập hợp, là một tập hợp của các đối tượng được coi là một tổng thể.
Luận lý vị từ (谓词逻辑): Một hệ thống hình thức trong logic toán học, sử dụng các vị từ để biểu diễn các tính chất và quan hệ của các đối tượng.
Luận lý vị từ bậc nhất (一阶谓词逻辑): Một dạng của luận lý vị từ, trong đó các biến chỉ có thể đại diện cho các đối tượng, chứ không phải các tính chất hoặc quan hệ.
Công thức hợp lệ (有效公式): Một công thức logic đúng trong mọi mô hình.
Lý thuyết mô hình (模型论): Một nhánh của logic toán học nghiên cứu về các mô hình, là các cấu trúc toán học thỏa mãn một tập hợp các công thức logic.
Lý thuyết chứng minh (证明论): Một nhánh của logic toán học nghiên cứu về các chứng minh, là các chuỗi các bước logic dẫn đến một kết luận.
Hermann Weyl (何外尔 - Hà Ngoại Nhĩ): Một nhà toán học và nhà vật lý lý thuyết người Đức, có nhiều đóng góp quan trọng trong toán học và vật lý.
Fermion (费米子): Một loại hạt cơ bản tuân theo thống kê Fermi-Dirac.
Henri Poincaré (庞家莱 - Bàng Gia Lai): Một nhà toán học, nhà vật lý lý thuyết và nhà triết học khoa học người Pháp, có nhiều đóng góp quan trọng trong nhiều lĩnh vực khoa học.