trộn lẫn một cước - 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 217: trộn lẫn một cước
Một tôn lư hương bên trong, vài tia khói xanh lượn lờ. Cả gian trong phòng không nhìn thấy bất luận cái gì nguồn sáng, nhưng là không biết từ đâu mà đến quang, chính là đem gian phòng mỗi một tấc đều chiếu sáng. Thượng hạng trên diện rộng giấy tuyên có trong hồ sơ dâng đủ chỉnh tề chỉnh mã lấy. Sách trai chủ nhân càng thêm đặc biệt thích mềm bút, bởi vậy trên bàn sách còn có một chiếc nghiên mực. Nghiễn bên trong có mực, đều đều sền sệt, dường như dầu lại như là nước. Một cây bút lông cách.

Những cái kia mực, phảng phất đang chờ đợi, chờ đợi mình biến thành kinh thế văn chương một khắc.

Nhưng trên thực tế, những này mực giống như mới mài, cũng chỉ là trên nghiên mực tự mang pháp thuật hiệu quả. Kia cán bút, đã hồi lâu không động.

Mực cùng bút chủ nhân, đã cứng tại nơi này thật lâu rồi.

Toán Chủ Hi Bách Triệt( David · Hilbert), vô luận viết chữ gì, ở bên ngoài đều đều sẽ bị phụng làm mặc bảo. Mặc dù chữ của hắn đúng là vô cùng tốt. Nhưng là, thân phận của hắn mới thật sự là cực cao.

Thế nhưng là, dạng này một vị thần nhân, cũng có mặt ủ mày chau một ngày.

"Ai......Vẫn là không có tiến triển. " Hắn lắc đầu, yên tĩnh xa xăm trong ánh mắt, có không che giấu được lo nghĩ.

Những ngày này, hắn dốc hết mình hết thảy. Thành quả cũng không thể nói không có, nhưng là không đáng giá nhắc tới. Cùng hắn mình hùng tâm tráng chí so sánh thực sự là nhỏ bé.

"Lão sư......" Hi Bách Triệt( David · Hilbert) đệ tử một trong tại phía sau hắn lo lắng nhìn xem: "Gần nhất ngài giống như quá mức sầu lo......"

"Đúng vậy a. " Toán Chủ thở dài: "Toán Quân a......Vẻn vẹn luận tính đạo, tuyệt không đối thủ Toán Quân. Nhân vật như vậy giết tới, ta nếu không sợ, bên kia không phải ta. "

Toán Chủ không phải là thiên tài. Lấy cùng thế hệ mà nói, hắn là "Cố gắng loại thiên tài", lấy cần cù tu luyện tự thân, kiên trì không ngừng. Tự nhiên mà vậy, hắn cùng thế hệ ở trong thiên tài, đã rơi vào hắn đằng sau.

Đời này của hắn, cũng không phải là chưa từng bại qua, không có sợ quá. Bởi vậy, hắn cũng không xấu hổ tại đàm luận những này..

Tự nhiên mà vậy, nghĩ cái gì thì nói cái đó.

"Lão sư, ngài có lẽ có thể hướng tới thường như thế nghỉ ngơi một chút, giải sầu một chút, hoàn mỹ luật cửa này, kỳ thật cũng không phải là không phải đánh hạ không thể. Ngài nhìn, ba năm năm trước chúng ta đã chứng ra toán học không ít điểm chi hệ thống hoàn mỹ tính......"

"Gì khoa. " Hi Bách Triệt( David · Hilbert) một ngụm kêu lên cái này học sinh danh tự: "Ngươi gần nhất có phải là nghe được tin tức gì? "

Vị này nửa bước Tiêu Dao tu sĩ, chính là hắn trước kia mấy vị đệ tử một trong, tình cảm cùng Toán Chủ về sau đệ tử tất nhiên là không giống. Hắn có chút không dám đi xem mình lão sư bóng lưng, cúi đầu nói: "Gần nhất......Ta cùng Hà sư đệ tiếp xúc qua......"

Hà Ngoại Nhĩ (Hermann Weyl) là Toán Chủ liền có thành tựu đệ tử. Toán Chủ không ít đệ tử đều tôn xưng hắn là sư huynh. Nhưng là gì khoa loại này càng thêm lớn tuổi, lại xưng chi vì sư đệ.

Hi Bách Triệt( David · Hilbert) lộ ra nhức đầu biểu lộ: "Bên ngoài ngươi a......Tên kia tin Liên Tông về sau, liền thay đổi. Hắn nói cái gì ? "

"Ta thăm dò qua hắn ý tứ, sự tình tựa hồ thật rất không ổn......"

"Nhìn Toán Quân vẫn còn có chút bản lãnh. " Toán Chủ gật gật đầu, lơ đễnh: "Ta lý luận lỗ thủng rất nhiều, hắn nếu là có thể giúp ta tìm ra một hai dạng, ta ngược lại là vô cùng cảm kích. Chỉ bất quá, hắn cũng không tiết vu suy nghĩ lĩnh vực này đi? Hừ. "

Gì khoa khẽ cắn môi: "Còn có, Phùng tiên sinh......Phùng tiên sinh cũng biết. Chỉ là, bọn hắn đều lo lắng ngài không chịu nổi......"

"Ta nói ta người bạn cũ này gần nhất làm sao lén lén lút lút, nguyên lai cái này như vậy đi? " Hi Bách Triệt( David · Hilbert) biểu lộ có chút ngưng trọng: "Nhìn, thật là vấn đề lớn a. Có thể có bao nhiêu cơ sở đâu? Ta đến cùng là nơi nào......"

Gì khoa trong lòng một mảnh lạnh buốt:đến bây giờ, lão sư mạch suy nghĩ đều không có hướng "Hoàn mỹ tính" Bên trên dựa vào......Hắn căn bản không nghi ngờ toán học hoàn mỹ tính......

"Lão sư, chúng ta còn có đường lui. Chúng ta còn có thể thông qua siêu nghèo phép quy nạp, từ hệ thống bên ngoài chứng minh hệ thống hoàn mỹ tính......"

Gì khoa chưa hề nói quá lâu. Toán Chủ con mắt nhìn chằm chằm hắn. Cái kia màu đen con ngươi tựa hồ có vô biên quyết đoán. Rất nhanh, hắn liền nói không nổi nữa. Qua một hồi lâu, Toán Chủ mới đưa ánh mắt kéo về đến cái kia mình đã dừng lại thật lâu chứng minh. Hắn phảng phất muốn dọc theo cái này chứng minh, "Nhìn thấy" Toán học bỉ ngạn.

"Chúng ta nhất định phải biết, chúng ta chắc chắn biết......"

Hắn nhẹ giọng thì thầm.

"Nói tóm lại, ta gần nhất ý nghĩ. " Vương Kỳ một mặt bình thản đối Phùng Lạc Y( Von Neumann) báo cáo ý nghĩ của mình.

Cái gọi là "Mạch suy nghĩ", một số thời khắc là cần che giấu, nhưng là một số thời khắc nói ra cũng không sao.

Vương Kỳ cái này mạch suy nghĩ đối với Phùng Lạc Y( Von Neumann) đến nói, chính là như vậy.

Phùng Lạc Y( Von Neumann) đã là đỉnh đỉnh tu sĩ. Vô luận mệnh vẫn là lợi, hắn đều không có cao hơn yêu cầu. Vị này lớn Toán gia suy nghĩ trong lòng, đơn giản chính là cầu được đại đạo, ngoài ra còn có thoát khỏi cái kia cái gọi là "Chung cực tranh cảnh". Trừ cái đó ra, không còn có cái gì lợi ích có thể đả động hắn.

Chẳng bằng nói, vì thực hiện lý tưởng của hắn, Vương Kỳ loại này có thiên phú hậu bối càng nhiều càng tốt. Từ cấp độ này tới nói, Phùng Lạc Y( Von Neumann) đối Vương Kỳ ủng hộ coi là thật có thể nói là tận hết sức lực.

Đây cũng là những cái kia đã "Đăng đỉnh" Gia hỏa không keo kiệt tại dìu dắt hậu bối nguyên nhân.

Phùng Lạc Y( Von Neumann) thì tại Não Hải ở trong suy nghĩ Vương Kỳ mạch suy nghĩ. Hắn nghĩ tới: "Nhìn ngươi cái này trạng thái, lại tựa như muốn giết mặc cái này hai mươi ba hỏi a. "

"Không dám, không dám. " Vương Kỳ muốn có. Hai mươi ba hỏi sao mà đáng sợ? Coi như ở Địa Cầu, cái này hai mươi ba vấn đề ở trong vẫn như cũ có ít hỏi là không giải quyết được. Hắn cho dù có lòng tin độc lập giải quyết trong đó một hai hỏi, cũng không dám nói có thể giải quyết tất cả.

Phùng Lạc Y( Von Neumann) lắc đầu: "Về sau sự tình, ai biết được? Năm sáu năm trước đi, ta liền không nhìn ra, ngươi lại có thể lần theo cái kia hoàn mỹ tính, nhất cử đánh xuyên thứ hai hỏi, thứ mười hỏi—— ngô, nói không chừng còn phải lại thêm vào thứ nhất hỏi. "

"Bất quá......" Phùng Lạc Y( Von Neumann) ánh mắt đột nhiên sắc bén: "Ngươi thật giống như luôn luôn rất thích đi đường quanh co. "

"Đường quanh co? "

Vương Kỳ kinh ngạc. Forcing mới là giải quyết tốt đẹp Liên Tục Thống [giả thiết Continuum] giả thiết vấn đề không có chỗ thứ hai a? Tại sao là đường quanh co?

"Ta gần nhất thấy được một cái mạch suy nghĩ, rất kì lạ, rất thú vị. " Phùng Lạc Y( Von Neumann) nhìn chằm chằm Vương Kỳ con mắt, nói "Đem tất cả có thể thành lập tập hợp cùng cùng thành một cái hệ thống, tại vô hạn bên trong tương đối vô hạn lớn nhỏ......"

Vương Kỳ kinh ngạc: "Có người nghĩ ra được ? "

Đây chính là lúc trước Gödel chứng minh Liên Tục Thống [giả thiết Continuum] giả thiết mạch suy nghĩ !

Tại Z F tiên đề cho phép phạm vi bên trong làm đẩy lên, chứng minh, nếu là Z F tiên đề hệ thống có nhất trí tính, thì Liên Tục Thống [giả thiết Continuum] giả thiết là thật. Tại Z F tiên đề hệ thống bên trong, Liên Tục Thống [giả thiết Continuum] giả thiết không cách nào bị chứng ngụy.

Đối với hai mươi ba hỏi đến nói, đây đã coi như là một cái câu trả lời hoàn mỹ.

Nhưng là, "Không thể chứng ngụy" Cũng không đại biểu "Chứng thực".

Dọc theo cái này mạch suy nghĩ, mọi người đồng dạng có thể chứng ra, tại Z F tiên đề hệ thống bên trong, Liên Tục Thống [giả thiết Continuum] giả thiết không thể chứng thực.

Nói một cách khác, Liên Tục Thống [giả thiết Continuum] vấn đề tại lý thuyết tập hợp phạm trù bên trong, là một cái có không thể phán định tính vấn đề. Nếu như cái này "Không thể chứng thực cũng không thể chứng ngụy" Kết luận lại sớm một chút, như vậy không cần nghiêm ngặt chứng minh thứ mười hỏi, đây chính là đối "Có thể phán định tính" Một cái tuyệt đối phản lệ.

Chỉ có tại hiện hữu tiên đề hệ thống bên ngoài, mới có thể chứng minh.

Forcing, chính là xông ra vốn có tiên đề thể hệ trói buộc, tự khai hệ thống, tự định con đường.

Nhưng là, như thử lý thuyết tập hợp, hiện hữu tiên đề hệ thống làm hòn đá tảng, như vậy cái này "Tự sáng tạo" Hệ thống, lại hẳn là tính thế nào? Nền tảng bên ngoài? Toán học bên trong?

Đây cũng là Forcing ý nghĩa trọng đại nơi phát ra.

Nghe được Vương Kỳ kinh hô, Phùng Lạc Y( Von Neumann) ánh mắt lóe lên: "Cái này mạch suy nghĩ, ngươi cũng từng nghĩ đến đúng không? "

"Mơ hồ nghĩ tới, nhưng là......Không thích lắm. " Vương Kỳ chỉ có thể nói như vậy. Nếu bàn về lý luận luận chứng quá trình giản lược, trôi chảy trình độ, Korn Forcing xa xa không kịp Gödel mạch suy nghĩ. Trừ phi là choáng váng điên rồi, không phải người bình thường cũng sẽ không tại phía trước còn có lúc đi xông ra con đường này.

"Lại là không có căn cứ ‘ trực giác’? " Phùng Lạc Y( Von Neumann) lắc đầu, hiếm thấy không có răn dạy Vương Kỳ, chỉ là cảm thán: "Mấy năm trước đó, tựa hồ cũng phát sinh qua loại sự tình này a......Ngươi tránh đi người bình thường cảm thấy bình thường con đường, đi ‘ đường nghiêng’, thẳng đến trước đó vài ngày bên trong ném ra ngoài không được đầy đủ chi luật, phá kia hoàn toàn chi niệm, ta mới phát hiện, nguyên lai ngươi mấy năm trước quấn đường xa, mới là duy nhất đường ngay. "

Phùng Lạc Y( Von Neumann) chỉ, chính là Vương Kỳ thu hoạch được đạo chủng thưởng trước sau, dùng siêu hạn phép quy nạp chứng minh toán thuật hệ thống nhất trí tính con đường. Dựa theo người bình thường suy nghĩ, hắn hẳn là căn cứ từ mình chứng minh "Nhất giai vị từ logic hệ thống hoàn mỹ" Xuất phát, từ nhất giai đẩy hướng cao giai.

Nhưng là, Vương Kỳ lúc ấy lựa chọn, lại là một đầu vô cùng đường xa—— tại hệ thống bên ngoài chứng minh hệ thống bên trong không mâu thuẫn.

Đám người sẽ kỳ quái, rõ ràng có một đầu Thông Thiên đường bằng phẳng, ngươi lệch không đi, nhất định phải đến hệ thống bên ngoài quấn một vòng, đây không phải ngốc sao?

Lúc ấy, chỉ có Vương Kỳ minh bạch, cái hệ thống này là làm không được "Không giả bên ngoài cầu". Hắn quấn kia một vòng, mới là nhất định.

Bất quá, lần này liền không lớn đồng dạng. Gödel cái kia chứng minh mạch suy nghĩ, chỉ bất quá không có Forcing như thế ý nghĩa lớn, không có Forcing như thế không thể cãi lại cường độ. Trên thực tế, cái này vẫn như cũ là một đầu đường ngay.

Hắn chỉ có thể nói nói "Cái này......Thật chỉ là người yêu thích vấn đề. Cái kia mạch suy nghĩ, nên là không có sai. "

"A. " Phùng Lạc Y( Von Neumann) gật gật đầu, cũng không biết nghe không nghe lọt tai.

"Đối, lão sư. " Vương Kỳ đột nhiên có chút hiếu kỳ : "Cái kia mạch suy nghĩ đưa ra người, đến cùng là ai? "

Đến cùng là ở đâu ra kỳ hoa, lại có thể độc lập suy nghĩ ra cùng Gödel đại thần giống nhau như đúc mạch suy nghĩ?

Phùng Lạc Y( Von Neumann) cười nói: "Ngươi hẳn là cũng nhận biết. Vạn Pháp Môn chân truyền, Tô Quân Vũ. "

"Tô sư huynh? Lĩnh vực của hắn bao quát logic sao? " Vương Kỳ kinh ngạc.

Trong ấn tượng, Tô Quân Vũ tên kia học tập lĩnh vực phi thường tạp, tựa như là cái gì cũng có, chủ yếu là xác suất cùng hình học......Trán, nghĩ như vậy tới, hắn giống như cũng không phải không có tiếp xúc logic cái này một khối khả năng a? Nếu như hắn ngày đó đầu óc co lại chạy tới học tập logic—— phi thường có khả năng đi !

Bất quá, cái này thật đúng là kỳ diệu trùng hợp chỗ a. Vương Kỳ nghĩ đến:Forcing người sáng lập Korn, nghiên cứu lĩnh vực cũng không phải là toán học logic. Hắn ban đầu chỉ là đơn thuần đối thứ nhất hỏi cảm thấy hứng thú, cho nên muốn vượt lĩnh vực đi trộn lẫn một cước. Bản thân hắn kỳ thật không thể lý giải Forcing to lớn ý nghĩa.

Tô Quân Vũ đoán chừng cũng là nghĩ như vậy đi......Muốn tại thứ nhất hỏi lĩnh vực trộn lẫn một cước, kết quả cái này một chân trộn lẫn ra đại thành tựu. ( chưa xong còn tiếp. ). Được convert bằng TTV Translate.