Nguồn: read.st
Poisson luật số lớn chứng minh quá trình so ra mà nói cũng không phức tạp, viết thành luận văn, một thiên lớn luận văn đầy đủ. Nhưng là Vương Kỳ cố nén viết xong xúc động, chỉ ở mảnh này luận văn đề cương bên trong viết xuống một chút thảo luận tính nội dung.
"Dù sao muốn chừa chút vị trí mời cái kia toàn cơ bắp gia nhập tới. " Vương Kỳ nói như thế.
Bất quá, cùng Thần Châu chỉ chú trọng luận văn nội dung tập tục khác biệt, Địa Cầu giới giáo dục bình phán một cái nhà nghiên cứu tiêu chuẩn cũng rất chú trọng luận văn số lượng. Đem một mảnh luận văn phá vỡ biến thành hai thiên hoàn chỉnh luận văn, trước một thiên kết luận là sau một thiên luận cứ kỹ thuật, Vương Kỳ nhiều ít vẫn là biết một chút.
Viết lớn bổn trang về sau, Vương Kỳ đem cái này một bàn buông xuống, chuẩn bị tìm Bạc Tiêu Nhã thảo luận về sau lại hoàn thành.
"Tốt, tiếp xuống làm cái gì đâu? "
Thấy Vương Kỳ minh tư khổ tưởng, Chân Xiển Tử hảo tâm nâng lên: "Ta tựa hồ nhớ kỹ, các ngươi Kim Pháp tu bên trong nghiên cứu một cộng một bằng hai đề toán rất lửa? Tựa hồ là gọi minh châu tính? Ngươi vì sao không thử một chút? "
"Minh châu xem như số luận lĩnh vực, cùng ta bát tự không hợp—— nhất là nhớ tới cái này đề toán liền không nhịn được nhớ tới Trần Cảnh Vân, sau đó liền có‘ lão tử ở tại Thần Kinh địa phương quỷ quái này tất cả đều là cái kia hỗn đản sai’ ý nghĩ" Vương Kỳ toét miệng: "Còn nữa, minh châu tính cũng không phải một cộng một bằng hai, là một cái số nguyên tố thêm một cái số nguyên tố tương đương một cái số chẵn, sáng tác（ 1 + 1）, không phải 1 + 1. "
Minh châu chi tính, Địa Cầu xưng là Goldbach phỏng đoán. Mà lại thú vị là, cái này đề toán tại Thần Châu là "Móc ra", mà lại cũng cùng Bạc gia có quan hệ. Bạc Nhã Ca, Bạc Nguyệt Hàn thế hệ này còn có một cái huynh đệ, người này tại toán học bên trên tạo nghệ không cường, lại có một đứa con trai tốt, tức Bạc gia vị thứ tư Tiêu Dao tu sĩ Bạc Ly Hỗ. Bạc Ly Hỗ cùng em trai Bạc Ly Nhĩ đồng dạng tốt du lịch. Một ngày, hắn du lịch đến một chỗ di tích lúc, không gây trúng ý đả thông một chỗ tiền cổ Toán gia tu sĩ động phủ. Động phủ ở trong truyền thừa, bảo vật, đan dược đều không giá trị nhất sái, nhưng là có một hạt châu lại đặc biệt có ý tứ, bởi vì cái khỏa hạt châu này trên có khắc một đạo tại Tiền Cổ cũng không nổi danh đề toán.
Thử hỏi, đảm nhiệm một lớn hơn hai số chẵn, phải chăng đều có thể sáng tác hai số nguyên tố chi cùng?
Đạo này đề toán thô thô xem ra tựa hồ rất đơn giản, bằng trực giác phán đoán, đại đa số người đều sẽ cảm giác cho nó là đúng. Nhưng là nếu là muốn chứng minh lái đi, nhưng lại vô cùng thâm thuý.
Chính là bởi vì khắc vào một viên minh châu phía trên, là lấy tất cả mọi người gọi là "Toán Lý Quan Miện bên trên minh châu", minh châu chi tính.
【 chú:ở Địa Cầu trong lịch sử, Goldbach phỏng đoán bị Goldbach viết tại một phong thư bên trên, phong thư này là gửi cho Leonhard Euler. Sau đó, Leonhard Euler là John · Bernoulli học sinh, cùng Daniel · Bernoulli là tình như thủ túc đồng môn, cùng Nicolas · Bernoulli cũng quan hệ cá nhân rất sâu đậm. Mà Goldbach lại cùng Nicolas · Bernoulli là bạn qua thư từ thêm con lừa bạn. Cái này mấy ca là sớm nhất nghiên cứu Goldbach phỏng đoán một đám người. Chỉ bất quá Goldbach không phải nhà toán học, chỉ để lại một cái phỏng đoán, cho nên quyển sách đổi một loại phương thức để hắn tồn tại 】
"Không hiểu rõ a......"
Vương Kỳ thở dài: "Ngươi cẩn thận suy nghĩ một chút cũng hẳn là biết đi, Trần Cảnh Vân hắn nhàn nhức cả trứng đi nghiên cứu một cộng một bằng hai a......A, không đối, giống như thật sự có Toán gia tuyến tiền liệt khỏe mạnh đáng lo......"
Nghiên cứu một cộng một bằng hai nhà toán học không phải là không có.
Càng là chuyện đương nhiên thì càng để người cảm thấy không có cách nào nói nguyên cớ, một cộng một bằng hai chính là điển hình nhất ví dụ. Là người đều biết một cộng một bằng hai, nhưng là, có mấy người có thể nói ra một cộng một tại sao vậy tại hai sao?
Nếu như nói nan đề là đại đa số nhà toán học đều xem không hiểu, như vậy lĩnh vực này chính là tất cả mọi người nhìn hiểu, nhưng là muốn thúc đẩy một bước lại không có chỗ xuống tay.
Không hề nghi ngờ, có thể nói ra đem "Một cộng một tại sao vậy tại hai" Nói ra cái nguyên cớ, cũng là có thể tại cái này cơ sở nhất lĩnh vực vượt mọi chông gai đỉnh tiêm Toán gia.
"Chỉ tiếc thế giới này sớm đã có Peano tiên đề. " Vương Kỳ lắc đầu, cảm thấy không đi đụng cái này một khối tương đối tốt. Cái đề mục này thâm thuý không nói, mà lại cũng không lôi cuốn, coi như kéo lên Bạc Tiêu Nhã cũng sẽ không có mấy người chú ý, tính không ra, tính không ra. Peano tiên đề rõ ràng là cùng Euclid tiên đề có được ngang nhau địa vị trọng yếu tiên đề, nhưng danh khí lại kém Euclid tiên đề không chỉ một con đường.
Lúc này, Vương Kỳ lại nghĩ tới một vấn đề khác: "Lại nói, lĩnh vực này cơ sở quá mức, không biết cũng không ảnh hưởng cái gì......Ta vì cái gì đối cái này nhớ kỹ như thế lao đâu? "
Tri thức không thường thường dùng, sẽ dần dần lãng quên. Peano tiên đề mặc dù là có quan hệ với một cộng một tại sao vậy tại hai, nhưng là không biết cái này cũng không ảnh hưởng tính toán một cộng một bằng hai.
Ta thế nào liền nhớ kỹ quen như vậy, hơi nâng lên liền muốn.
Đột nhiên, Vương Kỳ trong đầu linh quang lóe lên.
"Cái này......Tựa hồ là cùng cái kia sự kiện lớn có quan hệ a. "
Hilbert kế hoạch, thế kỷ 20 lớn nhất nổi danh nhất toán học nghiên cứu.
2 0 đầu thế kỷ, nghịch lý nhất là Russell nghịch lý xuất hiện, đưa tới lúc ấy toán học giới cùng logic giới cực kỳ chấn động mạnh động. Nó trực tiếp trùng kích lấy nghiêm cẩn trứ danh toán học cùng logic học khoa, dao động truyền thống toán học khái niệm, toán học đầu đề cùng toán học phương pháp có thể tin tiêu chuẩn, nói cách khác nghịch lý xuất hiện quan hệ đến toàn bộ toán học điện cơ vấn đề, từ đó gây nên cái gọi là lần thứ ba toán học cơ sở nguy cơ. Toán học giới nhân vật lãnh tụ Hilbert vì giải quyết nguy cơ lần này, càng thêm nhất lao vĩnh dật giải quyết tất cả toán học nguy cơ, khởi xướng Hilbert kế hoạch. Kế hoạch này mục tiêu chủ yếu, là toàn bộ toán học cung cấp một cái an toàn lý luận cơ sở. Chủ thể bộ phận, chính là hoàn mỹ tính, tương dung tính, có thể phán định tính chứng minh.
Sau đó, tại kế hoạch này ở trong, Ca Đức Nhĩ (Kurt Gödel) ngoài ý muốn chứng minh không hoàn mỹ tính.
Đồ Linh (turing) dọc theo Ca Đức Nhĩ (Kurt Gödel) mạch suy nghĩ hoàn thành phán định tính chứng minh, cũng căn cứ lần này tại toán học logic bên trên đột phá, hoàn thiện máy tính lý luận.
Vương Kỳ đột nhiên nhảy dựng lên, từ trong túi chứa đồ lấy ra Tô Quân Vũ tặng "Thượng võng bổn", tiến vào Tiên Minh luận văn kho bắt đầu thẩm tra.
"Từ mấu chốt, chứng minh luận......Quả nhiên có ! Sau đó là, trời sinh số 【 số tự nhiên 】, toán thuật hệ thống......"
Theo từ mấu chốt thêm vào, luận văn trong kho hiện ra luận văn học được càng ít, cuối cùng, Vương Kỳ rốt cục phát hiện mình muốn nội dung.
« luận hi thị cái gọi là chi chứng minh », tác giả, Phùng Lạc Y( Von Neumann).
Thời gian là năm năm trước.
Linh khí tồn tại làm Thần Châu "Khoa học kỹ thuật hộp đen" Rất lớn, khoa học kỹ thuật cây cùng Địa Cầu cũng không giống nhau. Cùng máy tính đối ứng toán khí phổ cập rất nhiều năm, trí tuệ nhân tạo đều đưa vào danh sách quan trọng, thế nhưng là làm máy tính trước đưa lý luận toán học logic ngược lại không bằng Địa Cầu.
Vương Kỳ không chút do dự đem hôm nay từ gió rít chỗ nào dẫn tới Công Trị vạch ra, đổi bản này luận văn, nhảy qua quá trình, chỉ nhìn kết luận.
"Tại cái này tử hệ thống ở trong, nghiêm khắc có hạn tính chứng minh là có thể được......Đây chính là Von Neumann « liên quan tới Hilbert chứng minh luận » phiên bản. " Vương Kỳ nhắm mắt lại, bắt đầu suy nghĩ.
Cái vũ trụ này, không có Ca Đức Nhĩ (Kurt Gödel) tồn tại, cho nên toán học logic đi lên một đầu cùng Địa Cầu con đường khác......
Vương Kỳ phấn chấn nói "Cái này thật đúng là một đầu tốt con đường. "
Lưới hoan nghênh rộng rãi thư hữu quang lâm đọc, mới nhất, nhất nhanh, nóng bỏng nhất tác phẩm đang viết đều ở bản gốc ! < / A >< A >Điện thoại người sử dụng mời đến đọc. < / A >. Được convert bằng TTV Translate.
------oOo------