Chương 79: Phỏng Vấn Thận Lâu (Ba Cập Nhật)

Ngải Nhược Triệt bản thân chính là một đại gia về toán học thuần túy, cho nên nàng rất rõ ràng để hoàn thành ý tưởng mang tính báo thù kia cần những điều kiện như thế nào.

Không biết bản thân Vương Kỳ có ý thức được điều này không… thực tế, công việc trước đây của chính Vương Kỳ đã bao gồm một phần của chứng minh “tương đối nhất trí tính” đó. Hắn đã chứng minh mệnh đề “trực giác và quy nạp nhất trí có trực giác nhất trí”.

Phần còn lại, họ thậm chí có thể đề xuất ngược lại với những ý tưởng trước đây của Vương Kỳ.

Chỉ có điều, bước này ít nhiều cần có sự hiểu biết nhất định về bản thân “trực giác chủ nghĩa”.

Do mối quan hệ của Vân Trung Quân Kha Lan Ấm, Ca Đình Phái đại diện cho toán học hình thức chủ nghĩa, và Thiểu Lê Phái đại diện cho trực giác chủ nghĩa, quan hệ luôn rất căng thẳng, nội bộ Ca Đình Phái gần như không tồn tại toán gia Liên Tông, càng đừng nói đến Liên Tông của trực giác chủ nghĩa.

Nhưng Hà Ngoại Nhĩ lại là một ngoại lệ.

Hắn thật sự tin vào toán học trực giác chủ nghĩa, dù hắn kính yêu lão sư của mình hơn bất cứ ai, cũng vẫn như vậy. Hắn chưa bao giờ hối hận về điểm này, cũng không để tâm đến việc khởi nguồn của trực giác chủ nghĩa là kẻ thù của Ca Đình Phái, Toán Quân Bàng Gia Lai.

Đối với Hà Ngoại Nhĩ, đây chính là “chân lý”.

Mà thành viên Ca Đình Phái lại có thể trong những cuộc thảo luận thường ngày, thông qua Hà Ngoại Nhĩ, tìm hiểu được những gì họ cần tìm hiểu.

Điều này còn tiện lợi hơn cả việc đọc sách.

Mà nếu bước này hoàn thành, vậy thì Vạn Pháp Môn nói không chừng lại gặp tai ương.

Những người hoài nghi và phản đối Ca Đình Phái, sau chứng minh này, sẽ phải đối mặt với một vấn đề – nếu họ dự định hoài nghi tính đáng tin cậy của tập hợp luận, vậy thì họ cũng phải hoài nghi tính đáng tin cậy của bốn phép tính cơ bản.

Đối với những người theo chủ nghĩa trực giác của Thiểu Lê Phái, thì càng đáng sợ hơn. Điều này có nghĩa là sự thiếu sót bẩm sinh của tập hợp luận cũng có thể được thể hiện trên toán học trực giác chủ nghĩa.

Đúng vậy, không chỉ Ca Đình Phái, không chỉ Ly Tông, mà cả Liên Tông cũng không thể thoát khỏi Bất Chu Chi Toán.

Nếu vẫn có nhà toán học nào khăng khăng rằng toán học của chủ nghĩa trực giác là đáng tin cậy, vậy thì theo tính nhất quán tương đối, họ cũng phải thừa nhận rằng lý thuyết tập hợp là đáng tin cậy trong phạm vi đã biết.

Điều này đối với các nhà toán học Liên Tông, giống như bịt mũi nuốt phân vậy, khó chịu vô cùng.

“Ta không phải muốn cầu sinh, mà là muốn kéo ngươi cùng chết.”

Ngải Nhược Triệt thỉnh thoảng thậm chí còn nghi ngờ, liệu Hà Ngoại Nhĩ nhận lấy chìa khóa Ca Đình Trai, có phải là lão sư của nàng đang chuẩn bị cho ngày này hay không.

Đương nhiên, sự nghi ngờ này thực sự không có căn cứ. Đại sư huynh và lão sư tình cảm sâu đậm, mà quyết định giao phó Ca Đình Trai cũng được đưa ra trước khi Bất Chu Chi Toán ra đời. Toán Chủ đã sớm quyết định, sau khi hoàn thành Nguyên Toán Chi Toán sẽ thoái vị.

Nhưng sự trùng hợp này… quả thực khiến người ta cảm thấy nặng nề.

Cuối cùng, Ngải Nhược Triệt lại quyết định, tốt nhất vẫn là từ từ tiết lộ nội tình bên trong.

Hà Ngoại Nhĩ lại hăm hở lật xem «Nguyên Toán» nói: “Nghĩ không thông, thì tạm thời gác lại – sư muội, chúng ta hãy thảo luận về toán học của Cơ Phái.”

Cơ Phái…

Nhắc đến cái tên này, Ngải Nhược Triệt không khỏi nhớ đến “Vương Kỳ”.

Đây cũng là một lý do khác khiến nàng chần chừ.

— Nếu cái tương đối nhất trí tính này thành công… Toán Quân còn ngồi yên được không?

Toán Quân xưa nay luôn chú trọng những vấn đề thực tế, đối với toán lý thuần túy, không nói là không quan tâm, nhưng rất ít khi tranh luận. Theo tác phong trước đây của Toán Quân, ông ta chưa chắc đã để tâm đến một cái tương đối nhất trí tính đâu…

Nhưng, lời phê của Long Hoàng đang gây xôn xao dư luận.

Lỡ như cái tương đối nhất trí tính này trở thành lý do để Toán Quân tĩnh cực tư động thì sao?

Nếu Toán Quân coi tập hợp luận như cứt chó, vậy thì lần này, Ca Đình Trai chính là đang trát cứt lên mặt Toán Quân rồi.

……………………………………………………………………………………

Chuyện Ca Đình Phái chuẩn bị trét phân chó lên mặt Toán Quân, đương nhiên là đang âm thầm chuẩn bị.

Họ theo đuổi việc gây sát thương lớn nhất cho tu sĩ Liên Tông, cho nên, trước khi có manh mối, sẽ không dễ dàng tung tin ra ngoài.

Nhưng, mấy ngày nay, Tô Quân Vũ lại cảm thấy tình hình ngày càng bất lợi.

Tu sĩ Liên Tông tiến triển khá nhanh trên con đường “cắt đứt tự chỉ” họ đã đề xuất mấy loại ý tưởng mới.

Mỗi loại đều khiến hắn có cảm giác kinh tâm động phách.

Vì thế, mấy ngày nay, hắn đều chỉ cắn bút, nghiến răng nghiến lợi với các bài luận văn của Liên Tông trong thư phòng của mình.

Hắn muốn theo kịp những ý tưởng của đám khốn Liên Tông này.

“Cắt đứt tự ngã chỉ thiệp và tuần hoàn vô hạn… cắt đứt tự ngã chỉ thiệp và tuần hoàn vô hạn…”

Tô Quân Vũ thở dài: “Rõ ràng là đồ của Ly Tông, tại sao Liên Tông lại làm tốt như vậy?”

— Vậy thì, sự khác biệt giữa Ly Tông và Liên Tông… rốt cuộc nằm ở đâu?

Trong đầu Tô Quân Vũ không khỏi hiện lên câu hỏi này.

Theo cách nói hiện tại của Vương Kỳ, Ly Tông và Liên Tông chẳng qua chỉ là điểm dừng chân khác nhau.

Cả hai bên đều là kết quả của sự suy tư nhằm tìm ra một “nền tảng” cho những chiêu trò của toán học.

Tất cả các nhà toán học đều theo bản năng tìm kiếm nguồn gốc của toán học.

Ly Tông hiện tại cho rằng nguồn gốc của toán học đến từ một loại “cấu trúc” tự nhiên tồn tại trong thế giới, một yếu tố độc lập với thế giới vật chất. Nó tự do tự tại, mà Ly Tông và Liên Tông chẳng qua chỉ là đang leo lên theo hai con đường khác nhau.

Vì Ly Tông và Liên Tông đều là Nhân tộc, nên con đường có thể đi cũng có hạn. Hai con đường sẽ không thể tránh khỏi việc giao nhau.

Mà trong mắt Liên Tông hiện nay, toán học bắt nguồn từ tâm người, là một sự tồn tại không cần tìm kiếm bên ngoài. Nó bắt nguồn từ hành vi cấu trúc của linh tuệ, là một loại “thi ca”.

Giống như thi nhân vì cảnh mà phát tiết nỗi lòng, nhà toán học cũng là vì thế giới khách quan này mà tiến hành hành vi mang tính cấu trúc.

Toán học chính là như vậy mà có.

Mà toán học mà các sinh linh khác nhau nhận biết lại gần gũi đến vậy, chính là vì linh tuệ của họ có tính nhất quán cao độ. Họ cũng đối mặt với cùng một thế giới vật lý.

Mà “trực giác” của Hà Ngoại Nhĩ lại có chút khác biệt với Toán Quân.

Vị Trai chủ hiện tại của Ca Đình Phái này lại tôn sùng việc đối mặt với toán học bằng “nhận thức trực tiếp”.

Giống như Ca Đình Phái và Cơ Phái hiện nay khác nhau, Liên Tông cũng có những bất đồng.

Nhưng, toán học trong mắt mỗi người cuối cùng vẫn có sự khác biệt.

Vậy thì… sự khác biệt giữa Ly Tông và Liên Tông, lại có thể bỏ qua được sao?

Sao có thể chứ?

Tô Quân Vũ nghĩ đến đây, chính mình cũng muốn cười.

Thực tế, việc tranh cãi về “phát minh” hay “phát hiện” bản thân nó chính là một loại “ngụy biện” dựa trên sự mơ hồ trong định nghĩa của ngôn ngữ tự nhiên. Nếu có một nền văn minh mà “phát minh” và “phát hiện” là cùng một từ thì sao?

Hắn không khỏi nhớ lại những phương pháp mà Vương Kỳ đã sử dụng dưới lòng đất khi thử nghiệm năng lực tâm tưởng sự thành.

Chính là vấn đề mà Trái Đất gọi là “Mang Hải Ly”.

Bất kỳ vấn đề toán học nào cũng có thể giải quyết bằng vũ lực, chỉ có điều cái giá của việc giải quyết bằng vũ lực đó lớn đến đáng sợ, đối với Nhân tộc hoàn toàn vô nghĩa.

Chỉ riêng việc phân tích một vấn đề số luận, đã cần phải đốt cháy cả vũ trụ.

Dưới khuôn khổ này, cũng chỉ có toán học có khả năng tồn tại trong “tập hợp khổng lồ” kia, mới có khả năng được Nhân tộc hiểu được.

Giống như Mỹ Thần đã nói.

Thế giới vật lý dường như không tồn tại đối tượng “vô cùng”. Vì vậy, ngay cả “vận mệnh” cũng là hữu hạn.

Việc tranh cãi về khái niệm “phát minh” và “phát hiện” hoàn toàn vô nghĩa. Điều thực sự có giá trị là sự giao thoa cốt lõi giữa Ly Tông và Liên Tông, là sự khác biệt trong cách nhìn nhận toán học.

Tô Quân Vũ cảm thấy mình đột nhiên có linh cảm, đầu bút viết lia lịa trên giấy nháp.

Lại không để ý đến chiếc máy tính đang rung liên tục của mình.

……………………………………………………………………………………………

Triệu Thanh Đàm cảm thấy mình dường như đang rơi vào một loại khủng hoảng nào đó.

Hắn thực ra không hiểu rõ tình huống mình sắp phải đối mặt, cho nên muốn gửi linh tín cho Tô Quân Vũ.

Nhưng Tô Quân Vũ trước đó đã nói, hắn muốn điều tra nghiên cứu của đám khốn Liên Tông kia, cho nên đã quay về Vạn Pháp Môn trước, rồi để Triệu Thanh Đàm lại Thần Kinh.

Triệu Thanh Đàm ban đầu còn không cảm thấy có gì. Nhưng, khi thực sự làm theo lịch trình mà Tô Quân Vũ đã đưa trước đó, mới cảm thấy khắp nơi đều không thích ứng.

Đặc biệt là bây giờ.

Hắn đang chuẩn bị tham gia một dự án được gọi là “Phỏng Vấn Thận Lâu”.

Triệu Thanh Đàm làm sao biết “Thận Lâu” là gì. Những hành động trước đó cũng đều được hoàn thành dưới sự chỉ điểm của Tô Quân Vũ, bản thân hắn chẳng qua chỉ là dựa vào những thứ Vương Kỳ và Ngụy Thương đã chuẩn bị sẵn mà phát huy.

Nhưng bây giờ…

“Thận Lâu” là cái gì chứ? Tình huống này, làm sao phát huy đây? Dùng bản thảo nào đây?

Hắn ngơ ngác ngồi trong một tòa nhà nhỏ không lọt ánh sáng, ngơ ngác nhìn một số tu sĩ đang bận rộn với những việc gì đó ngơ ngác. Chỉ có một nữ tử khá xinh đẹp bên cạnh đang thản nhiên chơi máy tính như không có ai.

Đây lại được coi là một sản phẩm phụ của việc Nhân tộc tiếp nhận văn minh của Dục tộc.

Ở bên Dục tộc, bản thân thứ “trò chơi” này cũng có thể được xếp vào “nghệ thuật” cũng có phần thưởng văn khí.

Hình thức nghệ thuật trò chơi này có bất lợi bẩm sinh trong việc thu hoạch văn khí, nhưng, lại thắng ở chỗ dễ tiếp cận với mọi tầng lớp, phần bổ chính về độ lan truyền rất cao.

Mà khi sự tích lũy nghệ thuật năm mươi ba vạn năm của Dục tộc gặp phải kỹ thuật máy tính của Nhân tộc, liền coi như bùng nổ lần thứ hai.

Các hình thức trò chơi vốn nghèo nàn của Nhân tộc trong nháy mắt tăng vọt gấp mấy lần.

Điều này cũng khiến cho những chiếc máy tính cao cấp thỉnh thoảng xuất hiện trong tay những đệ tử không phải của Vạn Pháp Môn.

Trước đây, ngoài đệ tử Vạn Pháp Môn, thậm chí không có bao nhiêu tu sĩ chủ động trang bị máy tính cho mình.

Thậm chí có đệ tử Vạn Pháp Môn cũng không mấy khi dùng máy tính.

Trước đây từng có trường hợp tu sĩ Liên Tông từ chối sử dụng vì “máy tính là do tu sĩ Ly Tông chế tạo ra”.

Tuy nhiên, đối với những đệ tử bất tài này, Toán Quân cũng đã đích thân ra mặt vả vào mặt rồi.

Bây giờ về phương diện lý thuyết máy tính, địa vị của Toán Quân không hề thấp.

Các tu sĩ khác sử dụng máy tính, cũng phần lớn là vì máy tính có thể tiện cho việc liên lạc.

Nhưng rất nhiều tu sĩ cũng chỉ dùng những chiếc máy tính lớn cố định mà thôi.

Loại máy tính cao cấp nhỏ gọn này, quả thực rất ít khi xuất hiện trong tay những tu sĩ của các môn phái bình thường này.

Đặc biệt là còn dùng để… chơi game.

Có lẽ vì chiếc máy tính này, Triệu Thanh Đàm có chút thiện cảm với nữ tử xinh đẹp không thể tả này. Nhưng, nhìn dáng vẻ người ta chơi game nhập tâm, hắn ngược lại không dám hỏi.

Kết quả là chỉ có thể ngồi đây tay chân luống cuống.

Lúc này, cuối cùng cũng có một đệ tử Kết Đan kỳ chạy tới, mặt tươi cười, hỏi: “Xin hỏi có phải là Triệu Thanh Đàm Triệu đại tiền bối không ạ?”

Cảm thấy đầu óc mình sắp trống rỗng rồi…

Dưới đây là chú thích cho các thuật ngữ khoa học xuất hiện trong đoạn văn vừa rồi:

Tương đối nhất trí tính (相對一致性): Một khái niệm trong logic toán, nơi tính nhất quán của một lý thuyết được chứng minh bằng cách giả định tính nhất quán của một lý thuyết khác. Nếu lý thuyết cơ sở là nhất quán, thì lý thuyết được xây dựng trên nó cũng nhất quán.

Trực giác (直覺): Trong triết học toán học (cụ thể là chủ nghĩa trực giác) trực giác là khả năng nhận thức hoặc hiểu biết trực tiếp mà không cần suy luận hoặc chứng minh rõ ràng.

Quy nạp (歸納): Trong logic và toán học, quy nạp là một phương pháp chứng minh trong đó một mệnh đề được chứng minh là đúng cho một trường hợp cơ sở, và sau đó được chứng minh rằng nếu nó đúng cho một trường hợp bất kỳ, thì nó cũng đúng cho trường hợp tiếp theo. Điều này cho phép kết luận rằng mệnh đề đó đúng cho tất cả các trường hợp.

Trực giác chủ nghĩa (直覺主義): Một trường phái trong triết học toán học nhấn mạnh rằng toán học là một cấu trúc của tâm trí con người. Các đối tượng toán học được xây dựng và chứng minh một cách trực giác.

Hình thức chủ nghĩa (形式主義): Một trường phái trong triết học toán học coi toán học là một trò chơi của các ký hiệu hình thức, tuân theo các quy tắc nhất định, mà không nhất thiết phải có ý nghĩa nội tại hoặc liên hệ với thế giới thực.

Tập hợp luận (集合論): Một nhánh của logic toán học nghiên cứu các tập hợp, vốn là các bộ sưu tập các đối tượng. Lý thuyết tập hợp là nền tảng của hầu hết toán học hiện đại.

Bốn phép tính (四則運算): Bốn phép toán số học cơ bản: cộng, trừ, nhân và chia.

Bất Chu Chi Toán (不周之算): Ám chỉ các định lý bất toàn của Gödel, một kết quả nền tảng trong logic toán học.

Tự ngã chỉ thiệp (自我指涉): Sự tự tham chiếu, xảy ra khi một câu, ý tưởng hoặc công thức đề cập đến chính nó.

Tuần hoàn vô hạn (無限循環): Trong khoa học máy tính và logic, một vòng lặp không có điều kiện dừng, dẫn đến việc thực thi vô tận.

Ngôn ngữ tự nhiên (自然語言): Ngôn ngữ được con người sử dụng trong giao tiếp hàng ngày (ví dụ: tiếng Việt, tiếng Anh, tiếng Trung) trái ngược với các ngôn ngữ hình thức hoặc ngôn ngữ máy tính.

Mang Hải Ly (忙海狸): Trong lý thuyết tính toán, hàm Hải Ly Bận Rộn (Busy Beaver function) là một ví dụ về một hàm không thể tính toán được. Nó đo lường số bước tối đa mà một máy Turing với một số trạng thái nhất định có thể thực hiện trước khi dừng lại trên một băng trống.