Loại hình luận căn cơ chính là trực giác chủ nghĩa logic.

Hải Đình chân nhân đã dung hợp "Logic" của Cách tông, viết lại toán thuật công lý, hoàn thành cả tông logic.

Mục tiêu của loại hình luận là "Đột phá Định lý Bất toàn Gödel", với mạch suy nghĩ "Cắt đứt liên quan đến bản thân".

Tính Quân đưa ra mạch suy nghĩ vòng qua "Định lý Bất toàn Gödel", bao hàm cả việc "Cắt đứt liên quan đến bản thân".

Phùng Lạc Y muốn chứng minh tính an toàn của "Vô tận công lý", nên đi theo mạch suy nghĩ này.

Có thể nói, vạn sự đã sẵn sàng.

Sau đó, Tính Quân cống hiến... bao hàm thành tựu kết quả của loại hình luận.

Đó chính là phép tính internet topol hỗn độn của thú cơ quan tụ quần.

Tính Quân không đơn độc đưa ra "Loại hình luận", vì hắn thực sự không hứng thú với lý tính cơ sở mà mọi người đang tranh cãi.

Nhưng hắn đúng là thiên tài, dựa vào suy nghĩ của mình, đã hoàn thành một hệ thống khắc nghiệt như vậy.

Giống như dùng ngôn ngữ Coq viết một hệ điều hành hoàn chỉnh, chạy rất mượt mà, giao diện còn rất đẹp, thật không thể tưởng tượng, khiến người ta kinh thán.

Vương Kỳ thậm chí hoài nghi, cách làm của Tính Quân không phải hy sinh "Đồ linh đầy đủ", mà là... Tính Quân căn bản không để ý đến "Đồ linh đầy đủ".

Thú cơ quan tụ quần tương đối an toàn. Theo lý luận loại hình luận, nó là "Mạnh quy phạm mạnh loại hình" tuyệt đối, sẽ không đưa vào bất kỳ kết quả "Ngoài dự kiến" nào. Chỉ cần có chút sai lầm, nó sẽ trực tiếp sụp đổ cho ngươi xem.

Về vĩ mô, nó có thể kiêm dung thành tựu của Phùng Lạc Y.

Và coi như tính toán vĩ mô có vấn đề, nó cũng chỉ dẫn đến tụ quần vĩ mô tạm thời mất đi lực ngưng tụ, chứ không khiến thú cơ quan mất kiểm soát.

Vương Kỳ càng nghĩ, loại đồ chơi có thể diệt tinh này, quả thực cần thứ cứng nhắc như vậy để ước thúc.

Nếu hắn dùng không loại hình, loại hình không an toàn vạn tượng quẻ văn để viết tầng dưới chót...

Ha ha... Ha ha ha ha...

Có thể nói, mọi điều kiện cho sự ra đời của loại hình luận đều đã hoàn hảo.

Chỉ là hiện tại, tu sĩ Thần Châu còn chưa coi trọng tính khí.

Họ vẫn nhìn chằm chằm vào lý tính cơ sở, muốn quyết một trận tử chiến với Cách tông và Ca đình phái ở phương diện này.

Họ chỉ thoáng đọc qua lý luận tính khí, chỉ để "Bác bỏ đối phương".

Nhưng điều khiến Vương Kỳ suýt vỡ vụn tam quan là...

Một thành tựu toán học cơ sở trong lịch sử Địa Cầu, ở thế giới này lại được phản đẩy từ ứng dụng...

"Ha ha... Ha ha ha ha..." Vương Kỳ đành phải nói: "Ta cảm thấy tri kiến chướng của mình thực sự rất nghiêm trọng..."

Dù tu sĩ nay pháp luôn lấy "Mở hộp đen" làm vinh, nhưng ở vũ trụ này, không thể hoàn toàn tránh né pháp thuật do "Hộp đen" mang lại.

Hoặc là, không ai có thể sống mà không có hộp đen.

Ví dụ đơn giản nhất, nếu không phải hiểu "Trung tâm pháp tắc" mới sinh con được, thì nhân loại đã không sinh sôi — nhưng đúng vậy, virus cũng sẽ không lây lan.

"Ứng dụng" trước, "Lý luận" sau, là chuyện thường ở mọi thế giới.

Triệu Thanh Đàm kinh ngạc nói: "Thành tựu của sư muội rất không tầm thường..."

"Đúng vậy, rất không tầm thường." Vương Kỳ lắc đầu: "Thần Châu sợ là sắp biến thiên."

"Ý gì?"

Vương Kỳ nói: "Cấu tạo ngôn ngữ tính khí cao cấp mới trở nên đơn giản hơn, vì có người làm rõ bản chất của 'Ngôn ngữ', nên mọi người biết cách cấu tạo ngôn ngữ 'người đần cũng dùng được'."

Thách thức trí thông minh của mạnh quy phạm, mạnh loại hình là ngươi phải mang xiềng xích khiêu vũ. Vì mất đi đồ linh đầy đủ, nên không được phép có sai số.

Thách thức trí thông minh của loại hình không an toàn, không loại hình là ngươi không bao giờ biết sẽ xuất hiện bug gì.

Vậy nên, mạch suy nghĩ "gộp tôm nhỏ với trâu lại thành trâu nhỏ" cũng có.

Đồng thời, ngôn ngữ gồm nhiều mặt "Loại hình luận" và "Đồ linh đầy đủ" cũng tồn tại.

Nó không làm vừa lòng bên nào.

Loại ngôn ngữ này chủ yếu làm vừa lòng "phía dưới".

Vì có loại hình, nên sẽ không đưa ra kết quả hoàn toàn không thể đoán trước.

Vì có đồ linh đầy đủ, nên có một tỷ lệ sai số nhất định.

Ngôn ngữ đại chúng hóa mà Mã Nông khinh bỉ ra đời.

Loại đồ chơi này, Vương Kỳ và Phùng Lạc Y sẽ không chủ động khai phá, Tính Quân càng không nghĩ đến.

Nhưng nó lại vạch ra một con đường sáng.

Chỉ cần đi theo hướng này, ngôn ngữ mà lập trình viên dùng sẽ ra đời.

"Và nó cũng có ý nghĩa trong toán học cơ sở...?" Vương Kỳ nói.

Triệu Thanh Đàm cười.

Cách tông liên tông, Ca Đình Thiếu Lê vang dội.

Nhưng tu sĩ bình thường như hắn tin chắc, "Kết cấu" của Cơ phái mới là sức mạnh của thời đại tiếp theo.

Ngày hôm sau, Trần Du Gia tỉnh lại, nghe Vương Kỳ giới thiệu những điều này, cũng ngẩn người.

"Ta lợi hại vậy sao?"

Cô gái chớp mắt ngây ngốc.

Vương Kỳ gật đầu: "Siêu lợi hại."

Trần Du Gia nheo mắt cười.

Nhưng chợt, nàng hơi nghi hoặc: "Cái này... coi là toán học cơ sở? Ta vốn muốn khai phá ứng dụng..."

"Phân tích thành tựu của Tính Quân rất hữu dụng." Vương Kỳ nói: "Hơn nữa, ngươi phản đẩy từ 'ứng dụng' của Tính Quân, cũng coi là một con đường 'từ lý luận chỉ hướng vận dụng'."

Loại hình luận và lập trình hàm số cùng nhịp thở.

Dù trên Địa Cầu, lập trình hàm số có thể sử dụng thực tế như Lisp đã được khai phá trước loại hình luận, nhưng điều này không ảnh hưởng loại hình luận nâng cả lập trình, nhất là nghệ thuật lập trình hàm số lên một bậc.

Lý luận của trường phái Bourbaki lại phá tan một chướng ngại hướng đến ứng dụng.

Vương Kỳ hít sâu, nghiêm túc nói: "Nhưng sư muội, vẫn chưa xong. Loại hình luận này trong tay ngươi mới chỉ thành hình."

Trần Du Gia ngẩn người: "Ngươi gọi nó là gì? Loại hình luận?"

Vương Kỳ gật đầu: "Định nghĩa loại hình ngôn ngữ... Ngươi không hài lòng sao?"

Trần Du Gia cười: "Cảm giác sẽ bị Loại luận [K lý luận] của ngươi che mất tên tuổi."

Vương Kỳ ngẩn người. Đây là phiền phức không tồn tại trong ngữ cảnh kiếp trước.

"Vậy gọi Hình luận."

"Nghe như một đôi với Loại luận của ngươi, không ổn..."

Vương Kỳ nâng cằm Trần Du Gia, hỏi ngược lại: "Một đôi thì sao?"

"Đừng nghịch, hai lý luận này khác nhau một trời một vực trong lĩnh vực tính học..."

"Tên giống nhau thôi mà!"

Trong tiếng cười đùa, lý luận chấn động lịch sử này được quyết định tên.

Trần Du Gia đột nhiên thở dài: "Lần này thật là cơ duyên xảo hợp... Nếu không có Hải Đình chân nhân và Phùng lão sư luận chiến, ta không thể chạm đến tia 'ý nghĩ' nào của Tính Quân; nếu không có bản thảo của Tính Quân, dù thấy con đường, ta cũng chưa chắc vào được..."

"Tự tin lên." Vương Kỳ vỗ đầu Trần Du Gia: "Ngươi cũng đủ mạnh."

Qua cơn hưng phấn, Trần Du Gia lại lo lắng: "Nói vậy, toán học Cơ phái chủ yếu coi trọng học căn cơ. Lần này ta phát luận văn, chẳng phải là... gia nhập luận chiến với thân phận Liên tông sao? Có phải là... không tốt?"

Một học phái cần có một lý niệm xâu chuỗi.

Vương Kỳ nghĩ một lát: "Ta thấy không có gì không tốt. Lúc ta phát Bất chu toàn chi tính, còn là thành viên ngoài biên chế của Ca đình phái."

"A? Ta luôn cảm thấy ngươi lấy ví dụ gở..."

Vương Kỳ khoát tay: "Nghĩ đâu vậy... Tóm lại, Bất chu toàn chi tính là một điểm quật khởi của Vạn Pháp Môn, cũng coi là nguyên điểm của Cơ phái? Có thể nói, trận luận chiến giữa Liên tông và Cách tông kết thúc từ ta. Và bây giờ, trận luận chiến cuối cùng của họ cũng bắt nguồn từ ta."

Bây giờ Cách tông và Liên tông đều thử thách Định lý Bất toàn. Vương Kỳ nói vậy cũng không sai.

"Ta cũng vì vậy mà có một phần tư bản của Cơ phái."

"Trận phân loạn này do Cơ phái mà lên, vậy để thành viên Cơ phái kết thúc cũng không có gì không ổn."

Trần Du Gia ngập ngừng: "Kết thúc..."

Vương Kỳ gật đầu: "Kết thúc. Ta nên nói... Đi thôi, kết thúc cựu thế đại này."

Trần Du Gia bật cười: "Nói như ân oán của Ca Đình Thiếu Lê cũng sắp kết thúc vậy."

Vương Kỳ không cười. Sự thật cũng gần như vậy.

Quy luật toán học của thế giới này và vũ trụ vô linh khí cơ bản giống nhau. Trên hướng đi có thể đoán được, trực giác chủ nghĩa và bệnh hình thức tất yếu suy sụp.

Dù có khác biệt, thì nhiều nhất là... Tính Quân còn sống, nên trực giác chủ nghĩa không đến mức làm công cho khoa học máy tính, mà đảo khách thành chủ, để trực giác chủ nghĩa chúa tể lĩnh vực khoa học máy tính?

Đây chỉ là khả năng "hỏng" nhất thôi.

Dù sao, Phùng lão sư và Đồ Linh chân nhân cũng không quỳ.

Vương Kỳ nói: "Tô sư huynh cũng đang chú ý đến phương diện này, ngươi có thể trao đổi với hắn."

Trần Du Gia gật đầu: "Đúng, ngươi có thể liên hệ với Tính Quân không?"

Vương Kỳ ngẩn người: "Làm gì?"

"Thỉnh giáo và cảm tạ."

"Ngươi không muốn sống nữa à?" Vương Kỳ kinh hô: "Ngươi vừa mới tâm lực kiệt quệ mà! Hơn nữa cảm tạ hắn làm gì? Viết sách cho học giả khác xem là chuyện đương nhiên. Dẫn dắt học giả khác..."

"Ngươi tự nói, sao phải e ngại Tính Quân?" Trần Du Gia bình tĩnh: "Không chỉ Tính Quân, Phùng lão sư và Hải Đình chân nhân cũng phải cảm ơn. Đương nhiên, còn tiện thể thỉnh giáo."

Vương Kỳ nhếch miệng: "Ngươi không thấy... hơi quá đáng sao?"

"Ngươi không giúp, ta tìm phụ thân ta." Trần Du Gia nhìn chằm chằm Vương Kỳ.

Dù giữa Tha hương và Cố hương Thần Châu có hạn chế thông tin, nhưng Trần Cảnh Vân là Tiêu Dao tu sĩ, người thân của ông vẫn có thể liên lạc với ông.

Nhưng Trần Du Gia muốn tìm Tính Quân thì khó.

Vương Kỳ giơ tay: "Đừng, đừng, gửi từ Địa Cầu còn tốn băng thông quý giá của Tiên Minh, không đáng, không đáng. Ta giúp ngươi gửi thư được chưa?"

Hắn được đãi ngộ trường sinh giả, mật cấp đủ cao, lại biết Tính Quân ở đâu, thật sự có thể gửi thư cho Tính Quân.

Dịch độc quyền tại truyen.free, nơi những con chữ được trân trọng và nâng niu.