Quá trình chứng minh định luật số lớn Poisson tương đối mà nói cũng không phức tạp, nếu viết thành luận văn thì một bài luận văn lớn là đủ. Thế nhưng Vương Kỳ cố nén thôi thúc muốn viết cho xong, chỉ ghi lại một số nội dung thảo luận trong dàn ý của bài luận văn này.

"Dù sao cũng phải chừa chút chỗ để mời kẻ cứng đầu kia tham gia chứ." Vương Kỳ nói như vậy.

Thế nhưng, khác với phong khí của Thần Châu chỉ chú trọng nội dung luận văn, tiêu chuẩn đánh giá một nhà nghiên cứu của giới học thuật Trái Đất còn khá chú trọng vào số lượng luận văn. Kỹ thuật chia một bài luận văn ra thành hai bài hoàn chỉnh, bài trước là kết luận, bài sau là luận cứ, Vương Kỳ ít nhiều vẫn biết chút đỉnh.

Sau khi viết được vài trang, Vương Kỳ đặt bút xuống, định tìm Bạc Tiêu Nhã thảo luận rồi mới hoàn thành tiếp.

"Được rồi, tiếp theo nên làm gì đây?"

Thấy Vương Kỳ đang trầm tư suy nghĩ, Chân Xiển Tử tốt bụng gợi ý: "Ta hình như nhớ ra, trong đám tu sĩ Kim Pháp các ngươi, đề toán nghiên cứu một cộng một bằng hai khá hot? Hình như gọi là Minh Châu Toán? Sao ngươi không thử xem?"

"Minh Châu Toán thuộc lĩnh vực số học, không hợp với ta - nhất là cứ hễ nhớ tới đề toán này là ta lại không nhịn được mà nghĩ tới Trần Cảnh Vân, sau đó liền nảy ra ý nghĩ 'Lão tử ở lại cái nơi quỷ quái Thần Kinh này toàn bộ là lỗi của thằng khốn đó'." Vương Kỳ nhếch miệng: "Hơn nữa, Minh Châu Toán không phải là một cộng một bằng hai, mà là một số nguyên tố cộng một số nguyên tố bằng một số chẵn, viết là (1+1), không phải 1+1."

Minh Châu Chi Toán, Trái Đất gọi là giả thuyết Goldbach. Và điều thú vị là, đề toán này ở Thần Châu là được "đào ra", hơn nữa cũng có liên quan đến nhà họ Bạc. Bạc Nhã Ca, Bạc Nguyệt Hàn thế hệ này còn có một người anh em, người này tạo nghệ về toán học không cao, nhưng lại có một đứa con trai tốt, tức là tu sĩ Tiêu Dao thứ tư của nhà họ Bạc - Bạc Ly Cô. Bạc Ly Cô cũng giống như em trai Bạc Ly Nhĩ của hắn, rất thích ngao du. Một ngày nọ, khi hắn ngao du đến một di tích, không ngờ lại vô tình đả thông động phủ của một vị tu sĩ toán học thời tiền cổ. Trong động phủ, truyền thừa, bảo vật, đan dược đều chẳng đáng là gì, nhưng có một viên châu lại đặc biệt thú vị, bởi vì trên viên châu này khắc một đề toán vốn không mấy nổi danh thời tiền cổ.

Thử hỏi, bất kỳ số chẵn nào lớn hơn hai, liệu có đều có thể viết thành tổng của hai số nguyên tố hay không?

Đề toán này nhìn sơ qua có vẻ rất đơn giản, dựa vào trực giác mà phán đoán, hầu hết mọi người đều sẽ cho rằng nó đúng. Thế nhưng nếu muốn chứng minh thì lại vô cùng thâm sâu.

Chính vì được khắc trên một viên minh châu, cho nên mọi người đều gọi nó là "Viên minh châu trên vương miện toán học", Minh Châu Chi Toán.

[Chú: Trong lịch sử Trái Đất, giả thuyết Goldbach được Goldbach viết trong một bức thư, bức thư này gửi cho Euler. Sau đó, Euler là học trò của Johann Bernoulli, là đồng môn thân thiết như tay chân với Daniel Bernoulli, và cũng có quan hệ cá nhân rất tốt với Nicolaus Bernoulli. Mà Goldbach lại là bạn qua thư từ kiêm bạn đồng hành của Nicolaus Bernoulli. Mấy người này là nhóm người đầu tiên nghiên cứu giả thuyết Goldbach. Chỉ là Goldbach không phải nhà toán học, chỉ để lại một giả thuyết, cho nên cuốn sách này thay đổi một cách thức để sự tồn tại của ông được ghi nhận]

"Không hiểu nổi..."

Vương Kỳ thở dài: "Ngươi suy nghĩ kỹ một chút cũng nên biết chứ, Trần Cảnh Vân hắn rảnh rỗi sinh nông nổi đi nghiên cứu một cộng một bằng hai à... À, không đúng, hình như thật sự có nhà toán học có tuyến tiền liệt không được khỏe..."

Nhà toán học nghiên cứu một cộng một bằng hai không phải là không có.

Chuyện càng hiển nhiên thì càng khiến người ta cảm thấy không cách nào giải thích ngọn ngành, một cộng một bằng hai chính là ví dụ điển hình nhất. Ai cũng biết một cộng một bằng hai, thế nhưng, có mấy người có thể nói ra tại sao một cộng một lại bằng hai?

Nếu nói những bài toán khó thông thường là thứ mà hầu hết nhà toán học đều không hiểu, thì lĩnh vực này chính là thứ mà ai cũng hiểu, nhưng muốn tiến thêm một bước thì lại không biết bắt đầu từ đâu.

Không còn nghi ngờ gì nữa, những người có thể nói ra ngọn ngành tại sao "một cộng một bằng hai" đều là những nhà toán học đỉnh cao, có thể xông pha trong lĩnh vực cơ bản nhất này.

"Chỉ tiếc là thế giới này sớm đã có tiên đề Peano rồi." Vương Kỳ lắc đầu, cảm thấy không nên đụng vào mảng này. Đề bài này không chỉ thâm sâu mà còn không hề hot, cho dù có kéo Bạc Tiêu Nhã vào thì cũng chẳng có mấy người quan tâm, không đáng, không đáng. Tiên đề Peano rõ ràng là tiên đề quan trọng có địa vị ngang hàng với tiên đề Euclid, nhưng danh tiếng lại kém tiên đề Euclid không chỉ một con phố.

Lúc này, Vương Kỳ lại nhớ tới một vấn đề khác: "Nói đi cũng phải nói lại, lĩnh vực này quá cơ bản rồi, bình thường không biết cũng chẳng ảnh hưởng gì... Tại sao mình lại nhớ kỹ thế này nhỉ?"

Kiến thức nếu không thường xuyên sử dụng sẽ dần dần quên lãng. Tiên đề Peano tuy là có liên quan đến việc tại sao một cộng một bằng hai, nhưng không biết cái này cũng không ảnh hưởng đến việc tính toán một cộng một bằng hai.

Sao mình lại nhớ kỹ đến vậy, chỉ cần hơi nhắc đến là nhớ ra ngay.

Đột nhiên, trong đầu Vương Kỳ lóe lên một tia sáng.

"Cái này... hình như có liên quan đến đại sự kiện đó."

Chương trình Hilbert, nghiên cứu toán học lớn nhất và nổi tiếng nhất thế kỷ 20.

Đầu thế kỷ 20, sự xuất hiện của các nghịch lý, đặc biệt là nghịch lý Russell, đã gây ra cú sốc lớn cho giới toán học và logic thời bấy giờ. Nó tấn công trực diện vào các ngành toán học và logic vốn nổi tiếng là nghiêm ngặt, làm lung lay tiêu chuẩn đáng tin cậy của các khái niệm, mệnh đề và phương pháp toán học truyền thống, nói cách khác, sự xuất hiện của nghịch lý liên quan đến vấn đề nền tảng của toàn bộ toán học, từ đó dẫn đến cái gọi là cuộc khủng hoảng nền tảng toán học lần thứ ba. Nhân vật lãnh đạo giới toán học là Hilbert, để giải quyết cuộc khủng hoảng này, và hơn nữa là để giải quyết dứt điểm mọi khủng hoảng toán học một lần cho mãi mãi, đã khởi xướng Chương trình Hilbert. Mục tiêu chính của chương trình này là cung cấp một nền tảng lý thuyết an toàn cho toàn bộ toán học. Phần chủ thể của nó chính là chứng minh tính đầy đủ, tính nhất quán và tính quyết định.

Sau đó, trong chương trình này, Gödel đã vô tình chứng minh được tính không đầy đủ.

Turing đi theo hướng suy nghĩ của Gödel để hoàn thành chứng minh về tính quyết định, và dựa trên bước đột phá này trong logic toán học, đã hoàn thiện lý thuyết máy tính.

Vương Kỳ đột nhiên bật dậy, lấy từ trong túi trữ vật ra chiếc "netbook" mà Tô Quân Vũ tặng, truy cập vào kho luận văn của Tiên Minh để bắt đầu tra cứu.

"Từ khóa, lý thuyết chứng minh... Quả nhiên có! Sau đó là, số tự nhiên, hệ thống số học..."

Theo sự bổ sung của các từ khóa, số lượng luận văn hiển thị trong kho ngày càng ít đi, cuối cùng, Vương Kỳ cũng đã tìm thấy nội dung mình muốn.

《Luận về cái gọi là chứng minh của Hilbert》, tác giả, Phùng Lạc Y.

Thời gian là năm năm trước.

Sự tồn tại của linh khí khiến "hộp đen công nghệ" của Thần Châu rất lớn, cây công nghệ không giống với Trái Đất. Máy tính tương ứng với máy tính điện tử đã phổ cập nhiều năm, trí tuệ nhân tạo cũng đã được đưa vào lịch trình, nhưng logic toán học vốn là lý thuyết tiền đề của máy tính lại không bằng Trái Đất.

Vương Kỳ không chút do dự trừ đi số công huân vừa nhận được từ Bi Phong hôm nay, đổi lấy bài luận văn này, bỏ qua quá trình, chỉ xem kết luận.

"Trong hệ thống con này, chứng minh tính hữu hạn nghiêm ngặt là khả thi... Đây chính là bản sao của 《Về lý thuyết chứng minh của Hilbert》 của Von Neumann." Vương Kỳ nhắm mắt lại, bắt đầu suy tư.

Vũ trụ này không có sự tồn tại của Gödel, cho nên logic toán học đã đi theo một con đường khác với Trái Đất...

Vương Kỳ phấn chấn nói: "Đây đúng là một con đường tốt."