Chương 242 190 York công tước mời
Ở Hilbert bản nhân sở thiết tưởng công lý hệ thống trung, có ba cái căn bản nhất cơ sở, phân biệt là hoàn bị tính, nhất trí tính cùng nhưng tính quyết định.
Hoàn bị tính cùng nhất trí tính, đã bị Trần Mộ Võ một thiên luận văn cấp làm không có, hiện tại cũng chỉ thừa cái này nhưng tính quyết định vẫn như cũ kiên quyết, đã không có bị chứng thực, lại không có bị chứng ngụy.
Từ Trần Mộ Võ vân đạm phong khinh hỏi chuyện giữa, John von Neumann nghe ra tới một ít không tầm thường.
Hắn tổng cảm thấy bên người Trần tiến sĩ hỏi như vậy, không giống như là ở trưng cầu chính mình ý kiến, càng như là ở mịt mờ mà nhắc nhở chính mình, cái này nhưng tính quyết định, liền cùng phía trước hoàn bị tính còn có nhất trí tính giống nhau, đồng dạng cũng không thế nào đáng tin cậy.
John von Neumann không có giống biện Thái Hậu như vậy, đem Trần Mộ Võ trở thành Tào Phi, phát ra “Nhữ đã giết ta hoàn bị tính cùng nhất trí tính, không được phục giết ta nhưng tính quyết định” cảm khái.
Hắn nhưng thật ra cảm giác, Trần Mộ Võ khơi mào tới cái này đề tài mặt trên, đại hữu văn chương nhưng làm.
“Trần tiến sĩ, ta không rõ lắm vấn đề này đáp án, bất quá từ ngài không hoàn bị tính định lý nói ra lúc sau, ta tưởng trên thế giới đối này đệ tam điều nhưng tính quyết định chính xác cùng không đưa ra hoài nghi toán học gia, cũng sẽ không quá ít. Chẳng lẽ, ngài đối vấn đề này cũng có cái gì tân phát hiện sao?”
“Cũng coi như không thượng cái gì phát hiện,” John von Neumann quả nhiên thượng câu, làm Trần Mộ Võ có chút vui sướng, “Trước mắt chẳng qua là mới có điểm nhi manh mối mà thôi.
“Có quan hệ công lý hệ thống nhưng tính quyết định, Hilbert giáo thụ đã từng đã làm như vậy một loại thiết tưởng, ‘ thông qua một cái được không quá trình, cùng với hữu hạn thứ giải toán, tới chứng minh toán học lý luận tính khả thi ’.
“Nhưng hắn cái này thiết tưởng giữa, vô luận là ‘ được không quá trình ’, vẫn là ‘ hữu hạn thứ giải toán ’, này hai khái niệm đều là rất mơ hồ thực trừu tượng, ở toán học thượng cũng không có một cái hoàn chỉnh định nghĩa.
“Cho nên vì cấp này hai khái niệm hạ định nghĩa, ta đại não giữa, có một cái rất mơ hồ ý tưởng.
“Ngươi cũng biết, chúng ta nghiên cứu vật lý, liền thích làm thực nghiệm. Cho dù thực nghiệm bởi vì các loại nhân tố hạn chế, không thể ở phòng thí nghiệm làm ra tới, chúng ta cũng sẽ ở đại não giữa bắt chước, cũng đem này một quá trình gọi là ‘ tư tưởng thực nghiệm ’, nước Đức Einstein giáo thụ, liền rất thích làm một ít tư tưởng thực nghiệm tới nghiệm chứng chính mình kết luận.”
Nói chuyện, hai người đã muốn chạy tới Trần Mộ Võ ngày thường thường đi một nhà tiệm cơm nhỏ.
Diệp Công Siêu rời đi Anh quốc hai năm lúc sau, Trần Mộ Võ rốt cuộc học xong cùng Anh quốc đồ ăn giải hòa.
Dù sao ngươi chỉ cần không điểm cái loại này yêu cầu quá nhiều nấu nướng kỹ xảo thức ăn, như vậy hương vị trên cơ bản cũng sẽ không khó ăn đi nơi nào.
Hắn giống thường lui tới giống nhau kêu một khách bò bít tết xứng nấm tương, ngồi vào hắn bên cạnh John von Neumann cũng học theo, điểm cùng hắn giống nhau đồ vật.
“Johan, đi vào đại học Kiếm Kiều không cần câu thúc, nơi này cũng không phải cái gì thực chính thức nhà ăn, chỉ là tiệm cơm nhỏ mà thôi. Ta không uống rượu, cho nên cũng không chút rượu, giúp ngươi kêu nhất phẩm thoát bia, có đủ hay không?”
“Trần tiến sĩ, không cần, ngươi không uống ta liền không uống. Uống rượu đều là gặp dịp thì chơi mà thôi, ta kỳ thật cũng không thích. Vẫn là thỉnh ngài mau nói một chút, vừa mới nhắc tới cái kia tư tưởng thực nghiệm, đến tột cùng là cái gì đi!”
“Cũng hảo.”
Dù sao chờ đợi thượng đồ ăn cũng yêu cầu nhất định thời gian, Trần Mộ Võ liền lấy ra tới hắn notebook, lại toàn khai bút máy nắp bút, ở vở chỗ trống trang thượng vẽ lên.
“Một cái vô hạn lớn lên giấy mang, mặt trên bị chia làm vô hạn cái ô vuông, ô vuông thượng có thể ký lục bất luận cái gì chữ cái, cơ số hai con số 1 cùng 0, còn có chỗ trống.
“Trừ cái này ra, còn có một cái có thể tả hữu di động, cũng có thể đọc lấy trên giấy nội dung đọc viết đầu;
“Một bộ khống chế đọc viết đầu di động quy tắc biểu;
“Còn có một cái trạng thái gởi lại khí.
“Này bốn bộ phận, cùng nhau hợp thành một cái máy móc, ta tư tưởng thực nghiệm liền quay chung quanh cái này máy móc mà triển khai.”
Trần Mộ Võ ở notebook thượng họa cái này kỳ quái máy móc, chính là nguyên thời không đại danh đỉnh đỉnh đồ linh cơ.
Dựa theo dĩ vãng lệ thường, cái này máy móc, về sau liền sẽ gọi là “Trần cơ”.
Blah blah cấp như lọt vào trong sương mù John von Neumann nói một đống lớn có quan hệ trần cơ vận chuyển sự tình, đến cuối cùng Trần Mộ Võ mới bắt đầu nói hắn kết luận.
“Cái này đọc viết đầu ở đã chịu quy tắc biểu cùng đưa vào quả nhiên khống chế, do đó tiến hành di động, không phải vừa vặn là Hilbert giáo thụ thiết tưởng giữa ‘ được không quá trình ’ sao?
“Mà đọc viết đầu ở trình tự kết thúc khi, thông qua hữu hạn thứ di động, cuối cùng dừng lại ở chỗ trống cách, cái này quá trình, không cũng tương đương với là một cái khác ‘ hữu hạn thứ giải toán ’ sao?
“Cứ như vậy, Hilbert giáo thụ nhưng tính quyết định thiết tưởng, cũng liền chuyển hóa thành ‘ hay không tồn tại như vậy một loại trần cơ, làm này có thể phán định tùy ý một cái trình tự có không ở hữu hạn thời gian nội kết thúc vận hành ’.”
“Không sai, xác thật chính là như vậy.”
Hắn mới vừa giảng giải xong trần cơ cấu tạo, quán ăn người phục vụ vừa vặn cũng đem hai khách bò bít tết cấp bưng lên bàn.
Trần Mộ Võ thuận thế đem nắp bút toàn khẩn, kẹp đến notebook trung sau đó khép lại, tiếp theo làm cái thủ thế nhường nhường John von Neumann.
“Thỉnh đi, Johan, chúng ta ăn xong rồi lại nói.”
Hungary nhân tâm trung lúc này tựa như đọc võng văn đọc được xuất sắc chỗ khi, tác giả lại dừng cày giống nhau khó chịu.
Dù cho trước mặt bãi chính là không quá mê người Anh quốc bò bít tết, hắn cũng không có một chút tâm tình giống bên người Trần Mộ Võ như vậy huy động dao nĩa.
Hắn cũng không màng cái gì lễ tiết không lễ tiết, trực tiếp đem vừa mới khép lại notebook lại cấp mở ra, lại lần nữa đẩy đến Trần Mộ Võ trước mặt.
“Thỉnh chờ một lát, Trần tiến sĩ. Ngài nói ra cái này quay xong vấn đề, xác thật có thể càng hình tượng mà miêu tả Hilbert giáo thụ nhưng tính quyết định vấn đề. Chính là, này cũng không thuyết minh cái này nhưng tính quyết định, nó đến tột cùng là chính xác, vẫn là sai lầm…… Chờ một chút!”
John von Neumann càng thất lễ mà vặn ra Trần Mộ Võ bút máy, ở Trần Mộ Võ vở thượng bay nhanh mà viết viết vẽ vẽ, cùng lúc đó trong miệng còn lẩm bẩm.
“Giả thiết tồn tại như vậy một cái trần cơ, có thể đối tùy ý tình huống làm ra hay không kết thúc vận hành phán đoán……
“Nếu phán đoán vận hành kết thúc liền phát ra là, không kết thúc nói liền phát ra không.
“Như vậy chỉ cần lại đem này đài trần cơ tiến hành cải tiến, đương nó phát ra ‘Đúng vậy’ thời điểm, liền đem nó liên tiếp đến một cái vĩnh viễn không thể kết thúc vận hành chết tuần hoàn trung, mà ở phát ra ‘Không’ thời điểm, tắc trực tiếp đình chỉ vận hành.
“Cứ như vậy, trần cơ phán đoán ‘Đúng vậy’ vận hành lý nên đình chỉ nhưng sẽ không đình chỉ, phán đoán ‘Không’ tắc tình huống vừa lúc tương phản.
“Cái này cùng phía trước giả thiết ‘ có thể đối tùy ý tình huống làm ra hay không kết thúc vận hành phán đoán ’ là mâu thuẫn.
“Mà trần cơ cái này khái niệm, lại cùng cấp với Hilbert giáo thụ nói ra nhưng tính quyết định thiết tưởng.
“Nếu trần cơ không thể đối hay không kết thúc vận hành làm ra phán đoán, như vậy nói cách khác, nhưng tính quyết định chuyện này, đồng dạng cũng là không thể được!”
John von Neumann ở notebook thượng, thân thủ lật đổ hắn lão sư Hilbert ba cái thiết tưởng giữa cuối cùng một cái.
Nhưng hắn lúc này trong lòng hoàn toàn không có cái loại này “Khi sư diệt tổ, bội nghịch nhân luân” hối hận, cũng hoàn toàn không sợ Hilbert sẽ đem hắn tên trung “Phùng” tự cấp thu đi.
John von Neumann chỉ là thực kích động mà từ trên ghế đứng lên, một cái không cẩn thận, còn đem Trần Mộ Võ kia chi lỏa lồ ngòi bút bút máy cấp đụng phải trên mặt đất, phát ra “Đinh linh leng keng” loại này thanh thúy tiếng vang.
Trần Mộ Võ đối này một chút cũng không đau lòng, dù sao lão Phùng gia có rất nhiều tiền, đều có thể tiêu tiền mua quý tộc, tổng không đến mức liền một cây bút máy đều bồi không dậy nổi.
Nhưng thật ra tiệm cơm người phục vụ, nhìn đến John von Neumann kích động như vậy, chạy nhanh buông trong tay việc chạy tới, nhắc nhở hắn không cần đem trên bàn bộ đồ ăn, chủ yếu là mâm cấp đụng tới trên mặt đất.
Hungary người vẻ mặt không thể tưởng tượng mà nhìn chằm chằm vân đạm phong khinh người phục vụ: “Ngươi biết vừa mới Trần tiến sĩ lại ở học thuật mặt trên lấy được cỡ nào trọng đại một cái phát hiện sao? Ngươi không quan tâm chuyện này đối số học phát triển có cái gì ảnh hưởng cũng liền thôi, vì cái gì ngược lại còn muốn quan tâm một cái không đáng giá mấy cái tiền phá mâm đâu?”
“Ít thấy việc lạ,” thao đứng đắn anh âm người phục vụ, trắng liếc mắt một cái John von Neumann cái này tiếng Anh mang theo Châu Âu khẩu âm ngoại quốc lão nhi, “Tiên sinh, vậy ngươi biết Trần tiến sĩ tại đây gian quán ăn, đã lấy được quá nhiều ít trọng đại phát hiện sao? Nói không chừng làm ngươi kích động, chỉ là hắn những cái đó phát hiện giữa nhất không nặng đại một cái mà thôi.
“Hơn nữa Trần tiến sĩ hiện tại như vậy tuổi trẻ, hắn tương lai lấy được phát hiện chỉ biết càng ngày càng nhiều.
“Nhưng ta nơi này mâm lại không giống nhau, đây chính là từ ta tổ phụ kia đồng lứa truyền xuống tới. Nếu mỗi người đều giống ngươi giống nhau lỗ mãng, như vậy mâm số lượng chỉ biết càng ngày càng ít.”
Dứt lời, người phục vụ chu chu môi, dùng trên mặt vi biểu tình ý bảo John von Neumann, làm hắn nhìn xem ngồi ở bên người, hắn trong miệng vừa mới lấy được trọng đại phát hiện Trần tiến sĩ, lúc này đang ở làm chút cái gì.
Trần Mộ Võ đã vũ đao lộng xoa đem bò bít tết cắt thành tiểu khối, sau đó xoa khởi một trong số đó, dính dính tương sau vui vẻ thoải mái mà bỏ vào trong miệng, tinh tế nhấm nuốt nhấm nháp này không quá mỹ vị mỹ vị tới.
Ở người phục vụ nơi đó ăn cái bẹp John von Neumann, chỉ có thể một lần nữa tại vị trí ngồi xuống dưới.
Hắn khom lưng nhặt lên trên mặt đất bút máy, nhìn nhìn ngòi bút lúc sau thực áy náy mà cùng Trần Mộ Võ nói thanh xin lỗi, cũng nói chính mình ngày sau nhất định sẽ lại bồi thường hắn một cây tân.
“Chuyện nhỏ, đều là chuyện nhỏ, nhanh ăn đi Johan, bằng không từ từ cơm đều lạnh.”
John von Neumann cảm thấy không thể làm cái này Cambridge tiệm cơm nhỏ trung người phục vụ xem thường, cho nên hắn cố nén nội tâm giữa kích động, cũng giống Trần Mộ Võ giống nhau ăn xong rồi bò bít tết.
Tuy rằng vừa mới đã xảy ra sự tình các loại, nhưng đem đệ nhất khẩu bò bít tết phóng tới trong miệng, hắn khoang miệng giữa vẫn là cảm nhận được một cổ gãi đúng chỗ ngứa ấm áp.
Chỉ là một bữa cơm công phu, John von Neumann liền từ Trần Mộ Võ nơi này bạch phiêu tới rồi một thiên luận văn, lại còn có chính phù hợp hắn nghiên cứu phương hướng.
Đi ở phản hồi Cavendish phòng thí nghiệm trên đường, hắn ở trong lòng tính toán, nên như thế nào hướng Trần tiến sĩ nói ra, hai người hợp viết một thiên luận văn, nhưng hắn đột nhiên lại nghĩ tới mặt khác một chút.
Vì cái gì Trần Mộ Võ sẽ đem Hilbert giáo thụ có quan hệ nhưng tính quyết định thiết tưởng, tương tự thành trần cơ loại này mới mẻ ngoạn ý nhi đâu?
Trần cơ phảng phất chính là thiên nhiên làm chứng ngụy nhưng tính quyết định mà sinh, Trần tiến sĩ nếu đều đã nghĩ tới nơi này, như vậy hắn chẳng lẽ liền không có càng tiến thêm một bước sao?
“Trần tiến sĩ, có quan hệ hôm nay chứng minh, ngài có phải hay không đã sớm đã nhìn ra?”
Trần Mộ Võ khẳng định sẽ không phủ định chuyện này: “Chỉ là có cái đại khái ý nghĩ, chỉ là gần nhất rất bận, chưa kịp nghĩ lại. Vừa vặn ngươi là Hilbert giáo thụ học sinh, lại là toán học thượng cao thủ, liền tính toán thừa dịp hôm nay ăn cơm công phu, cùng ngươi đơn giản mà liêu thượng vài câu. Johan, ngươi thật đúng là cho ta mang đến kinh hỉ.”
John von Neumann trong lòng càng thêm nhận định điểm này, hắn tiếp tục hỏi dò: “Trần tiến sĩ, chúng ta đây hai người, đem này thiên luận văn cấp hợp viết ra tới, thế nào? Ngài đảm đương đệ nhất tác giả.”
“Đó là không thể tốt hơn, vẫn là câu nói kia, ta gần nhất không có thời gian, này thiên luận văn liền phải nhiều phiền toái ngươi.”
“Này đương nhiên không lời gì để nói!”
John von Neumann thật cao hứng, chính mình mới đến Cambridge ngày hôm sau, liền từ Trần Mộ Võ nơi này nhặt được một thiên luận văn.
Trần Mộ Võ đồng dạng cũng thật cao hứng, hắn nguyên bản thực sợ hãi John von Neumann là bị Hilbert phái tới cùng chính mình luận đạo biện kinh, nhưng người sau biểu hiện đánh mất hắn băn khoăn.
Không lâu lúc sau, Oppenheimer trở về Trần Mộ Võ văn phòng, Dirac cùng John von Neumann cũng đều vào ở tới rồi nơi này.
Trong lúc nhất thời, Trần Mộ Võ này gian văn phòng, trở thành trên thế giới vật lý học gia tụ tập mà giữa, toán học trình độ tối cao địa phương.
Oppenheimer cùng Dirac vội vàng biên soạn lượng tử cơ học giáo tài, John von Neumann vội vàng viết luận văn, đại gia tinh lực đều đầu nhập tới rồi học thuật nghiên cứu giữa, cho nên phủi tay chưởng quầy Trần Mộ Võ ngẫu nhiên gián đoạn tính mà biến mất vài lần, cũng liền không ai sẽ để ý.
Lại một ngày công tác sau khi chấm dứt, Trần Mộ Võ mới vừa đi đến học viện Tam Nhất cửa, đã bị cửa viện giam cấp ngăn cản xuống dưới.
Hắn hướng Trần Mộ Võ thông báo, có một vị khách nhân đang ở phòng khách giữa chờ.
Hỏi cái này viện giam khách nhân là ai, hắn lại bày ra tới một bộ thần bí khó lường không thể nói biểu tình.
Chờ gặp mặt, Trần Mộ Võ nhận ra người tới hẳn là York công tước bên người vị kia bên người người hầu, phía trước ở Paris tham gia thế vận hội Olympic thời điểm chờ ở hội trường bên ngoài vị nào chính là hắn.
“Trần tiến sĩ, lập tức liền đến quốc vương ngày sinh kỳ nghỉ, York công tước tưởng thỉnh ngài đi Luân Đôn, cùng ngài thấy thượng một mặt.”
Khách sáo lúc sau, vị này vương thất người hầu đi thẳng vào vấn đề, biểu lộ chuyến này mục đích.
Vì tỏ vẻ đối Trần Mộ Võ tôn trọng, hắn còn riêng dâng lên ấn York công tước huy chương tạp giấy thư mời.
“Đa tạ công tước mời, cũng phiền toái ngài đến đại học Kiếm Kiều chạy như vậy một chuyến. Thỉnh ngài chuyển cáo điện hạ, ta đến lúc đó nhất định đúng giờ trình diện.”
Bởi vì xe sự tình, Tạp Bì Sát sau lại cũng tìm chính mình vài lần.
Lần này York công tước muốn, vừa vặn có thể làm ra tới cái đai an toàn mô hình, đến Luân Đôn đi một chuyến đồng thời, thuận tiện “Lừa” chút tiền lại lừa chiếc xe trở về.
Thừa dịp còn có mấy ngày thời gian, Trần Mộ Võ tìm được chờ điện tích băng chuyền đến hóa khảo Croft đặc, thỉnh kỹ sư xuất thân hắn hỗ trợ làm một cái đai an toàn bánh xe răng cưa mô hình ra tới, chuẩn bị đến lúc đó giống thuỷ tinh hữu cơ như vậy, trước mặt mọi người biểu thị.
Ở ăn mặc thượng, Trần Mộ Võ lại không dám có chút chậm trễ.
Tới rồi công tước phủ đệ lúc sau, cũng nghiệm chứng hắn phỏng đoán, tuy rằng nói là gặp mặt, nhưng chưa nói là đơn độc gặp mặt.
Kia trương thư mời thượng đem thời gian đính đến lúc chạng vạng, nói rõ đây là York công tước ở chính mình trong nhà tổ chức một hồi tiệc tối.
Ở tiệc tối thượng Trần Mộ Võ gặp được rất nhiều có chút quen mặt người, không có gì bất ngờ xảy ra nói, những người này hẳn là đều là nhị a ca đảng.
Nhìn thấy yến hội chủ nhân York công tước, Trần Mộ Võ thực tự nhiên mà đi lên trước chào hỏi.
Không nghĩ tới lúc này đây Albert đặc vương tử hình như là có chút không cao hứng, bắt tay thời điểm, hắn nhỏ giọng ở Trần Mộ Võ bên tai nói: “Trần tiến sĩ, ngươi phía trước phát biểu kia thiên văn chương, bất luận là quốc vương bệ hạ nơi đó, vẫn là đường ninh phố mười hào cùng với số 11 bên kia, đều đối này không rất cao hứng.”
Đường ninh phố mười hào là Thủ tướng biệt thự, số 11 trụ còn lại là tài chính đại thần.
Bởi vì trọng chấn Đới Duy - Faraday phòng thí nghiệm vinh quang, đã từng tự mình phỏng vấn qua phòng thí nghiệm Baldwin đối Trần Mộ Võ quan cảm cũng không tệ lắm, Old Town Prague hướng hắn thuyết minh quá điểm này.
Trần Mộ Võ cảm thấy York công tước trong lời nói không cao hứng, hơn phân nửa đều nguyên tự vị kia tiểu mập mạp trên người.
( tấu chương xong )