« Đi Vào Tu Tiên » Chương : "Đại đạo thánh âm" 【 dưới 】 Vương Kỳ xuất hiện về sau, Phùng Lạc Y( Von Neumann) cùng Đồ Linh (turing) hai người chủ động tại bên bàn bên trên nhường ra một chỗ ngồi, ra hiệu hắn tọa hạ. Cái này biểu thị, bọn hắn đã tán thành Vương Kỳ làm một Toán gia năng lực, đem hắn coi là địa vị bình đẳng đồng đạo mà không phải vãn bối. Đồ Linh (turing) còn đối Vương Kỳ cười cười: "Ngươi cái này hiển hóa huyễn tượng cũng uống không được trà, cho nên liền không cho ngươi châm. "

Phùng Lạc Y( Von Neumann) đầu tiên hỏi Vương Kỳ: "Sự tình đều giải quyết xong sao? "

"Là, Cẩu Đại Bảo bên kia dấu vết đã làm xong, bên kia hẳn là cũng có báo cáo. Lần này, bên kia......"

"Chuyện cụ thể không cần nói cho ta. Ta chỉ dùng biết không xảy ra chuyện là được rồi. " Phùng Lạc Y( Von Neumann) bình tĩnh nói. Tại Vương Kỳ cùng Cẩu Đại Bảo bắt đầu chứng minh thực tế thời điểm, liền có thật nhiều Thiên Kiếm đối diện cái kia bí địa. Ở tình huống lúc đó, coi như Cẩu Đại Bảo có thể thoát ly cái không gian kia đứng thức cỡ nhỏ Thiên Thần pháp khí, cũng chỉ sẽ bị Thiên Kiếm đuổi kịp, sau đó triệt để bốc hơi.

Phùng Lạc Y( Von Neumann) đầu tiên là cùng Vương Kỳ giản yếu nói một lần mình cùng Đồ Linh (turing) chân nhân vừa mới đối thoại. Vương Kỳ đầu tiên là kinh phục tại Đồ Linh (turing) chân nhân làm ra, càng cảm thán một chút cái vũ trụ này vật lý quy luật thần kỳ.

Tại cái vũ trụ này, Von Neumann máy khái niệm, là so Đồ Linh (turing) máy sớm hơn xuất hiện. Đây là một cái phi thường chuyện thần kỳ. Phùng Lạc Y( Von Neumann) cùng Đồ Linh (turing) là trước dựa vào bắt chước sinh linh hồn phách, quy phạm hoá ra phùng thị khung, sau đó lại đem tiến một bước cơ giới hoá, đạt được một cái không lớn nghiêm khắc "Đồ Linh (turing) máy".

Cũng chỉ có khoa học kỹ thuật hộp đen đặc biệt dễ dàng hình thành cái vũ trụ này, mới có thể ủng hộ loại hiện tượng này.

Hiện tại, Thần Châu tu sĩ đối toán khí cùng bàn tính ở giữa nhận biết là như vậy—— đầu tiên, toán khí không thể nghi ngờ là bàn tính tiến giai phiên bản. Nhưng là, toán khí cùng bàn tính ở giữa cũng chưa từng có độ phiên bản đâu?

Không ai biết.

Mà bây giờ, Đồ Linh (turing) chân nhân liền tiếp lấy toán học logic đột nhiên tăng mạnh, lấp lên cái này một khối trống chỗ.

Cái này nghiên cứu cũng không phải cái gì lấy tên đẹp "Bổ khuyết trống không" Lừa gạt kinh phí hạng mục. Nó minh xác toán khí cơ sở, để toán khí phát triển "Cước đạp thực địa".

Rất nhiều toán khí phương diện lý luận, có kiên cố hơn thật căn cơ. Toán khí phương hướng nghiên cứu tiến hành chỗ trống cũng lớn hơn chút.

Mà dựa theo Đồ Linh (turing) nói, đây vẫn chỉ là một cái "Sản phẩm phụ". Hắn là đang suy nghĩ như thế nào vòng qua "Không thể phán định" Thời điểm, đối toán khí lý luận làm ra cải tiến.

Mà Đồ Linh (turing) chân nhân chân chính suy nghĩ vấn đề, mới là càng làm cho Vương Kỳ cảm thấy hứng thú.

"Ngài là nói, ngài vừa rồi tại thử nghiệm làm ra một loại logic suy luận phương pháp, dùng để chứng minh......Chứng minh một vài vấn đề? "

"Ta hi vọng hắn có thể vòng qua ngươi không hoàn mỹ, bất quá hình như là thất bại. " Đồ Linh (turing) chân nhân mở ra sách của mình bản thảo, chỉ vào nói "Đầu tiên, chúng ta tại một cái không biết biến thiên thức ở trong định nghĩa ra thiên nguyên địa nguyên người nguyên—— tựa như chúng ta thường xuyên tại Thiên Nguyên Thức ở trong làm đồng dạng, dùng hư cấu ký hiệu đi xử lý không biết biến thiên thức. Sau đó, chúng ta giả thiết chúng ta có hai cái biến thiên thức‘ đấu’ cùng‘ trâu’—— đừng hỏi ta cụ thể là cái gì, giả thiết có như thế một cái......"

Phùng Lạc Y( Von Neumann) có chút cảm thấy hứng thú. Loại này cái gì đều là "Giả thiết" Mạch suy nghĩ, vẫn là rất hiếm thấy.

Mà đổi thành một bên, Vương Kỳ lại há to miệng.

"Cái này......Đây rõ ràng là......"

Đây làλ phép tính, địa cầu lịch sử thượng tồn tại qua một cái khác không thể phán định chứng minh.

Cũng chính là Alan Turing đạo sư, nhà toán học Alonzo Church chứng minh phương pháp.

Mặc dù Alan Turing cuối cùng chứng minh cái nàyλ phép tính cùng Đồ Linh (turing) máy là đồng giá, đều là đối không thể phán định tính chứng minh. Nhưng là, hai cái này chứng minh pháp tại toán học bên trên nhưng lại có ý nghĩa hoàn toàn bất đồng. Tại sau này phát triển ở trong, Đồ Linh (turing) máy chứng minh cùngλ phép tính chứng minh đều đi ra một đầu lo sợ không yên đại đạo.

Nghĩ tới đây, Vương Kỳ nhìn xem Đồ Linh (turing) chân nhân kia hơi có vẻ thanh tú mặt, trong lòng có chút thổn thức.

Nghĩ không ra a nghĩ không ra. Đồ Linh (turing) máy chứng minh cùngλ phép tính chứng minh tương hỗ là trong ngoài, đồng quy nhưng lại khác đường. Mình trước đó mượn lấy "Tự chỉ" Đông phượng, dùng Đồ Linh (turing) máy chứng minh không thể phán định, sau đó Đồ Linh (turing) chân nhân lại đem Alonzo Church mạch suy nghĩ cho hoàn thành.

—— Thần Châu đại tu, mặc dù trên thân đều có trên Địa Cầu một ít người cái bóng, nhưng là, bọn hắn chung quy là có sinh mệnh của mình.

Alonzo Church là Alan Turing đạo sư. Nhưng là tại phương này thiên địa, Đồ Linh (turing) chân nhân chính là tự học thành tài, lúc này mới tự nhận Thiên Cơ các, trấn áp Phù Tang vạn yêu.

—— bất quá, Đồ Linh (turing) mạch suy nghĩ phải cùng Alonzo Church không đúng lắm được mới là đi? Đồ Linh (turing) chân nhân đến cùng là như thế nào đi ra bước này?

Hai vị Tiêu Dao tu sĩ đều là tư duy nhanh nhẹn, giao lưu cũng thật nhanh. Ngay tại Vương Kỳ thất thần thời gian qua một lát, Đồ Linh (turing) chân nhân đã nói xong mình mới ý tưởng. Hắn cười cười, nói "Phép tính này cũng được xưng tụng không tầm thường. Chính ta thử qua, hắn có thể chứng minh cơ hồ hết thảy đầu đề, biểu đạt cơ hồ hết thảy toán học hệ thống—— nó là cái hoàn mỹ hệ thống. "

Đây là Đồ Linh (turing) chân nhân đối không thể phán định tính suy nghĩ, cũng là hắn đúng không hoàn mỹ suy nghĩ.

Phùng Lạc Y( Von Neumann) nói "Nhưng Vương Kỳ trước đó cũng chứng minh qua, hoàn mỹ tính cùng tương dung tính là sẽ không cùng lúc tồn tại. Cái này nếu là cái vạn có vạn năng phép tính, kia......"

"Vậy nó tất nhiên là một cái tự mâu thuẫn phép tính. " Vương Kỳ ngón tay tại không trung huy động, ngưng tụ thải quang, viết xuống đạo đạo biểu thức số học: "Đối với có ý nghĩa logic hệ thống, cường đại biểu đạt năng lực tất nhiên nương theo lấy không thể phá vỡ hạn chế. Chúng ta bây giờ thay vào một chút rõ ràng là sai lầm phép tính......Ngươi nhìn, cũng nói thông được"

Nếu là một cái lý luận, đối cũng tốt sai cũng được, chính diện mặt trái đều có thể giải thích được, nói thế nào đều nói đến xuất đạo lý, vậy thì đồng nghĩa với không có bất kỳ cái gì đạo lý.

Đồ Linh (turing) chân nhân nhìn Vương Kỳ phản ứng mau lẹ, tán thưởng nhẹ gật đầu: "Ngươi xác thực lợi hại. Ta tại lúc mới bắt đầu nhất, cũng ý thức được điểm này. Chỉ bất quá, lúc ấy ta còn muốn lấy, có thể dựa vào thực hiện càng nhiều‘ hạn định’ đến lẩn tránh loại này tự mâu thuẫn. "

"Không thể nào. " Vương Kỳ lắc đầu nói: "Tự tham khảo (Self-reference) là không vòng qua được đi. "

Tự tham khảo (Self-reference), đồng dạng làλ phép tính không vòng qua được đi khảm.

Cái này tên làλ phép tính ở trong, λ nguyên hình là một cái hàm số. Tại định nghĩaλ hạng thời điểm, nó được cho phép đem tùy ý một cái hàm số xử lý thành một cái khácλ hạng.

Nếu là "Tùy ý một cái hàm số hạng", kia tất nhiên liền đã bao hàmλ hạng tự thân.

Như vậy, nó có thể xử lý tự thân sao?

"Tự tham khảo (Self-reference), cỡ nào thần kỳ một cái khái niệm. " Đồ Linh (turing) chân nhân khen: "Ta cảm giác, chúng ta bây giờ công việc hạch tâm bộ phận đều cùng nó cùng một nhịp thở. "

"‘ lời ấy không thật’ thật giả chi phân biệt, đều đã tồn tại trên vạn năm, nhưng Vương Kỳ trước đó, không có người nhận thức đến nó bên trong khủng bố nội hàm. " Phùng Lạc Y( Von Neumann) gật gật đầu, đồng ý Đồ Linh (turing) cách nhìn.

Không hoàn mỹ cũng là, không thể phán định cũng là. Cái này "Tự tham khảo (Self-reference)", giống như chính là logic bên trên một cái cột mốc biên giới. Nó chính là toán học bản thân giới hạn bên trên, một cái dễ thấy cột mốc biên giới.

Phảng phất chính là có như thế một đầu giới hạn, một mực hạn chế lại logic phát triển.

Vượt qua giới hạn này, hoặc là cũng chỉ có thể đối mặt vô cùng vô tận vòng lặp vô hạn, hoặc là cũng chỉ có thể tự mâu thuẫn, đứng không vững theo hầu.

Như thế nào vòng qua cái này giới hạn, một trận là nhà toán học nhóm vấn đề quan tâm nhất.

"Lần này nếm thử, xem như bại. " Đồ Linh (turing) chân nhân chậm rãi nói: "Cái này bị ta trở thành vạn tượng phép tính toán thuật, còn có ý nghĩa khác, ta quá chút thời gian lại sửa sang lại. Tiếp xuống ta giảng, lại là ta cá nhân một cái nho nhỏ ý nghĩ. "

"Nếu—— chỉ là nếu. " Đồ Linh (turing) chân nhân cường điệu nói: "Nếu là chúng ta thật có thể vòng qua cái kia giới hạn—— nơi này chúng ta tạm thời mặc kệ cụ thể là thế nào vòng qua, chỉ nói chúng ta có thể làm được điểm này. Coi như thiên đạo đột nhiên liền phải giá rẻ, ‘ đại đạo thanh âm’‘ Phạn Thánh thiện xướng’ loại hình Linh Tê (tin tức) tràn đầy cùng thiên địa ở giữa, sau đó chúng ta có thể tuỳ tiện thành lập như thế một đài toán khí, nó trực tiếp liên thông đại đạo, có thể đứng yên hết thảy đặc biệt vấn đề đáp án......"

Vương Kỳ trong lòng sáng tỏ. Đồ Linh (turing) chân nhân nói, trên địa cầu liền được xưng "Oracle machine".

"Oracle machine", là một cái khác liên tiếp "Thượng Đế" Đồ Linh (turing) máy, là giam giữ tiên tri hộp đen. Nếu nói, có một cái Oracle machine mang theo số nguyên tố phán định dụ kỳ, nó trừ có thể làm phổ thông Đồ Linh (turing) cơ năng làm mọi chuyện bên ngoài, còn có thể nháy mắt phán định giấy mang lên viết cái nào đó số tự nhiên phải chăng số nguyên tố, mà không cần thực tế đi tính toán.

Như vậy, một chút nguyên bản liên quan đến tự tham khảo (Self-reference), liên quan đến mâu thuẫn vấn đề, Oracle machine có thể giải quyết sao?

Tỉ như nói, tự tham khảo (Self-reference) đưa tới mâu thuẫn.

"Đây chính là gần nhất làm ra một cái khác phỏng đoán. Cái này‘ tự tham khảo (Self-reference)’, đến tột cùng có thể hay không đi vòng qua đâu? " Đồ Linh (turing) chân nhân cười khổ: "Hư cấu ra đại đạo thánh âm, đến tột cùng có thể hay không giải quyết vấn đề này? "

Toán học thường xuyên có loại này chứng minh phương pháp, chính là trước giả định một vật tồn tại, sau đó lại căn cứ cái tiền đề này làm đủ loại logic suy luận.

Đồ Linh (turing) chân nhân cái này làm ra suy luận, bản chất chính là—— tìm ra một cái trong tưởng tượng của ta không gì làm không được tồn tại, giả định nó có thể giải quyết nguyên bản không thể phán định vấn đề, sau đó lại nhìn nó đến tột cùng có thể giải quyết vấn đề gì.

"Chúng ta tưởng tượng ra tới đồ vật, đến tột cùng có thể hay không hoàn thành cái này sự nghiệp đâu? " Đồ Linh (turing) chân nhân nhìn xem Vương Kỳ cùng Phùng Lạc Y( Von Neumann), bình tĩnh hỏi: "Nếu là có thể thực hiện, thì đại biểu chúng ta con đường còn có một tia hi vọng. Nhưng coi như chúng ta giả tượng ở trong không gì làm không được đều làm không được......"

Phùng Lạc Y( Von Neumann) hỏi: "Kết quả như thế nào? "

Đồ Linh (turing) chân nhân báo chi lấy cười khổ: "Không thế nào tốt. "

Nếu như tồn tại một cái phán đoán quay xong vấn đề chương trình giáp（ giáp cần đưa vào là một cái chương trình）, chúng ta lại cấu tạo một cái mới chương trình Ất, cái chương trình này điều động giáp nhưng là cùng giáp chuyển vận vừa vặn tương phản:nếu như Ất đưa vào trải qua giáp phán đoán là quay xong, thì Ất không quay xong； nếu như Ất đưa vào trải qua giáp phán đoán là không quay xong, thì Ất quay xong.

Giả định tồn tại mang theo quay xong vấn đề dụ kỳ Oracle machine, nếu như đài này máy móc giấy mang lên viết một đài phổ thông Đồ Linh (turing) máy "Mã hiệu(code)" Cùng đưa vào, như vậy nó không cần tính toán liền có thể có thể nháy mắt biết, đài này phổ thông Đồ Linh (turing) kỳ ngộ đến chỉ thị đưa vào lúc đến cùng có thể hay không quay xong.

Thế nhưng là, nếu là đem dù cho đem chứng minh bên trong tất cả "Đồ Linh (turing) máy" Ba chữ đều đổi thành "Mang theo‘ số luận vấn đề’ dụ kỳ Oracle machine", những bộ phận khác một chữ không đổi đâu? Không hoàn mỹ chứng minh y nguyên thành lập !

Có lẽ là nhân loại tự thân tư duy hạn chế tưởng tượng của bọn hắn đi, liền xem như nhân loại trong tưởng tượng không gì làm không được, cũng không thể vượt qua đạo này tuyến.

Cho dù là đại đạo thánh âm, cũng gõ không ra đạo này cái. ( chưa xong còn tiếp. ). Được convert bằng TTV Translate.