Đi Vào Tu Tiên

Mà ở Thần Châu, lịch sử đã xuất hiện một sự sai lệch kỳ diệu.

Vương Kỳ suy nghĩ một hồi, đẩy cửa ra gọi to: "Ông chủ à, có chuyện gì thì nhanh chóng bàn bạc đi, mấy ngày tới ta phải trau chuốt luận văn, rất bận!"

Gia nhập bộ phận thực chứng, lợi ích đó là rất lớn.

Phương pháp đường chéo (对角线法): Một kỹ thuật chứng minh trong toán học, thường được sử dụng để chứng minh sự tồn tại của các tập hợp không đếm được.

"Ta thật sự đã mạnh lên rồi sao?"

Kế hoạch Hilbert (希尔伯特计划): Một chương trình do nhà toán học David Hilbert đề xuất vào đầu thế kỷ 20, nhằm mục đích hình thức hóa toàn bộ toán học và chứng minh tính nhất quán của nó.

Nghĩ đến đây, Vương Kỳ đẩy cửa ra, gọi to: "Ông chủ, ta xin ứng trước một ít điểm cống hiến, tốt nhất là có thể ứng trước cả tiền lương tháng sau. Ta đang cần gấp."

Niên Giám Toán Học (数学年鉴): Tên tiếng Anh là Annals of Mathematics, một tạp chí toán học uy tín hàng đầu thế giới.

Nói cách khác, tư duy của Vương Kỳ có thể sử dụng được năng lực tính toán của mình.

"Ta đã dùng bao lâu, một ngày?"

"Ta thật sự đã mạnh lên rồi!"

"U hu hu hu hu..." Vương Kỳ cố nén sự kích động muốn cười to, hai vai run lên. Nhưng cuối cùng, hắn vẫn không nhịn được mà cười phá lên!

"A ha ha... đúng rồi, năng lực tính toán của ta kiếp này gấp mấy lần kiếp trước, tư duy nhanh nhạy, nên viết nhanh hơn."

"Chuyện này cứ yên tâm." Trần Phong đã quyết tâm giữ Vương Kỳ lại. Hắn lấy ra từ trong ngực một tờ đơn xin, đưa cho Lưu Vân Tường, nói: "Lưu sư thúc, xin người xem qua đơn này."

Sau khi hoàn thành chuyển khoản, Vương Kỳ lại rụt về, chỉ để lại một đám người trong sân nhìn nhau.

Vương Kỳ hít sâu mấy lần, ép bản thân bình tĩnh lại. Sau đó, hắn lại nhìn về phía luận văn.

"Thì ra là vậy, xem ra công việc trau chuốt luận văn cũng không phải là dễ dàng."

Vương Kỳ ước chừng, sau khi bài luận văn này được công bố, hơn một nửa toán gia hàng đầu của Vạn Pháp Môn sẽ chú ý đến mình, ít nhất là biết đến sự tồn tại của mình.

Vương Kỳ cười gượng hai tiếng, tự tìm lý do cho mình.

Tuy rằng không thể lập tức trở về Vạn Pháp Môn để Trần Cảnh Vân quỳ xuống hát "Chinh Phục" nhưng đãi ngộ của mình chắc chắn sẽ tốt hơn không ít, ít nhất có thể hưởng thụ một số phúc lợi ngầm.

Nói cách khác, bài luận văn này không chỉ có đẳng cấp cao, mà còn vừa đúng vào lĩnh vực hot.

Định lý đầy đủ của Gödel!

"Nhưng mà..." Vương Kỳ sờ sờ cằm: "Nếu là Thần Châu, ngoại diên và nội hàm của rất nhiều khái niệm logic toán học vẫn chưa được công nhận, ta ở phương diện này vẫn thiên về Trái Đất hơn. Ngoài ra phải kiểm tra lại mạch suy nghĩ chứng minh một lần nữa, nếu dùng đến thứ gì đó mà Thần Châu chưa có thì không tốt."

Alan Turing (图灵): Nhà toán học, logic học, mật mã học và khoa học máy tính người Anh, được coi là cha đẻ của khoa học máy tính lý thuyết và trí tuệ nhân tạo.

"Không thể nào..."

Nhà toán học Cantor có một phương pháp logic rất nổi tiếng, gọi là phương pháp đường chéo. Đây là một phương pháp phản chứng đặc biệt. Mà tên của Georg Cantor, Kurt Gödel, Alan Turing nối liền thành một đường thẳng, đường thẳng này xuyên suốt toàn bộ logic toán học, được gọi là "đường chéo vàng".

Tích lũy hơn mười năm kiếp trước, tu vi kiếp này, khổ học kiếp này dung hợp lại với nhau, tuyệt đối không phải đơn giản là một cộng một bằng hai.

Kurt Gödel (哥德尔): Nhà logic học, toán học và triết học người Áo-Mỹ, nổi tiếng với các định lý về tính không đầy đủ.

Lê Nguyệt có chút bất bình: "Trần sư huynh, tiền lương huynh đưa có phải là quá cao rồi không? Huynh chắc chắn mình không nhìn lầm người chứ?"

Chân Xiển Tử cuối cùng cũng lên tiếng hỏi: "Ngươi rốt cuộc đã làm được gì?"

Giải thưởng Fields (菲尔茨奖): Một giải thưởng quốc tế được trao cho tối đa bốn nhà toán học dưới 40 tuổi tại mỗi kỳ Đại hội Toán học Quốc tế, được tổ chức 4 năm một lần.

Vương Kỳ cảm thấy có chút hoang đường.

Trần Phong giả vờ bình tĩnh nói: "À, ta định hợp tác với hắn, để hắn đến bộ phận thực chứng của ta."

Georg Cantor (康托尔): Nhà toán học người Đức, được coi là cha đẻ của lý thuyết tập hợp.

Bản thân kiếp trước nặng bao nhiêu mình biết rõ.

Năng lực tư duy của con người bị giới hạn bởi tốc độ của não bộ, giống như tốc độ chạy của chương trình bị giới hạn bởi phần cứng. Nâng cao năng lực tính toán tương đương với việc tăng chỉ số IQ.

Chương 74: Đường Chéo Vàng Đứt Đoạn

"Tám mươi, sau này ngươi phải làm việc không công cho ta một tháng rưỡi."

Cao hơn rất nhiều. (đọc tại Nhiều Truyện.com)

Hoàng Phủ Liên không nhịn được hỏi: "Trần sư huynh, vừa rồi hắn gọi huynh là ông chủ, là sao vậy?"

"Có một cái đầu thông minh quả nhiên khác biệt." Vương Kỳ vỗ vỗ trán mình.

Uy tín, trích dẫn, phần thưởng bổ sung các thứ đều không thành vấn đề!

Nguyên thần (元神): Một khái niệm trong tu tiên, chỉ linh hồn đã được tu luyện đến mức có thể thoát khỏi thể xác.

Định lý đầy đủ của Gödel (哥德尔完备性定理): Một định lý cơ bản trong logic toán học, được chứng minh bởi Kurt Gödel năm 1929.

Gödel không ra đời, đường chéo vàng bị đứt đoạn từ giữa.

Trong lĩnh vực toán học, một mảng cơ bản nhất lại bị mình gặm nhấm từng chút một. Mà mình có thể dựa vào nó để đột phá cảnh giới, chứng tỏ mình thật sự đã hoàn toàn hiểu rõ nó! (đọc tại Nhiều Truyện.com)

Trong lòng hắn đã nổi lên sóng to gió lớn. Tên nhóc đó rốt cuộc đã chứng minh được cái gì vậy! Còn nữa, lần này hình như kiếm bộn rồi?

Vạn Pháp Môn Khang Môn chủ từng làm chấn động Thần Châu, Cơ Lão Turing trấn thủ Phù Tang, nhưng Gödel lại kỳ diệu không xuất hiện, thành quả của ông cũng không được bất kỳ ai tái hiện.

"Thành giao."

Mà bài luận văn của mình vừa vặn là tiến thêm một bước trên nội dung nghiên cứu của những đại toán gia đó, bất kỳ toán gia nào quan tâm đến lĩnh vực này cũng sẽ không bỏ qua bài luận văn này.

"Ban đầu ta còn lo lắng, lỡ như cứ ném ra lý thuyết tinh thần, mà bản thân lại không hiểu đủ sâu, bị người ta chất vấn thì phải làm sao."

Từ việc nghiên cứu hệ thống con của hệ thống số học đến chứng minh định lý đầy đủ của Gödel.

Ý nghĩ này vừa xuất hiện đã bị Vương Kỳ dập tắt ngay lập tức.

Sau khi xem nhanh qua mấy bài, Vương Kỳ mới có được một cái nhìn khái quát về lý thuyết tập hợp của Thần Châu.

Sau khi Vương Kỳ trở về phòng ngủ, liền dùng điểm cống hiến đổi lấy mười bảy mười tám bài luận văn. Hắn xem luận văn không phải là xem hết toàn bộ, mà là xem trước phần tóm tắt, sau đó nhảy thẳng đến phần kết luận. Sau khi xem hết kết luận của tất cả các bài luận văn, Vương Kỳ lại chọn ra một số bài trọng điểm để xem.

Sau khi xác nhận nhiều lần, Vương Kỳ cuối cùng cũng khẳng định, trình độ của mình cao hơn kiếp trước.

Từ tư liệu trong kho luận văn, Kế hoạch Hilbert phiên bản Thần Châu hoặc các kế hoạch học thuật tương tự đang được tiến hành sôi nổi, hiện tại chính là lúc nhiệt huyết của các toán gia cao nhất.

Vương Kỳ lấy ra máy tính của mình, lại nhìn kho luận văn một cái: "Có luận văn của Phùng lão... Thương Sinh Quốc Thủ Phùng tiền bối, khoảng bảy bài, sau đó là luận văn của Toán Chủ Hy Môn chủ, ít nhất cũng phải năm bài, của đệ tử Toán Chủ cũng phải mấy bài... chuyên khảo hai cuốn..."

Trần Phong nghi ngờ lấy ra một thiết bị đầu cuối tính toán dùng để chuyển khoản: "Cũng không phải là không được, ngươi cần bao nhiêu thì phải có con số, ta coi như là chi tiêu khẩn cấp." (đọc tại Nhiều Truyện.com)

Đây thật sự có thể coi là luận văn do chính mình hoàn thành!

"Trình độ của ta cao đến vậy sao?" (đọc tại Nhiều Truyện.com)

Đây là định lý đầy đủ của Gödel! (đọc tại Nhiều Truyện.com)

Chú thích:

Chỉ là bản thân Vương Kỳ cũng hiểu rõ, tốc độ tư duy không phải là tất cả. Nâng cấp phần cứng có thể nâng cao sức mạnh, nhưng sự nâng cấp này là có hạn. Hệ điều hành Windows cài đặt trên siêu máy tính mạnh hơn máy tính thông thường hàng vạn lần, tốc độ nhiều nhất cũng chỉ gấp một hai lần máy tính thông thường, không thể nào đạt được hiệu quả gấp vạn lần. Giới hạn của Windows nằm ở đó, nó không có cách nào sử dụng được lượng sức mạnh tính toán khổng lồ như vậy.

Tuy nhiên, tuy giọng điệu của hắn có vẻ tham lam, nhưng trên mặt hắn làm sao mà thấy được nửa phần tiếc nuối?

Hệ tiên đề Peano (皮氏公理): Một tập hợp các tiên đề được sử dụng để định nghĩa số tự nhiên.

"Bây giờ xem ra, cho dù quên hết những lý thuyết của Trái Đất kia, ta cũng có thể tự mình tạo ra một mảng trời riêng!"

Những người khác đã biết thân phận chân truyền đệ tử của Trần Phong qua lời Hoàng Phủ Liên, bây giờ nghe nói hắn muốn hợp tác với Vương Kỳ, đều có chút ghen tị với Vương Kỳ.

"Chỉ tiếc ta vẫn là Luyện Khí kỳ." Vương Kỳ nói với giọng điệu có chút tiếc nuối: "Nếu là Kim Đan kỳ rồi viết cái này, nói không chừng có thể trực tiếp Nguyên Thần."

Các nhà toán học của Thần Châu không thể đi qua đường chéo kết tinh do Gödel nối liền, họ đã chọn một phương pháp khác để xây dựng logic của riêng mình. Có toán gia dốc sức xây dựng một hệ thống lớn hơn, mạnh hơn cả hệ tiên đề Peano, để vòng qua hố trời này. Nhưng càng nhiều toán gia lại đi theo sự dẫn dắt của Hilbert, hướng tới một hệ thống lý tưởng Kim Pháp mà có thể nhìn thấy nhưng không thể chạm tới.

Đây là thành quả tầm cỡ thế giới. Nếu dùng tiêu chuẩn đánh giá của Trái Đất mà nói, bài luận này đăng lên tạp chí toán học số một thế giới - "Niên Giám Toán Học" cũng dư sức, có thể giành được giải thưởng Fields hay không thì chưa biết, nhưng tuyệt đối đủ để một nhà toán học sống cả đời.

"Tốt nhất là trau chuốt lại một chút, có thể sử dụng tư duy, phương pháp suy nghĩ mà toán gia Thần Châu thường dùng là tốt nhất."