Học Bá Đích Hắc Khoa Kỹ Hệ Thống
Chương 235 : Chứng minh Giả thuyết Goldbach!
Ngày đăng: 20:41 31/07/19
Chương 235: Chứng minh Giả thuyết Goldbach!
Ngoài cửa sổ trời lờ mờ sáng.
Nằm nhoài trên bàn sách Lục Chu, chậm rãi mở hai mắt ra.
Xoa xoa có chút chua xót mi tâm, hắn nhìn về phía đặt ở góc bàn lịch ngày.
Đều tháng năm a. . .
Lục Chu có chút đau đầu lay một thoáng đầu.
Từ hắn tháng 2 đến Princeton đến hiện tại, hầu như hơn một nửa thời gian đều ở chỗ này gian mười mét vuông trong phòng, trừ bỏ lái xe đi siêu thị mua thức ăn bên ngoài, hắn trên căn bản đều chưa từng ra cửa.
Nhất làm cho hắn đau lòng chính là tấm kia 5000 USD câu lạc bộ thẻ, hắn thậm chí cũng chưa dùng qua mấy lần.
Từ lĩnh cái nhiệm vụ kia sau, này sắp tới thời gian nửa năm bên trong, hắn vẫn đang khiêu chiến Giả thuyết Goldbach.
Bây giờ, tất cả những thứ này cuối cùng cũng coi như là có kết quả rồi.
Hít vào một hơi thật sâu, Lục Chu từ trên ghế đứng lên.
Đi tới bước cuối cùng hắn, trái lại không sốt ruột như vậy rồi.
Khẽ hát đi vào nhà bếp, cho mình lấy điểm ăn, Lục Chu thậm chí từ trong tủ lạnh lấy ra một nhánh Champagne, mở ra nắp bình cho mình rót.
Champagne là hai tháng trước liền mua xong, vì chính là thời khắc này.
Yên tĩnh hưởng dụng xong bữa này bữa tối, Lục Chu ung dung không vội đi nhà bếp rửa tay, sau đó trở lại trước bàn đọc sách, bắt đầu vì chính mình quãng thời gian này công tác làm cái phần kết.
Lướt qua sắp tới năm mươi trang luận văn giấy, hắn ở ngày hôm qua chưa viết xong liền ngủ say địa phương, đề bút tiếp tục viết.
(. . . Cho thấy, chúng ta có Px(1, 1)≥P(x, x^{1/16})-(1/2)∑Px(x, p, x)-Q/2-x^(log4). . . (30) )
(. . . Do thức (30), dẫn lý 8, dẫn lý 9, dẫn lý 10, có thể chứng minh định lý 1 thành lập. )
Cái gọi là định lý 1, chính là hắn ở trong luận văn, định nghĩa Giả thuyết Goldbach toán học thuyết minh.
Tức, quy định sẵn một cái đầy đủ lớn số chẵn N, tồn tại số nguyên tố P1 cùng P2, thỏa mãn N=P1+P2.
Cùng với tương tự chính là Trần thị định lý N=P1+P2·P3, cùng với một hệ liệt liên quan với P(a, b) định lý.
Đương nhiên, tuy rằng hiện tại ở luận văn của hắn bên trong, điều này công thức được gọi là định lý 1, nhưng có lẽ không bao lâu nữa, các loại giới toán học phổ biến tiếp nhận rồi hắn quá trình chứng minh, điều này định lý có lẽ thì sẽ thăng cấp làm "Lục thức định lý" loại hình đồ vật.
Bất quá, loại này trọng đại giả thuyết toán học thẩm cảo chu kỳ bình thường sẽ khá dài.
Perelman chứng minh giả thuyết Poincaré luận văn dùng ba năm mới bị giới toán học tán thành, Shinichi Mochizuki liên quan với giả thuyết ABC chứng minh bởi vì lẫn lộn đại lượng "Thần bí thuật ngữ", thẩm cảo ngưỡng cửa chí ít cũng phải trước tiên đọc hiểu hắn "Vũ trụ kỷ lý luận" mới xem như là nhập môn, sở dĩ mãi đến tận hiện tại cũng không có người xem xong, dự tính tương lai cũng rất khó khăn.
Một cái trọng đại giả thuyết thẩm cảo tốc độ, ở mức độ rất lớn quyết định bởi với mệnh đề này nhiệt độ, cùng với công việc này đến tột cùng "Mới" đến trình độ nào.
Ở chứng minh Số nguyên tố sinh đôi định lý lúc, Lục Chu cũng không có vận dụng đến đặc biệt mới mẻ độc đáo lý luận, chỉ là ở Zellberg giáo sư năm 95 phát biểu trong bản luận văn kia nhắc tới tô-pô phương pháp tiến hành rồi đổi mới, đã nghiên cứu qua bài luận văn này người, liền có thể rất nhanh hiểu rõ đến hắn làm cái nào công tác.
Mà chứng minh Polignac - Lục định lý luận văn, thẩm cảo chu kỳ rõ ràng liền kéo dài ra một đoạn dài.
Mặc dù hắn Quần cấu pháp ở Số nguyên tố sinh đôi định lý chứng minh bên trong đã có chỗ thể hiện, nhưng trong đó ma cải thành phần cũng làm cho nó xa xa lệch khỏi phương pháp sàng phạm trù, cho dù reviewer là Deligne loại này đại ngưu, cũng dùng không ít thời gian mới dưới cuối cùng định luận.
Mà bản này liên quan với Giả thuyết Goldbach chứng minh luận văn, Lục Chu tổng cộng viết năm mươi trang, mà trong đó càng là chí ít hoa một nửa độ dài, đi trình bày và phân tích hắn vì toàn bộ chứng minh dựng lý luận dàn giáo.
Một phần này công tác, thậm chí có thể đơn độc làm một phần luận văn phát biểu rồi.
Ở mức độ rất lớn hắn thẩm cảo chu kỳ, quyết định bởi với người khác đối với hắn đưa ra lý luận dàn giáo hứng thú, cùng với đối với hắn chỗ đưa ra lý luận dàn giáo tiếp thu trình độ.
Đến mức cụ thể cần phải bao lâu, liền không phải hắn có thể khống chế rồi.
Kỳ thực Lục Chu trước đây liền đang suy tư, hệ thống đối với nhiệm vụ hoàn thành phán định tiêu chuẩn, đến tột cùng là cái gì.
Nếu như hắn đối một cái định lý hoàn thành rồi chứng minh, nhưng mười năm thậm chí là mấy chục năm, cũng không có người tán thành công tác của hắn, phải chăng mang ý nghĩa nhiệm vụ của hắn liền đến trên thẻ lâu như vậy?
Hơn nữa nhất làm cho hắn không hiểu chính là, nếu hệ thống kho số liệu bên trong chứa đựng số liệu khổng lồ, như vậy nó nhất định đến từ một cái cao đẳng văn minh —— chí ít cái này văn minh so với trên địa cầu văn minh muốn phát đạt.
Mà không đi thảo luận nó tồn tại động cơ, Lục Chu cảm thấy, xác định một vấn đề phải chăng bị giải quyết, đến từ cao đẳng văn minh hệ thống hẳn là cũng sẽ không tham khảo "Thổ dân" ý kiến.
Như vậy phân tích lời nói, Lục Chu thu được kết luận chính là, hệ thống nhiệm vụ hoàn thành hẳn là do hai cái nhân tố phán định.
Một cái là tính chính xác.
Một cái khác, chính là công khai!
Kỳ thực, có một cái rất đơn giản biện pháp có thể để nghiệm chứng, hắn chứng minh có chính xác không.
Nếu như chỉ là vì công khai lời nói, không nhất định đến phát đến trên tập san. . .
. . .
Hoàn thành chứng minh Giả thuyết Goldbach luận văn sau, Lục Chu hoa ròng rã ba ngày, đem trên giấy đồ vật thu dọn đến trong máy tính, cũng chuyển thành PDF cách thức văn kiện, sau đó đổ bộ Arxiv quan võng, đem trên luận văn truyền.
Tính chính xác, hắn có hơn chín mươi phần trăm nắm chặt, bởi vì thói quen của hắn là đối mỗi một cái kết luận đều tiến hành nghiêm cẩn thử lại, đối chỗ có thể xuất hiện sai lầm địa phương tiến hành lặp đi lặp lại cân nhắc.
Đến mức công khai.
Không có đồng hành bình thẩm phân đoạn Arxiv, không thể nghi ngờ là nhanh nhất lựa chọn!
Duy nhất tai hại khả năng chính là cùng có chút tập san, hội nghị đóng góp nguyên tắc xung đột, tỷ như ở đoạn cảo trước upload luận văn có thể sẽ trái với song mù quy tắc vân vân, bất quá Lục Chu hiện tại cũng không phải rất lưu ý những thứ đồ này, hơn nữa hắn tin tưởng những kia tiếp thu bài viết tập san, cũng không sẽ để ý những kia việc nhỏ không đáng kể.
Rốt cuộc đóng góp người không còn là cái gì vô danh tiểu tốt, mà là giải Cole lý thuyết số người đoạt được. Báo cáo học thuật thành quả cũng không phải cái gì không có tiếng tăm gì công tác, mà là Hilbert 23 questions câu hỏi thứ tám bên trong Giả thuyết Goldbach, chỉ đứng sau bài toán Thiên niên kỷ Lý thuyết giải tích số giới vương miện một trong!
Hai ngày nữa, hắn sẽ lại đem luận văn một lần nữa sửa sang một chút, giải quyết dưới mặt quy cách vấn đề, để nó xem ra thoải mái một điểm, sau đó đóng góp ( Annals of Mathematics ).
Lúc trước chứng minh Wiles bản kia liên quan với Định lý lớn Fermat chứng minh luận văn, do sáu vị reviewer đồng thời thẩm lý, Lục Chu không biết mình luận văn để cho mấy vị đại lão bình thẩm, nhưng nghĩ đến hẳn là cũng sẽ không thiếu với bốn cái chứ?
Nhìn Website trên bắn ra upload xong xuôi nhắc nhở đạn cửa sổ, Lục Chu thở dài một cái.
Cứ như vậy, coi như là hoàn thành công khai chứ?
Luận văn phát biểu sau, quan tâm lĩnh vực này người hoặc là nghiên cứu đơn vị, đều sẽ thu đến một cái alert(tương tự với nhắc nhở). Nếu không có gì bất ngờ xảy ra, trên địa cầu một góc nào đó, hẳn là đã có người đang nhìn hắn văn chương rồi.
Chính là không biết hệ thống đối với luận văn lượng views có tồn tại hay không một cái phán định trị, nếu như tồn tại lời nói, liền phải chờ mấy ngày mới có thể nghiệm chứng suy đoán của hắn rồi.
Ngồi trước máy vi tính, đợi một ly cà phê công phu, Lục Chu nhắm hai mắt lại, hít vào một hơi thật sâu, nhẹ giọng đọc thầm.
"Hệ thống."
Khi hắn lại lần nữa mở mắt ra, đập vào mắt đã là một mảnh thuần trắng.
Khoảng cách lần trước về tới đây, đã rất có một quãng thời gian, cho tới lần này đi vào chỗ này, Lục Chu thậm chí có chút không thích ứng cảm giác.
Đi tới nửa trong suốt toàn tức màn hình bên cạnh, hắn mang theo một tia tâm tình thấp thỏm, đưa tay đặt tại cột quest vị trí.
Rất nhanh hắn liền có thể nghiệm chứng chính mình suy đoán. . .
Đồng thời, cũng có thể biết, chính mình dòng suy nghĩ đến tột cùng có chính xác không.
Chờ chút. . .
Đang lúc này, Lục Chu bỗng nhiên ý thức được một vấn đề.
Nếu như hệ thống không có cho mình đáp lại lời nói, cái kia đến tột cùng là nói rõ chính mình đối nhiệm vụ hoàn thành phán định điều kiện phân tích sai lầm, vẫn là nói rõ chính mình luận văn bản thân tồn tại vấn đề?
Nhưng mà, hệ thống cũng không có cho hắn suy nghĩ vấn đề này thời gian.
Giống như tiếng trời tiếng nhắc nhở vang lên.
Tiếp theo, một hàng chữ ánh vào tầm mắt của hắn.
( chúc mừng kí chủ, hoàn thành nhiệm vụ! )
Ngoài cửa sổ trời lờ mờ sáng.
Nằm nhoài trên bàn sách Lục Chu, chậm rãi mở hai mắt ra.
Xoa xoa có chút chua xót mi tâm, hắn nhìn về phía đặt ở góc bàn lịch ngày.
Đều tháng năm a. . .
Lục Chu có chút đau đầu lay một thoáng đầu.
Từ hắn tháng 2 đến Princeton đến hiện tại, hầu như hơn một nửa thời gian đều ở chỗ này gian mười mét vuông trong phòng, trừ bỏ lái xe đi siêu thị mua thức ăn bên ngoài, hắn trên căn bản đều chưa từng ra cửa.
Nhất làm cho hắn đau lòng chính là tấm kia 5000 USD câu lạc bộ thẻ, hắn thậm chí cũng chưa dùng qua mấy lần.
Từ lĩnh cái nhiệm vụ kia sau, này sắp tới thời gian nửa năm bên trong, hắn vẫn đang khiêu chiến Giả thuyết Goldbach.
Bây giờ, tất cả những thứ này cuối cùng cũng coi như là có kết quả rồi.
Hít vào một hơi thật sâu, Lục Chu từ trên ghế đứng lên.
Đi tới bước cuối cùng hắn, trái lại không sốt ruột như vậy rồi.
Khẽ hát đi vào nhà bếp, cho mình lấy điểm ăn, Lục Chu thậm chí từ trong tủ lạnh lấy ra một nhánh Champagne, mở ra nắp bình cho mình rót.
Champagne là hai tháng trước liền mua xong, vì chính là thời khắc này.
Yên tĩnh hưởng dụng xong bữa này bữa tối, Lục Chu ung dung không vội đi nhà bếp rửa tay, sau đó trở lại trước bàn đọc sách, bắt đầu vì chính mình quãng thời gian này công tác làm cái phần kết.
Lướt qua sắp tới năm mươi trang luận văn giấy, hắn ở ngày hôm qua chưa viết xong liền ngủ say địa phương, đề bút tiếp tục viết.
(. . . Cho thấy, chúng ta có Px(1, 1)≥P(x, x^{1/16})-(1/2)∑Px(x, p, x)-Q/2-x^(log4). . . (30) )
(. . . Do thức (30), dẫn lý 8, dẫn lý 9, dẫn lý 10, có thể chứng minh định lý 1 thành lập. )
Cái gọi là định lý 1, chính là hắn ở trong luận văn, định nghĩa Giả thuyết Goldbach toán học thuyết minh.
Tức, quy định sẵn một cái đầy đủ lớn số chẵn N, tồn tại số nguyên tố P1 cùng P2, thỏa mãn N=P1+P2.
Cùng với tương tự chính là Trần thị định lý N=P1+P2·P3, cùng với một hệ liệt liên quan với P(a, b) định lý.
Đương nhiên, tuy rằng hiện tại ở luận văn của hắn bên trong, điều này công thức được gọi là định lý 1, nhưng có lẽ không bao lâu nữa, các loại giới toán học phổ biến tiếp nhận rồi hắn quá trình chứng minh, điều này định lý có lẽ thì sẽ thăng cấp làm "Lục thức định lý" loại hình đồ vật.
Bất quá, loại này trọng đại giả thuyết toán học thẩm cảo chu kỳ bình thường sẽ khá dài.
Perelman chứng minh giả thuyết Poincaré luận văn dùng ba năm mới bị giới toán học tán thành, Shinichi Mochizuki liên quan với giả thuyết ABC chứng minh bởi vì lẫn lộn đại lượng "Thần bí thuật ngữ", thẩm cảo ngưỡng cửa chí ít cũng phải trước tiên đọc hiểu hắn "Vũ trụ kỷ lý luận" mới xem như là nhập môn, sở dĩ mãi đến tận hiện tại cũng không có người xem xong, dự tính tương lai cũng rất khó khăn.
Một cái trọng đại giả thuyết thẩm cảo tốc độ, ở mức độ rất lớn quyết định bởi với mệnh đề này nhiệt độ, cùng với công việc này đến tột cùng "Mới" đến trình độ nào.
Ở chứng minh Số nguyên tố sinh đôi định lý lúc, Lục Chu cũng không có vận dụng đến đặc biệt mới mẻ độc đáo lý luận, chỉ là ở Zellberg giáo sư năm 95 phát biểu trong bản luận văn kia nhắc tới tô-pô phương pháp tiến hành rồi đổi mới, đã nghiên cứu qua bài luận văn này người, liền có thể rất nhanh hiểu rõ đến hắn làm cái nào công tác.
Mà chứng minh Polignac - Lục định lý luận văn, thẩm cảo chu kỳ rõ ràng liền kéo dài ra một đoạn dài.
Mặc dù hắn Quần cấu pháp ở Số nguyên tố sinh đôi định lý chứng minh bên trong đã có chỗ thể hiện, nhưng trong đó ma cải thành phần cũng làm cho nó xa xa lệch khỏi phương pháp sàng phạm trù, cho dù reviewer là Deligne loại này đại ngưu, cũng dùng không ít thời gian mới dưới cuối cùng định luận.
Mà bản này liên quan với Giả thuyết Goldbach chứng minh luận văn, Lục Chu tổng cộng viết năm mươi trang, mà trong đó càng là chí ít hoa một nửa độ dài, đi trình bày và phân tích hắn vì toàn bộ chứng minh dựng lý luận dàn giáo.
Một phần này công tác, thậm chí có thể đơn độc làm một phần luận văn phát biểu rồi.
Ở mức độ rất lớn hắn thẩm cảo chu kỳ, quyết định bởi với người khác đối với hắn đưa ra lý luận dàn giáo hứng thú, cùng với đối với hắn chỗ đưa ra lý luận dàn giáo tiếp thu trình độ.
Đến mức cụ thể cần phải bao lâu, liền không phải hắn có thể khống chế rồi.
Kỳ thực Lục Chu trước đây liền đang suy tư, hệ thống đối với nhiệm vụ hoàn thành phán định tiêu chuẩn, đến tột cùng là cái gì.
Nếu như hắn đối một cái định lý hoàn thành rồi chứng minh, nhưng mười năm thậm chí là mấy chục năm, cũng không có người tán thành công tác của hắn, phải chăng mang ý nghĩa nhiệm vụ của hắn liền đến trên thẻ lâu như vậy?
Hơn nữa nhất làm cho hắn không hiểu chính là, nếu hệ thống kho số liệu bên trong chứa đựng số liệu khổng lồ, như vậy nó nhất định đến từ một cái cao đẳng văn minh —— chí ít cái này văn minh so với trên địa cầu văn minh muốn phát đạt.
Mà không đi thảo luận nó tồn tại động cơ, Lục Chu cảm thấy, xác định một vấn đề phải chăng bị giải quyết, đến từ cao đẳng văn minh hệ thống hẳn là cũng sẽ không tham khảo "Thổ dân" ý kiến.
Như vậy phân tích lời nói, Lục Chu thu được kết luận chính là, hệ thống nhiệm vụ hoàn thành hẳn là do hai cái nhân tố phán định.
Một cái là tính chính xác.
Một cái khác, chính là công khai!
Kỳ thực, có một cái rất đơn giản biện pháp có thể để nghiệm chứng, hắn chứng minh có chính xác không.
Nếu như chỉ là vì công khai lời nói, không nhất định đến phát đến trên tập san. . .
. . .
Hoàn thành chứng minh Giả thuyết Goldbach luận văn sau, Lục Chu hoa ròng rã ba ngày, đem trên giấy đồ vật thu dọn đến trong máy tính, cũng chuyển thành PDF cách thức văn kiện, sau đó đổ bộ Arxiv quan võng, đem trên luận văn truyền.
Tính chính xác, hắn có hơn chín mươi phần trăm nắm chặt, bởi vì thói quen của hắn là đối mỗi một cái kết luận đều tiến hành nghiêm cẩn thử lại, đối chỗ có thể xuất hiện sai lầm địa phương tiến hành lặp đi lặp lại cân nhắc.
Đến mức công khai.
Không có đồng hành bình thẩm phân đoạn Arxiv, không thể nghi ngờ là nhanh nhất lựa chọn!
Duy nhất tai hại khả năng chính là cùng có chút tập san, hội nghị đóng góp nguyên tắc xung đột, tỷ như ở đoạn cảo trước upload luận văn có thể sẽ trái với song mù quy tắc vân vân, bất quá Lục Chu hiện tại cũng không phải rất lưu ý những thứ đồ này, hơn nữa hắn tin tưởng những kia tiếp thu bài viết tập san, cũng không sẽ để ý những kia việc nhỏ không đáng kể.
Rốt cuộc đóng góp người không còn là cái gì vô danh tiểu tốt, mà là giải Cole lý thuyết số người đoạt được. Báo cáo học thuật thành quả cũng không phải cái gì không có tiếng tăm gì công tác, mà là Hilbert 23 questions câu hỏi thứ tám bên trong Giả thuyết Goldbach, chỉ đứng sau bài toán Thiên niên kỷ Lý thuyết giải tích số giới vương miện một trong!
Hai ngày nữa, hắn sẽ lại đem luận văn một lần nữa sửa sang một chút, giải quyết dưới mặt quy cách vấn đề, để nó xem ra thoải mái một điểm, sau đó đóng góp ( Annals of Mathematics ).
Lúc trước chứng minh Wiles bản kia liên quan với Định lý lớn Fermat chứng minh luận văn, do sáu vị reviewer đồng thời thẩm lý, Lục Chu không biết mình luận văn để cho mấy vị đại lão bình thẩm, nhưng nghĩ đến hẳn là cũng sẽ không thiếu với bốn cái chứ?
Nhìn Website trên bắn ra upload xong xuôi nhắc nhở đạn cửa sổ, Lục Chu thở dài một cái.
Cứ như vậy, coi như là hoàn thành công khai chứ?
Luận văn phát biểu sau, quan tâm lĩnh vực này người hoặc là nghiên cứu đơn vị, đều sẽ thu đến một cái alert(tương tự với nhắc nhở). Nếu không có gì bất ngờ xảy ra, trên địa cầu một góc nào đó, hẳn là đã có người đang nhìn hắn văn chương rồi.
Chính là không biết hệ thống đối với luận văn lượng views có tồn tại hay không một cái phán định trị, nếu như tồn tại lời nói, liền phải chờ mấy ngày mới có thể nghiệm chứng suy đoán của hắn rồi.
Ngồi trước máy vi tính, đợi một ly cà phê công phu, Lục Chu nhắm hai mắt lại, hít vào một hơi thật sâu, nhẹ giọng đọc thầm.
"Hệ thống."
Khi hắn lại lần nữa mở mắt ra, đập vào mắt đã là một mảnh thuần trắng.
Khoảng cách lần trước về tới đây, đã rất có một quãng thời gian, cho tới lần này đi vào chỗ này, Lục Chu thậm chí có chút không thích ứng cảm giác.
Đi tới nửa trong suốt toàn tức màn hình bên cạnh, hắn mang theo một tia tâm tình thấp thỏm, đưa tay đặt tại cột quest vị trí.
Rất nhanh hắn liền có thể nghiệm chứng chính mình suy đoán. . .
Đồng thời, cũng có thể biết, chính mình dòng suy nghĩ đến tột cùng có chính xác không.
Chờ chút. . .
Đang lúc này, Lục Chu bỗng nhiên ý thức được một vấn đề.
Nếu như hệ thống không có cho mình đáp lại lời nói, cái kia đến tột cùng là nói rõ chính mình đối nhiệm vụ hoàn thành phán định điều kiện phân tích sai lầm, vẫn là nói rõ chính mình luận văn bản thân tồn tại vấn đề?
Nhưng mà, hệ thống cũng không có cho hắn suy nghĩ vấn đề này thời gian.
Giống như tiếng trời tiếng nhắc nhở vang lên.
Tiếp theo, một hàng chữ ánh vào tầm mắt của hắn.
( chúc mừng kí chủ, hoàn thành nhiệm vụ! )