Chương 142: đội ngũ dược hoàn ! （ bên trên） 【 ba canh 】
Chính là bởi vì có vượt mức quy định toán học tri thức, cho nên Vương Kỳ so bất luận kẻ nào đều rõ ràng bản này toán học luận văn ý nghĩa.
Tại toán học thảo luận bên trong, thường đem có thể cụ thể mà cho ra nào đó một đôi tượng có lẽ có thể cho ra nào đó một đôi tượng phương pháp tính toán người xưng là nhưng cấu tạo. Cấu Tạo Tính Toán Học (Constructivism) là hiện đại toán học nghiên cứu một cái trọng yếu lĩnh vực, nó căn bản đặc thù chính là đối nhưng tính kiến tạo cường điệu. Cái gọi là nhưng tính kiến tạo là chỉ có thể cụ thể mà cho ra nào đó một đôi tượng có lẽ có thể cho ra nào đó một đôi tượng phương pháp tính toán.
Cấu Tạo Tính Toán Học (Constructivism) cùng cổ điển toán học khác nhau ở chỗ tính kiến tạo toán học cho rằng "Tồn tại chính là bị cấu tạo". Vì làm được tính kiến tạo, nhà toán học nhất định phải một lần nữa giải thích tồn tại lượng từ cùng với cái khác logic liên kết từ cùng lượng từ, để dùng cấu tạo quan điểm giải thích bao hàm những này logic biểu đạt thức đầu đề chứng minh hàm nghĩa.
Căn cứ vào tính kiến tạo tính toán lý luận có phi thường cường đại ưu thế. Nó phi thường đáng tin, không giống lý thuyết tập hợp cùng logic toán học, căn cơ đều chưa vững chắc. Nhưng là ngược lại, nó bởi vì quá mức vững chắc, cho nên lộ ra phi thường phong bế. Cái này lý luận bài xích logic chứng minh, bài xích thực vô tận, bài xích vô số thực dụng, đã biết phương pháp. Đơn giản đến nói, nó chính là đem hết thảy không đáng tin, không hoàn mỹ đồ vật cắt bỏ, tạo thành một cái có hạn "Hoàn mỹ".
Loại này "Lực sát thương" Quá lớn pháp môn, chính là Toán Chủ chỗ bài xích. Càng quan trọng hơn là, chính là bởi vì loại này mạch suy nghĩ đem quá nhiều phương pháp cấm chế, cho nên dẫn đến nhà toán học xử lý vấn đề bó tay bó chân, bản thân cũng không có bất kỳ cái gì thực tế công dụng. Bởi vậy, cái này quan niệm rộng vì chỉ trích.
Mà Toán Quân giải quyết vấn đề này.
Toán Quân tại tính kiến tạo phép tính bên trên làm ra đột phá mới. Hắn cường ngạnh không nhìn Hi Bách Triệt( David · Hilbert) tại lĩnh vực này làm ra thành tựu, chỉ lưu lại cấu tạo bộ phận, tiêu trừ hết thảy không phải cấu tạo bộ phận. Dạng này mới phép tính vô cùng ngắn gọn, mà lại bởi vì tính kiến tạo đặc điểm, nó có rất mạnh có thể làm tính. Lặn vô tận đặc điểm cũng càng thích hợp tính toán khoa học lĩnh vực thực tế ứng dụng.
Cho tới nay, Ly Tông đều bởi vì toán học logic đối toán khí học thôi động tác dụng mà khinh bỉ Liên Tông, thế nhưng là lần này, Liên Tông toán học lý luận tại tính thực dụng bên trên ngược lại siêu việt Ly Tông !
"Cái này......Cái này không khoa học a? " Vương Kỳ phát ra cảm thán như vậy.
Ở Địa Cầu, Cấu Tạo Tính Toán Học (Constructivism) thực sự thế kỷ 20 thập niên sáu mươi mới hỏi thế. Đến giai đoạn này, tất cả nhà toán học tam quan đều trải qua Gödel, Đồ Linh (turing), đồi kỳ chờ đại thần một lần lại một lần mà hủy diệt tính đả kích, bác bỏ vô số sai đường； sau đó Burbaki học phái, Grothendieck chờ vô số nhà toán học lại tìm ra rất nhiều mới đường. Lúc kia. Đệ quy luận cùng hiện đại toán học logic đã trở thành cơ sở tính nội dung. Có thể nói thời đại này toán học đã cùng đầu thế kỷ hai mươi toán học có cách biệt một trời. Tại dạng này thổ nhưỡng hạ, tính kiến tạo tính toán lý luận mới lấy mọc rễ, nảy mầm.
Nhưng là thế giới này, cái này Thần Châu, Gödel vắng mặt trận này lịch sử thịnh hội, "Hoàng kim đường chéo" Đứt gãy, Cơ Lão Đồ Linh cũng không có phát huy ra hắn vốn có quang mang. Bởi vì không có người hoài nghi ngữ nghĩa cùng ngữ pháp ở giữa tồn tại mâu thuẫn, cũng chính là ngôn ngữ nhân loại bản thân thiếu hụt, Toán Chủ còn tại hoàn mỹ tính trên tường phía nam hung ác đụng cuồng đụng.
Dưới loại tình huống này. Dạng này toán học hẳn không có xuất hiện khả năng a !
Bất quá, cẩn thận nghĩ một hồi, cái này giống như cũng không phải không có khả năng. Dù sao ở Địa Cầu trong lịch sử, Henri. Bàng Gia Lai- Poincaré chết được quá sớm, bỏ qua toán học đại phát triển, cũng làm cho Brouwer đem trực giác chủ nghĩa đưa vào cá nhân hắn triết học dở hơi ngõ cụt, càng không có chứng kiến đến toán học diễn sinh ra máy tính khoa học, cải biến thời đại ngày đó. Nhưng là Toán Quân Bàng Gia Lai- Poincaré thế nhưng là một mực còn sống a !
Hắn tích lũy, xa xa tại hắn Địa Cầu đồng vị thể phía trên.
"Toán Quân cái này luận văn là Henri. Bàng Gia Lai- Poincaré qua đời năm mươi năm sau mới bị Địa Cầu nhà khoa học đưa ra, xem ra sau này không thể dùng Địa Cầu lịch sử đến phán định Thần Châu Tiêu Dao hạn mức cao nhất. Dựa vào đối toán học cảm giác, quả thực là lướt qua vô số sai lầm con đường. Mở ra đầu này mới đường......Toán Quân quả nhiên là Thần Châu từ trước tới nay mạnh nhất thiên tài một trong ! Rất mạnh ! Nếu như không phải học qua thế kỷ hai mươi mốt toán học lý luận, ta thậm chí không cách nào sinh ra so sánh với hắn so sánh tâm tư. " Vương Kỳ âm thầm tán thưởng, đồng thời thận trọng nhìn xem Phùng Lạc Y( Von Neumann) sắc mặt.
Cái này, chúng ta Ca Đình-Göttingen sợ là dược hoàn a !
Tại Vạn Tiên Huyễn Cảnh bên trong, bất luận cái gì tiểu động tác đều không thể gạt được Phùng Lạc Y( Von Neumann). Phùng Lạc Y( Von Neumann) cảm thấy Vương Kỳ thần thái, cười khổ: "Thế nào? "
"Rất mạnh, ta hoàn toàn không biết hẳn là hình dung như thế nào. Nhưng là bản này luận văn hoàn toàn có thể làm một cái đạo tiêu, chỉ dẫn Thần Châu toán học phát triển, đặc biệt là ứng dụng toán học phát triển. "
"Vô luận là lý luận phương diện vẫn là ứng dụng phương diện đều rất mạnh. Chúng ta nguyên lai tưởng rằng có ngươi nhất giai hoàn mỹ luật, tại toán học logic bên trên có thể dẫn trước một bước, không nghĩ tới chúng ta đã coi trọng mình, cũng xem thường Toán Quân. " Phùng Lạc Y( Von Neumann) lắc đầu: "Không hổ là từng lấy lực lượng một người áp đảo toàn bộ Vạn Pháp Môn cường giả tuyệt thế. "
Hắn là Vạn Pháp Môn so sánh tuổi trẻ Tiêu Dao. Hắn bước vào tu hành đường thời điểm, chính là Hi Bách Triệt( David · Hilbert) quật khởi, Vạn Pháp Môn hai đời cường giả giao nhận thời điểm. Mà hắn thành đạo Tiêu Dao thời gian cũng là Tiên Minh thành lập trước sau, Toán Quân cũng không lâu lắm liền rời đi Thần Châu trấn thủ nơi khác. Bởi vậy, Phùng Lạc Y( Von Neumann) cũng không có trực diện vị kia bạo quân cơ hội.
"Coi trọng mình? " Vương Kỳ nghĩ minh bạch giả hồ đồ: "Hoàn mỹ tính chứng minh có sai lệch? "
Tại Gödel trước đó, căn bản là không có người hoài nghi ngữ nghĩa cùng ngữ pháp ở giữa tồn tại mâu thuẫn, có chút khái niệm dựa vào ngôn ngữ của nhân loại căn bản là không có cách định nghĩa, có chút vấn đề tự không cách nào dùng hiện hữu logic đến lý giải. Dùng chân chỉ nghĩ cũng hẳn là muốn lấy được, Toán Chủ gần như không có khả năng đạt được hắn tha thiết ước mơ kết quả.
Nhưng là, lại là khoa học phát triển chính là như vậy. Toán Chủ ở nơi đó đụng nam tường, không có khả năng chứng minh phổ biến, rộng khắp hoàn mỹ tính. Nhưng là, quá trình này ở trong bọn hắn thế tất sẽ nghiệm chứng một chút đi không thông đường, đưa ra một chút vô tâm trồng liễu cho ra lý luận. Những này thành quả sẽ trở thành về sau toán học phát triển cơ sở. Nếu như có thể mà nói, Vương Kỳ thậm chí hi vọng đem Ca Đình-Göttingen phái đông đảo Tiêu Dao dẫn đạo tới Địa Cầu Burbaki học phái con đường bên trên, để vô số Tiêu Dao đến cải tạo Thần Châu toán học, làm cho tiếp cận Vương Kỳ quen thuộc hơn đồng thời tự thân cũng càng tiên tiến Địa Cầu toán học.
Phùng Lạc Y( Von Neumann) thở dài: "Hi môn chủ ngay tại phàn nàn đâu, hắn giống như đã mơ hồ thấy được mục đích, nhưng là luôn có lấp kín không thể xem tường cách trở hắn, để hắn cảm thấy mình giống như là tại nguyên chỗ đảo quanh......"
Đột nhiên, Phùng Lạc Y( Von Neumann) đổi sắc mặt, nhìn trừng trừng lấy Vương Kỳ: "Vương Kỳ, Hi môn chủ nhờ ta hỏi ngươi một vấn đề, ngươi còn thành thật hơn trả lời ta. "
Vương Kỳ không rõ ràng cho lắm, âm thầm suy nghĩ là cái nào vấn đề trọng yếu.
Chỉ nghe Phùng Lạc Y( Von Neumann) hỏi: "Ngươi khi đó đã tại có hạn dàn khung hạ hoàn mỹ chứng minh nhất giai logic hoàn mỹ, vì sao lại đột nhiên vi phạm có hạn chủ nghĩa dàn khung, dùng siêu hạn phương pháp đi làm bước kế tiếp nghiên cứu? "
Vương Kỳ nghẹn lời: "Cái này......Linh quang lóe lên mà thôi......"
"Ngươi khi đó liền dự liệu được loại này tiến thoái lưỡng nan tình trạng sao? Vẫn là nói, ngươi ẩn giấu phát hiện gì? " ( chưa xong còn tiếp ~ ^~ ). Được convert bằng TTV Translate.