không người vỗ tay - Truyện Tẩu Tiến Tu Tiên

Màu nền:
Font chữ:
Chiều cao dòng:
Kích Cỡ Chữ:

« Đi Vào Tu Tiên » Chương 239: không người vỗ tay
"Tiếp xuống, ta muốn giảng, chính là ta từ Hi môn chủ, từ Ca Đình-Göttingen phái công việc ở trong học tập được trọng yếu nhất khái niệm ! Hình thức hóa. "

Vương Kỳ lời kia vừa thốt ra, Toán Quân lông mày liền thêm ra một đạo khe rãnh.

Mà tại phía sau hắn, càng nhiều Thiếu Lê Phái Toán gia cơ hồ rời khỏi phẫn nộ.

Toán Chủ Hi Bách Triệt( David · Hilbert) cả đời ở trong có vô số thành tựu. Nhưng là, hắn tại toán học bản chất cách nhìn phía trên lại rộng làm người lên án, tuyệt đại đa số Toán gia đều khó mà tiếp nhận.

Tại Toán Chủ xem ra, toán học bản chất, chính là "Hình thức". Đơn độc ký hiệu không tồn tại bất cứ ý nghĩa gì. Những cái kia ký hiệu sắp xếp "Hình thức" Mới là toán học.

Như vậy cũng tốt so nói "1 + 1= 2" Cái này ban sơ công thức bên trong, "1", "+", "=", "2" Mấy cái này ký hiệu đều là không có ý nghĩa, mà chỉ có cái kia hoàn chỉnh đẳng thức tại có toán học ý nghĩa.

Mà đổi thành một bên, Ca Đình-Göttingen phái rất nhiều Toán gia cũng tâm tình phức tạp. Trên mặt bọn họ lộ ra quỷ quyệt biểu lộ, xen lẫn mê võng, phẫn nộ.

"Hình thức" Lý niệm đã bao hàm nhất trí tính, hoàn mỹ tính, có thể phán định tính. Có thể nói là Toán Chủ Hi Bách Triệt( David · Hilbert), cả đời lý tưởng dụ lớn nhất truy cầu.

Mà phủ định phần này lý tưởng, chính là Vương Kỳ bản nhân.

Vương Kỳ sử dụng Toán Chủ mạch suy nghĩ, bác bỏ Toán Chủ truy cầu, cũng phủ định Ca Đình-Göttingen phái mấy chục năm cố gắng.

Nhưng là, đủ loại này phức tạp tâm tư cũng không có ảnh hưởng đến Vương Kỳ.

Vương Kỳ minh bạch, hiện tại hắn đại biểu, không phải chính hắn, mà là "Chính xác".

Tự tham khảo (Self-reference) cũng không phải là một cái toán học miêu tả—— nó đúng là thuộc về logic, nhưng là có hay không thuộc về toán học còn còn chờ thương thảo, cũng không phải là tất cả nhà toán học đều thừa nhận điểm này. Địa Cầu cũng tốt, Thần Châu cũng tốt, đều có dạng này dấu hiệu.

"Cái này một trần thuật không cách nào chứng minh", cũng không phải là nghĩa hẹp bên trên toán học trần thuật.

Gödel chứng minh phương pháp bước thứ hai, chính là đem cái này không phải toán học trần thuật hoặc là nói chuẩn toán học trần thuật, chuyển hóa thành một cái toán học trần thuật.

Địa Cầu đem xưng là—— "Đánh số Gôdel".

—— có lẽ tại Thần Châu, nó sẽ gọi là "Vương Kỳ số hóa" Đi?

"Người bình thường tại lý giải cái này không hoàn mỹ thời điểm, rất dễ dàng liền lâm vào tầng tầng bản thân tham chiếu trong sương mù, khó mà tự kềm chế. Ta phỏng đoán, cái này ước chừng là cùng khang tiền bối đường chéo chứng pháp, vô tận cơ số trái với chúng ta trời sinh trực giác có quan hệ. Cũng chính là cái này nhất trọng nguyên nhân, cho nên trăm ngàn năm qua, chúng ta các tiền bối mới có thể đối cái này nhất trọng đạo lý làm như không thấy. "

"Mà nhất định phải giải khai cái này nhất trọng mê vụ, liền nhất định phải sử dụng loại hình thức này hóa phương pháp. "

Vương Kỳ hai tay thả ra kim quang, huyễn hóa ra trùng điệp màn sáng, vô số tính phù ở phía trên bay múa, sắp xếp, bày ra lấy một cái vĩ đại chứng minh.

Gödel chứng minh định luật bất toàn bộ phận thứ hai, cũng là vĩ đại nhất bộ phận, ngay ở chỗ này.

"Bất luận cái gì tiên đề hệ thống, chỗ vận dụng tính phù, đủ khả năng tồn tại tiên đề, đều là có hạn. Bởi vậy, những này tiên đề, những này tính phù đủ khả năng liệt kê ra trần thuật, cũng nhất định là có thể đếm được—— vô tận có thể đếm được, đạo nguyên số số không, số tự nhiên số lượng. Chính là như thế miêu tả. "

"Mà những này có khả năng trần thuật, chiều dài cũng tất nhiên là có thể đếm được. Mà đã còn tại có thể đếm được vô tận phạm trù bên trong, chúng ta liền có thể dùng số tự nhiên cho nó số hiệu. Mỗi một cái số hiệu đều là độc nhất vô nhị. "

"Sau đó, chúng ta liền có thể thành lập một cái tập hợp‘ giữa bầu trời’, cái này tập hợp‘ giữa bầu trời’, chính là bao gồm tất cả có khả năng trần thuật ‘ số hiệu’. Một cái tiên đề hệ thống bên trong, tất cả có khả năng trần thuật, đều nhất định tại cái này số hiệu bên trong. "

......

Giảng đạo tiến hành đến nơi này thời điểm, đã bắt đầu thoát ly tuyệt đại đa số người đủ khả năng lý giải phạm vi. Cái gì "Có thể đếm được vô tận", cái gì "Cơ số", "Số thứ tự". Những này đều đã vượt qua phạm vi hiểu biết của bọn họ.

Liền ngay cả hiện thân hiện trường nghe Vương Kỳ giảng đạo những cái kia Tiêu Dao tu sĩ, cũng có mấy cái lộ ra mê võng chi sắc.

Thiếu niên này nói tới mỗi một bước, bọn hắn đều có thể lý giải. Nhưng là, những vật này cùng tiến tới về sau, đến tột cùng có cái gì toán học ý nghĩa?

Hoàn toàn không rõ !

Càng nhiều mượn nhờ Vạn Tiên Huyễn Cảnh xem cái này "Trực tiếp" Kim Pháp Tu, thì nhao nhao hoa mắt váng đầu. Cái này nhìn như đơn giản chứng minh, tựa hồ bao hàm vô tận ma lực, phảng phất muốn đem bọn hắn tư duy kéo hướng một cái vực sâu.

Phùng Lạc Y( Von Neumann) không thể không thở dài, lấy "Phụ đề" Phương thức, hướng tất cả thông qua trực tiếp quan sát tu sĩ tiến hành giải thích.

Số này hóa quá trình, nói trắng ra là chính là "Chiếu rọi".

Đem toán thuật trong hệ thống ký hiệu, biểu đạt thức cùng biểu đạt thức danh sách đều chiếu rọi số lượng—— thông qua đưa vào "Gödel số" Mà thực hiện đối tượng số hóa thủ tục. Xử lý như vậy kết quả, đối với Toán học logic cùng cái khác có quan hệ chi nhánh đến nói, đang nghiên cứu phương pháp bên trên liền cung cấp một loại kỹ thuật số hóa công cụ, có thể thuận tiện mà đem một vài thảo luận đối tượng chuyển đổi thành số tự nhiên hoặc số tự nhiên hàm số, có thể dùng số tự nhiên lý luận đến đòi luận vấn đề có liên quan.

Đem một cái chuẩn toán học trần thuật chuyển biến làm một cái có toán học ý nghĩa trần thuật.

Đây chính là cái này "Số hóa" Ý nghĩa chỗ.

Mà khi cái này chứng minh tiến vào giai đoạn thứ hai nửa đoạn sau lúc, Ca Đình-Göttingen phái trong trận, Ngải Khắc Man nhẹ nhàng thở dài: "Nguyên thủy đệ quy thức a......"

Nét mặt của hắn ở trong bao hàm mười phần tiếc hận cùng hối hận.

—— ta cũng nghiên cứu qua lĩnh vực này a......Nếu là ta năm đó có thể thâm nhập hơn nữa một điểm, có thể hay không liền có thể tránh khỏi hôm nay kiếp nạn?

Có mấy cái Ca Đình-Göttingen phái tu sĩ lập tức phát tới nói chuyện riêng: "Ngải huynh, ngươi đối lĩnh vực này có nghiên cứu? Có thể hay không tại một bước này vấp Vương Kỳ mất tự do một cái? "

Ngải Khắc Man cười khổ lắc đầu. Vương Kỳ một bước này cũng không có làm sai. Hắn có thể đem đúng nói thành là sai sao?

Đồng thời, hắn cũng quyết định, trở về liền cẩn thận nghiên cứu cái này ngày xưa cũng không được coi trọng lĩnh vực,

Đương nhiên, người ở chỗ này cũng không biết, số này hóa chứng minh còn có vượt qua bản thân ý nghĩa.

Nó đồng thời cũng là đệ quy luận nguồn suối.

Mà đệ quy luận, chính là hiện đại logic học trọng yếu nhất chi nhánh một trong.

Đến trình độ này, Vương Kỳ chứng minh cũng tiến vào hồi cuối.

Vương Kỳ một lần cuối cùng huy động hai tay. Tính phù sắp xếp thành định luật bất toàn chứng minh.

"Đây chính là toàn bộ quá trình. "

Toàn trường yên tĩnh im ắng.

Toán học tại thời khắc này đi hướng tử vong.

"Nhất trí tính cùng hoàn mỹ tính không thể đều chiếm được, toán học không mâu thuẫn mà không hoàn mỹ......" Xem trực tiếp rất nhiều Vạn Pháp Môn đệ tử, cơ hồ khóc lên.

Vương Kỳ kể xong định luật bất toàn chứng minh về sau, liền đến bục giảng biên giới tĩnh tọa một lát. Hôm nay giảng đạo, chính là chia làm bốn bộ phận. Trước một bộ phận, giảng chính là định luật bất toàn, tiếp xuống một bộ phận, giảng thì là không thể phán định định lý [essential undecidability].

Sau đó, mới là đặt câu hỏi cùng tổng kết thời gian.

Những cái kia Tiêu Dao tu sĩ, cũng cần thời gian nhất định đến hấp thu, lý giải những vật này.

Hắn nhắm mắt dưỡng thần, tựa hồ hoàn toàn không cảm giác được chung quanh những cái kia đỉnh đỉnh đại tu thêm nữa với hắn trên người ác ý.

Coi như đưa mắt đều địch lại có làm sao? Nơi này là cầu đạo người lĩnh vực, mà không phải đấu pháp trường hợp. Tùy ngươi định phá lớn trời, cũng không có khả năng đem đính chính nghịch chuyển.

Nghỉ ngơi ngắn ngủi về sau, Vương Kỳ một lần nữa đi trở về bục giảng trung ương. Bởi vì ngắn ngủi tu chỉnh mà xuất hiện tiếng bàn luận xôn xao cũng dần dần biến mất. Vô số tu sĩ lực chú ý liền tập trung đến Vương Kỳ trên thân.

Như là một đầu lại một đầu rắn độc, đang tìm kiếm con mồi yếu hại, mưu cầu một kích mất mạng.

Vương Kỳ tiếp tục mở giảng đạo: "Đang nói ‘ không được đầy đủ’ về sau, chúng ta lại đến nói một câu‘ đơn giản’—— cũng chính là không thể phán định định lý [essential undecidability]. "

"Không thể phán định định lý [essential undecidability] trước một bộ phận các loại định luật bất toàn đồng dạng, đều là‘ tự tham khảo (Self-reference)’, nơi này ta liền không còn lắm lời. Ta phía dưới liền trực tiếp tiến vào không thể phán định định lý [essential undecidability] chứng minh cái thứ hai bộ phận. "

"Đầu tiên, ở đây, ta cần cảm tạ Đồ Linh (turing) chân nhân, cảm tạ hắn trong vấn đề này trợ giúp ta, cũng cảm tạ hắn cung cấp một loại đồng giá chứng minh pháp. "

"Đầu tiên, ta muốn giới thiệu loại thứ nhất chứng minh pháp, là chính ta đưa ra, là mượn nhờ nghĩa hẹp Đồ Linh (turing) toán khí cơ chế......Mà cái thứ hai bộ phận, Đồ Linh (turing) chân nhân xưng là‘ vạn pháp vạn tượng thức’. Nó là căn cứ định luật bất toàn mà cấu tạo ra, một cái hoàn mỹ mà không nhất trí phép tính. "

Đây cũng là Vương Kỳ cùng Đồ Linh (turing) chân nhân thương lượng xong bộ phận.

Nghĩa hẹp Đồ Linh (turing) toán khí cùng vạn pháp vạn tượng thức—— cũng chính là Đồ Linh (turing) máy cùngλ phép tính, cùng định luật bất toàn chứng minh nửa đoạn sau giai đoạn thứ hai đồng dạng, có siêu việt cái này chứng minh bản thân tiềm lực. Bọn chúng ở đời sau, riêng phần mình phát triển ra cành lá rậm rạp con đường.

Đồ Linh (turing) chân nhân cũng thật cao hứng, mình cái kia không lớn để ý định lý có thể bị lan truyền. Vương Kỳ cũng cần một chút Tiêu Dao tu sĩ biểu thị ủng hộ, để cho mình lộ ra không phải như vậy thế đơn lực bạc, để cho càng nhiều Toán gia có thể đi theo mình, khai sáng toán học mới thiên địa.

Hai người có thể nói là ăn nhịp với nhau.

Không thể phán định định lý [essential undecidability] chứng minh quá trình, cùng kia không hoàn mỹ so sánh, lộ ra muốn chỗ tốt lý rất nhiều. Nhất là cái thứ nhất bộ phận, Đồ Linh (turing) máy chứng minh. Cố sự này, cơ hồ chính là cùng Vương Kỳ trước đó giảng thuật "Con rối thẩm quan", còn có thận diễn « Ngân Dực Thích Khách (tội phạm nhân bản) » một mạch tương thừa.

Không ít không thuộc về Vạn Pháp Môn tu sĩ, nhất là những cái kia lấy "Văn nghệ", "Nhà nói" Vì tu luyện chi pháp tiểu môn phái, đều nghe được say sưa ngon lành. Bọn hắn nghe không hiểu Vương Kỳ lý luận, lý giải không được Vương Kỳ lý luận phía sau toán học ý nghĩa. Nhưng là, bọn hắn có thể nghe hiểu cố sự ! Bọn hắn Não Hải ở trong cơ hồ nổi lên vô tận cố sự.

Có thể đoán được, trong tương lai trong một đoạn thời gian, "Khôi lỗi nhân" Sẽ thành người kể chuyện trong miệng lôi cuốn đề tài.

Mà còn không có sụp đổ Vạn Pháp Môn đệ tử, đối loại phương pháp thứ hai hiện ra càng lớn hứng thú.

Bạc Tiếu Phong cả người đều ở một loại mộng bức trạng thái. "Hoàn mỹ nhưng là tự mâu thuẫn hệ thống" ? Loại vật này thật tồn tại? Trong này có cái gì toán học ý nghĩa sao?

Vương Kỳ giảng thuật, tự buổi trưa bắt đầu, tự giờ Dậu mà chuông. Khi giờ Dậu tiếng chuông tại Thần Châu đại địa gõ vang thời điểm, lần này giảng đạo, cũng tiến vào cuối cùng.

"Từ trên tổng hợp lại, chúng ta có thể làm ra dạng này chứng minh......" Vương Kỳ hít sâu một hơi, nói ra sau cùng hai câu nói.

"Ta nghĩ, chúng ta có thể tự hào tuyên bố, Hi Môn Nhị Thập Tam hỏi ở trong mấu chốt nhất thứ hai hỏi, thứ mười hỏi đã cái viên mãn giải quyết. Tính lý cơ sở ở trong, trọng yếu nhất nhất trí tính, hoàn mỹ tính, có thể phán định tính chứng minh, cũng đã hoàn thành. "

"Toán học, liền muốn tiến vào một thời đại mới. "

Không người vỗ tay.

Nhưng là, tất cả mọi người cảm giác—— một trận bỏ cũ lập mới biến động, có lẽ thật muốn tới......( chưa xong còn tiếp. ). Được convert bằng TTV Translate.