Khi một cô gái nói ra câu "Anh không giúp tôi thì tôi đi tìm cha tôi giúp", thì hầu như người đàn ông nào cũng phải xuống nước thôi.

Vương Kỳ nghĩ là như vậy.

Trần Do Gia và Trần Cảnh Vân có mối quan hệ căng thẳng, phần lớn là do tính khí thất thường của Trần Do Gia. Thực tế, Trần Cảnh Vân vẫn luôn cảm thấy áy náy với con gái, cảm thấy mình chưa chăm sóc tốt cho cô. Vì vậy, nếu Trần Do Gia tìm ông giúp đỡ, phần lớn ông sẽ đồng ý.

Còn về những chuyện khác...

Vương Kỳ cho rằng, nhạc phụ của mình chưa chắc đã nhận ra việc con gái tìm Toán Quân là một chuyện nguy hiểm đến mức nào? Hoặc giả là vừa nghĩ đến đã quên mất tiêu rồi.

Điểm này, Trần Do Gia cũng nghĩ như vậy.

Nhưng không nghi ngờ gì nữa, Trần Cảnh Vân phần lớn sẽ giúp chuyển lời.

Cho nên, Vương Kỳ cảm thấy, chi bằng để tự mình làm còn hơn.

Ba ngày sau đó, Trần Do Gia đều tìm cách hoàn thiện "Lý thuyết kiểu loại" (Type theory) này.

Đồng thời, cô cũng viết ra bản thảo sơ bộ, và đặt một phần bản thảo cùng với thư cảm ơn vào chung với nhau.

Mà trong quá trình này, Cơ phái vẫn tiếp tục bước đi theo nhịp độ của riêng mình.

Họ sẽ không vì chuyện này mà dừng bước. Đối với các nhà toán học, không có gì quan trọng hơn "căn cơ của toán học".

Thậm chí Vương Kỳ cũng không còn đến khu định cư của Dục tộc nữa. Anh giao hoàn toàn môn Hình thức ngôn ngữ học cho Tử Hư Dịch và các nhà toán học thế hệ mới của Dục tộc, bản thân chỉ thỉnh thoảng ghé qua chỉ điểm.

Anh cũng đã quay trở lại với công việc của Cơ phái.

Toàn bộ học phái vận hành một cách trật tự, tiến triển từng chút một.

Anh cảm thấy, mình đã đến gần hơn với cửa ải tiếp theo.

---❊ ❖ ❊---

Tại Vô Quang Thiên Lao, Toán Quân nhận được thư từ mới.

"Thư cảm ơn..." Toán Quân khẽ nhướng mày. Đây là một lý do khá hiếm gặp.

Hơn nữa... Trần Do Gia... cái tên này thật lạ lẫm. Chắc là thế hệ mới mới nổi gần đây. Không biết tìm mình làm gì.

Nghĩ đoạn, Toán Quân tiếp tục đọc.

Sau đó, ông mỉm cười: "Ha ha, vậy mà lại là bản thảo đó sao? Cũng được, có người có thể làm ra chút thứ mới mẻ."

Ông mang theo vẻ mặt đó, đọc kỹ lại một lần, rồi lại lướt qua thêm lần nữa.

Lần đọc đầu tiên, còn thấy chút hứng thú. Nhưng đến lần thứ hai, nụ cười trên gương mặt dần nhạt đi.

"Chỉ có vậy thôi sao." Ông thầm nghĩ, cảm thấy hơi mất hứng.

Ông không quá coi trọng thứ này.

Tuy nhiên, đối với ông mà nói, bài luận văn này cũng quả thực có chút hữu dụng.

Ít nhất, nó có thể giúp ông hiểu rõ hơn về "Cụm cơ quan thú" (Beast machine cluster), nhưng không có bài luận văn này, ông cũng không phải là không thể làm việc.

"Dù sao cũng là nhận tình của cô." Toán Quân tự nhủ, mở ra một giao diện ảo thuật, mang theo hai phần nghiêm túc, viết một lá thư hồi đáp.

---❊ ❖ ❊---

Tại Thần Châu, Phùng Lạc Y chấn động nhìn lá thư mới trên tay.

"Trần Do Gia... người bên phía Vương Kỳ sao?"

Ông thật sự không thể hiểu nổi.

Tại sao, một bài luận văn mang tư duy đặc trưng của Liên tông lại xuất phát từ tay một... đệ tử Ly tông?

Thật sự vô cùng kỳ quái.

Thế nhưng, thứ này quả thực đã làm sáng tỏ một số tinh túy trong thuật toán mạng lưới hỗn loạn của cụm cơ quan thú, giải đáp được một số nghi hoặc.

Nhưng cũng chỉ là làm sáng tỏ một phần mà thôi.

Thành tựu của Toán Quân, đâu có đơn giản như vậy.

Phùng Lạc Y không kìm được lại đọc thêm lần nữa.

Ông bản năng cảm thấy, bài luận văn nhìn có vẻ như sản phẩm lai tạp giữa toán lý Ly tông và Liên tông này, ẩn chứa những khả năng to lớn.

Vì vậy, ông nhanh chóng kết nối với Đồ Linh chân nhân.

"Đồ Linh đạo hữu, ta ở đây có một bài luận văn, rất thú vị, hy vọng ngươi xem qua một chút."

Nửa canh giờ sau, Đồ Linh chân nhân xuất hiện trong Vạn Tiên Huyễn Cảnh: "Bài luận văn này, thật là ghê gớm."

Đối với cách làm hy sinh tính đầy đủ Turing (Turing completeness) của Lý thuyết kiểu loại, ông không có bất kỳ ý kiến gì. Trái lại, ông còn cảm thấy khá thú vị.

Lần đầu tiên nghĩ đến việc có cấu trúc như thế này.

Nếu nói cấu tưởng về "Máy Turing" là tự giam mình trong khuôn khổ, thì "Kiểu loại" chính là một bộ xiềng xích, trói buộc chặt chẽ người sử dụng.

Ông quả thực cảm thấy như vậy rất thú vị.

Đồ Linh chân nhân tỏ ra có chút kích động: "Dựa trên một số thứ trong lý thuyết này, ta cảm thấy có thể xây dựng lại một ngôn ngữ máy tính cao cấp hoàn toàn mới! Điều này có thể mang lại lợi ích to lớn cho các đệ tử Thiên Cơ Các!"

"Ngôn ngữ? Ồ, ngôn ngữ!" Phùng Lạc Y đột nhiên hỏi: "《Hình thức ngôn ngữ học》, ngươi đã tìm hiểu qua chưa?"

"Sao có thể không tìm hiểu chứ?" Đồ Linh chân nhân trừng mắt, hỏi ngược lại: "Thành tựu của đệ tử ngươi, chính ngươi lại không quan tâm sao?"

"Ừm... tìm hiểu thì có tìm hiểu..." Phùng Lạc Y trầm ngâm.

Hình thức ngôn ngữ học, ông thật sự không tìm hiểu nhiều.

Mấy tháng nay, Ca Đình vẫn luôn bí mật liên lạc với ông, mời ông tham gia nghiên cứu Nguyên toán chi toán.

Vốn dĩ, Phùng Lạc Y cảm thấy chính mình là người ủng hộ Vương Kỳ nhập đạo, mà Bất Chu chi toán của Vương Kỳ lại phủ định Nguyên toán chi toán, ông cũng khá áy náy.

Hơn nửa năm nay, tinh thần ông đều dồn hết vào đó.

"Có Hình thức ngôn ngữ học của Vương Kỳ, việc tạo ra ngôn ngữ cho máy tính cũng dễ dàng hơn nhiều." Đồ Linh chân nhân nói: "Ta nghĩ, ngươi cũng có thể tìm hiểu kỹ một chút."

Phùng Lạc Y gật đầu: "Quả thực..."

Nhưng mà, Vương Kỳ phát triển "Hình thức ngôn ngữ học" cũng là để trải đường cho thành tựu này sao?

Đúng là nhìn xa trông rộng!

"Bước tiếp theo, ta định thử đưa Kiểu loại vào trong cấu trúc máy tính của mình." Đồ Linh chân nhân nói như vậy: "Biết đâu lại làm ra được thứ gì đó."

Phùng Lạc Y gật đầu: "Ừm, Vương Kỳ cũng có cùng quan điểm."

Chỉ là, ông vẫn luôn có một tâm tư đặt vào Nguyên toán chi toán.

Cách giải thích của Trần Do Gia về "Tiên đề vô hạn" cũng thực sự cho ông cảm hứng.

Ông đã nghĩ xong bài luận văn tiếp theo của mình rồi.

---❊ ❖ ❊---

"Xuy, quả là ý tưởng thiên tài!" Hải Đình chân nhân lại trực diện hơn nhiều so với mấy người kia.

Ông trông có vẻ trẻ tuổi hơn, nhìn từ ngoại hình thì giống người cùng thế hệ với lớp tu sĩ mới nổi hơn.

"Trần Do Gia... ta nhớ, là đạo lữ của Vương Kỳ."

"Nói như vậy, là cái Cơ phái đó cũng nhận ra sai lầm trong quá khứ của mình, muốn đến tham ngộ toán lý Liên tông sao?"

Không.

Ông tự phủ định ý nghĩ này.

Một người thay đổi suy nghĩ, tuy khó nhưng vẫn có thể. Còn một học phái thì không thể nào.

Lê Kinh học phái chia thành Lão Lê phái và Thiếu Lê phái cũng vì lý do này.

Bạch Trạch Thần Quân là tu sĩ Ly tông, tự nhiên sẽ không dung thứ cho dị đoan như Toán Quân.

May mà Bạch Trạch Thần Quân vẫn còn lượng thứ, không chèn ép Toán Quân.

Nhưng dù là vậy, Thiếu Lê phái vẫn tự lập.

Cho dù thời gian thành lập của Cơ phái còn ngắn, cũng không đến mức cứ thế mà tập thể chuyển hướng.

"Hành vi cá nhân? Hay là sự chỉ đạo của Vương Kỳ?"

Ông cũng chú ý tới việc khi Trần Do Gia phân loại ngôn ngữ, tư duy có nét tương đồng nhất định với "Hình thức ngôn ngữ học".

Nhưng toán lý mà Hình thức ngôn ngữ học sử dụng lại là toán lý điển hình của Ly tông.

"Nhưng dù sao đi nữa, Trần Do Gia cũng là đạo lữ của Vương Kỳ. Nếu cô ấy có thể ngả về phía Liên tông, đối với Liên tông cũng là một chuyện tốt lớn."

Nếu có thể dựa vào đó mà ảnh hưởng đến Vương Kỳ thì càng tốt.

Ý nghĩ nhỏ nhoi này, ngay cả bản thân Hải Đình chân nhân cũng không nhận ra.

Chính ông cũng không tin, một tu sĩ như Vương Kỳ lại vì yếu tố của người khác mà thay đổi cách nhìn của mình đối với toán học.

Người có thể ảnh hưởng đến Vương Kỳ, chỉ có chính bản thân Vương Kỳ mà thôi. Trừ khi Vương Kỳ tự mình suy luận ra toán lý mới, nếu không, không ai có thể ép buộc anh thay đổi tâm niệm.

Nhưng ông vẫn viết rất nghiêm túc.

Hay nói cách khác, ông chính là ôm tâm tư "truyền đạo" để chỉ điểm hậu bối.

Dù sao... nếu như có "vạn nhất" thì sao?

---❊ ❖ ❊---

Trần Do Gia nhanh chóng nhận được ba lá thư hồi đáp hoàn toàn khác biệt.

Trong đó, thư hồi đáp của Toán Quân là đến sớm nhất.

Dưới sự kiên trì của Vương Kỳ, Trần Do Gia đã mở thư hồi đáp của Toán Quân trước mặt mọi người trong Cơ phái, rồi cẩn thận đọc.

Thư của Toán Quân không dài, cũng không có lời khách sáo nào.

Nhưng ông lại chỉ điểm rất đơn giản về tư duy của Trần Do Gia, và bảo cô rằng, dựa theo ý tưởng này có thể nghiên cứu theo hướng đó, tương ứng với phần nào của thuật toán cụm cơ quan thú.

Sự chỉ dẫn trực tiếp của người đứng đầu Liên tông, người khai sáng thuật toán cụm cơ quan thú, tự nhiên là vô cùng quý giá.

Trần Do Gia thậm chí cảm thấy, trước mắt mình đã xuất hiện một con đường sáng mới.

Còn lá thư thứ hai là của Hải Đình chân nhân.

Bản này dày hơn nhiều. Ông đã giới thiệu cấu trúc logic của Liên tông từ những khía cạnh cơ bản nhất.

Đây lại là sự bổ sung rất tốt cho nhận thức về toán lý Liên tông của Trần Do Gia.

Nói sao nhỉ, cha và chồng cô đều là tu sĩ Ly tông điển hình, dù lúc cô mới chập chững vào nghề có tâm tính toán toán lý Liên tông thì cũng không học được thứ gì quá cao thâm.

Bản này lại giải quyết được cơn khát của Trần Do Gia.

Thư của Phùng Lạc Y lại đến muộn.

Thư của ông thậm chí còn bao gồm cả một bài luận văn hoàn chỉnh.

Là bài luận văn về tính an toàn của tiên đề vô hạn.

Và lá thư gửi kèm luận văn thì mang tính cá nhân hơn nhiều. Phùng Lạc Y thậm chí còn rất khách sáo nói rằng Trần Do Gia đã mang lại cho ông cảm hứng mới, còn hỏi thăm tình hình gần đây của cô và Vương Kỳ.

Ba lá thư hồi đáp đều khá có giá trị.

Sau khi thấu hiểu lá thư của Hải Đình chân nhân, Trần Do Gia đã viết ra những đúc kết gần đây của mình, chuẩn bị gửi cho Tô Quân Vũ đang ở xa tận Thần Châu.

Toàn bộ Cơ phái hiện tại cũng chỉ có hai người bọn họ đang loay hoay trong mảng này.

Phùng Lạc Y và Vương Kỳ đều bày tỏ rằng "tính liên tục" cũng được coi là một phần quan trọng của toán lý cơ bản, lại có liên quan nhất định với lý thuyết máy tính sau này. Trao đổi với Tô Quân Vũ, biết đâu lại hữu dụng bất ngờ.

Sau đó, cô bắt đầu nghiên cứu con đường mà Toán Quân đã chỉ ra.

---❊ ❖ ❊---

Vài ngày sau, tại Vạn Pháp Môn, Thần Châu.

Tô Quân Vũ sau khi nhận được thư từ phương xa, mặt ngơ ngác: "Ôi trời, dữ dội vậy sao? Bản thảo của Toán Quân lại có giá trị như vậy ư?"

Nghĩ đến đây, anh cảm thấy vô cùng rối rắm.

Cuối cùng, Tô Quân Vũ chọn cách cầm bút viết thư: "Sư đệ à, danh ngạch cuối cùng bên phía các cậu, vẫn chưa dùng đúng không?"