Khác biệt giữa bản sửa đổi của “Định lý lớn Fermat”
Nội dung được xóa Nội dung được thêm vào
→Bộ ba số Pytago: sai chính tả |
n sửa lại từ gõ sai |
||
Dòng 20:
Năm 1984, Gerhard Frey nhận thấy một liên kết rõ ràng giữa hai vấn đề không liên quan và chưa được giải quyết trước đây. Một phác thảo cho thấy điều này có thể được chứng minh đã được đưa ra bởi Frey. Bằng chứng đầy đủ cho thấy hai vấn đề này có liên quan mật thiết với nhau, được xây dựng bởi Ken Ribet vào năm 1986 dựa trên cách chứng minh từng phần của Jean-Pierre Serre, người đã chứng minh được tất cả nhưng chỉ một phần được gọi là "dự đoán epsilon" (xem định lý của Ribet và đường Frey). Bằng tiếng Anh, các giấy tờ của Frey, Serre và Ribet chỉ ra rằng nếu Định lý mô đun có thể được chứng minh cho ít nhất là bán ổn định lớp đường cong elliptic, thì một cách chứng minh của Định lý cuối cùng của Fermat cũng sẽ tự động được thực hiện. Kết nối được mô tả dưới đây: bất kỳ giải pháp nào có thể trái ngược với Định lý cuối cùng của Fermat cũng có thể được sử dụng để đảo lại với Định lý mô đun. Vì vậy, nếu định lý Mô-đun đã được tìm thấy là đúng, thì theo định nghĩa không có cách giải nào đảo với Định lý cuối cùng của Fermat có thể tồn tại, điều này cũng phải là đúng.
Mặc dù cả hai vấn đề này đều là những vấn đề khó khăn được xem là "hoàn toàn không thể tiếp cận" được vào thời điểm đó, nhưng đây là gợi ý đầu tiên của một lộ trình mà theo đó Định lý cuối cùng của Fermat có thể được mở rộng và chứng minh cho tất cả các con số, chứ không phải chỉ một số con số. Điều quan trọng là các nhà nghiên cứu lựa chọn một chủ đề nghiên cứu thực sự là không giống như Định lý Cuối cùng của Fermat, Định lý mô đun là một lĩnh vực nghiên cứu chủ yếu mà một cách chứng minh được yêu cầu rộng rãi và không chỉ là một sự kỳ quặc lịch sử, do đó thời gian làm việc trên đó có thể được chứng minh là
"Bản thân tôi rất hoài nghi rằng mối liên hệ tuyệt vời giữa Định lý Cuối cùng của Fermat và giả thuyết Taniyama-Shimura sẽ thực sự dẫn đến bất cứ điều gì, bởi vì tôi phải thú nhận rằng tôi không nghĩ rằng giả thuyết Taniyama-Shimura có thể chứng minh được., nó dường như không thể chứng minh. Tôi phải thú nhận rằng tôi nghĩ có lẽ tôi sẽ không chứng kiến điều đó trong suốt cuộc đời mình. "
| |||