Diễn Đàn MathScopeDiễn Đàn MathScope
  Diễn Đàn MathScope
Ghi Danh Hỏi/Ðáp Thành Viên Social Groups Lịch Ðánh Dấu Ðã Ðọc

Go Back   Diễn Đàn MathScope > Thảo Luận Về Giáo Dục, Văn Hóa, Cộng Đồng Toán Học > Lịch Sử Toán

News & Announcements

Ngoài một số quy định đã được nêu trong phần Quy định của Ghi Danh , mọi người tranh thủ bỏ ra 5 phút để đọc thêm một số Quy định sau để khỏi bị treo nick ở MathScope nhé !

* Nội quy MathScope.Org

* Một số quy định chung !

* Quy định về việc viết bài trong diễn đàn MathScope

* Nếu bạn muốn gia nhập đội ngũ BQT thì vui lòng tham gia tại đây

* Những câu hỏi thường gặp

* Về việc viết bài trong Box Đại học và Sau đại học


Trả lời Gởi Ðề Tài Mới
 
Ðiều Chỉnh Xếp Bài
Old 26-12-2011, 09:42 AM   #16
minhhoang26
+Thành Viên+
 
Tham gia ngày: Nov 2011
Bài gởi: 6
Thanks: 0
Thanked 4 Times in 2 Posts
Nếu chứng minh của bạn Phương là đúng thì là Maya, 2012!
[RIGHT][I][B]Nguồn: MathScope.ORG[/B][/I][/RIGHT]
 
minhhoang26 is offline   Trả Lời Với Trích Dẫn
Old 12-02-2012, 10:45 AM   #17
RAIZA
+Thành Viên+
 
Tham gia ngày: Jul 2011
Đến từ: Storm monarch's
Bài gởi: 144
Thanks: 77
Thanked 65 Times in 50 Posts
Có ai biết Andrew Wiles đã chứng minh định lý Fermat lớn như thế nào không? Quyển “Phương trình và hệ phương trình không mẫu mực” có bài viết nói rằng chứng minh ấy chỉ khoảng 25 trang.
P/S: Nhân tiện cho mình hỏi chứng minh của bạn Phương sai ở chỗ nào đấy?
[RIGHT][I][B]Nguồn: MathScope.ORG[/B][/I][/RIGHT]
 
__________________
Thượng đế có một cuốn sách chứa tất cả những lời giải ngắn nhất và hay nhất của mọi bài toán-P.Erdos
RAIZA is offline   Trả Lời Với Trích Dẫn
Old 16-02-2012, 07:12 PM   #18
Quansu A1PBC
+Thành Viên+
 
Quansu A1PBC's Avatar
 
Tham gia ngày: Sep 2011
Đến từ: Nghệ An
Bài gởi: 18
Thanks: 1
Thanked 11 Times in 9 Posts
Thế bây giờ có còn giải thưởng cho lời giải sơ cấp nữa không nhỉ
[RIGHT][I][B]Nguồn: MathScope.ORG[/B][/I][/RIGHT]
 
Quansu A1PBC is offline   Trả Lời Với Trích Dẫn
Old 17-02-2012, 12:07 AM   #19
99
+Thành Viên+
 
Tham gia ngày: Nov 2007
Bài gởi: 2,995
Thanks: 537
Thanked 2,429 Times in 1,376 Posts
Mấy cái c/m sơ cấp cho giả thuyết Fermat, bạn nào quan tâm thì đi chỗ khác thảo luận nhé. Trên MS không thảo luận mấy thứ ý, nó nằm ngoài khuôn khổ của forum
[RIGHT][I][B]Nguồn: MathScope.ORG[/B][/I][/RIGHT]
 
99 is offline   Trả Lời Với Trích Dẫn
Old 11-03-2013, 06:09 AM   #20
minhhoang26
+Thành Viên+
 
Tham gia ngày: Nov 2011
Bài gởi: 6
Thanks: 0
Thanked 4 Times in 2 Posts
Famous Math Theorem Can be Proved Simply
Fermat’s Last Theorem — the idea that a certain simple equation had no solutions — went unsolved for nearly 350 years until Oxford mathematician Andrew Wiles created a proof in 1995. Now, Case Western Reserve Univ.’s Colin McLarty has shown the theorem can be proved more simply.

The theorem is called Pierre de Fermat’s last because, of his many conjectures, it was the last and longest to be unverified.

In 1630, Fermat wrote in the margin of an old Greek mathematics book that he could demonstrate that no integers (whole numbers) can make the equation xn + yn = zn true if n is greater than 2.

He also wrote that he didn’t have space in the margin to show the proof. Whether Fermat could prove his theorem or not is up to debate, but the problem became the most famous in mathematics. Generation after generation of mathematicians tried and failed to find a proof.

So, when Wiles broke through in 1995, “It was just shocking to a lot of us that it could be proved,” McLarty, says. “And we thought, ‘Now what?’ There was no new most famous problem.”

McLarty is a Case Western Reserve philosophy professor who specializes in logic and earned his undergraduate degree in mathematics. He hasn’t developed a proof for Fermat, but has shown that the theorem can be proved with much less set theory than Wiles used.

Wiles relied on his own deep insight into numbers and works of others — including Alexander Grothendieck — to devise his 110-page proof and subsequent corrections.

Grothendieck revolutionized numbers theory, rebuilding algebraic geometry in the 1960s and 1970s. He used strong assumptions to support abstract ideas, including the idea of the existence of a universe of sets so large that standard set theory cannot prove they exist. Standard set theory is comprised of the most commonly used principals, or axioms, that mathematicians use.

McLarty calls Grothendieck’s work “a toolkit,” and showed, at the Joint Mathematics Meetings in San Diego in January, that only a small portion is needed to prove Fermat’s Last Theorem.

“Most number theorists are like race car drivers. They get the best out of the car but they don't build the whole car," McLarty says. “Grothendieck created a toolkit to build cars from scratch.”

“Where Grothendieck used strong set theory I’ve shown he could do with only a fraction of it,” McLarty says. “I use finite-order arithmetic, where all sets are built
from numbers in just a few steps. You don’t need sets of sets of numbers, which Grothendieck used in his toolkit and Andrew Wiles used to prove the theorem in the 90s.”

McLarty showed that all of Grothendieck's ideas, even the most abstract, can be justified using very little set theory — much less than standard set theory. Specifically, they can be justified using "finite order arithmetic." This uses numbers and sets of numbers and set of those and so on, but much less than standard set theory.

“I appreciate the wholeness of the foundation Grothedieck created,” McLarty says. “I want to take the whole thing and make it more usable to practicing mathematicians.”

Mathematician Harvey Friedman, who famously earned his undergraduate, master’s and PhD from MIT in three years and began teaching at Stanford Univ. at age 18, calls the work a “clarifying first step,” ScienceNews reports. Friedman, now an emeritus mathematics professor at Ohio State Univ., calls for McLarty’s work to be extended to see if the theorem can be proved by numbers alone, with no sets involved.

“Fermat's Last Theorem is just about numbers, so it seems like we ought to be able to prove it by just talking about numbers,” McLarty says. “I believe that can be done, but it will require many new insights into numbers. It will be very hard. Harvey sees my work as a preliminary step to that, and I agree it is.”

McLarty will talk more about that specific result at the Association for Symbolic Logic North American Annual Meeting in Waterloo, Ontario, May 8-11.

[Only registered and activated users can see links. ]
[RIGHT][I][B]Nguồn: MathScope.ORG[/B][/I][/RIGHT]
 
minhhoang26 is offline   Trả Lời Với Trích Dẫn
Old 12-03-2013, 12:13 AM   #21
Gallus
+Thành Viên+
 
Tham gia ngày: Oct 2012
Bài gởi: 62
Thanks: 17
Thanked 25 Times in 19 Posts
BBC có làm một bộ phim rất hay về Fermat's last theorem, có ở trên youtube, chắc tại vì Wiles là người Anh Phỏng vấn trực tiếp Wiles và các ông liên quan nữa. Lúc hỏi thấy Wiles rơm rớm nước mắt, nói không nên lời, chắc xúc động quá

[Only registered and activated users can see links. ]
[RIGHT][I][B]Nguồn: MathScope.ORG[/B][/I][/RIGHT]
 
Gallus is offline   Trả Lời Với Trích Dẫn
Old 31-03-2013, 09:32 PM   #22
pco
+Thành Viên+
 
pco's Avatar
 
Tham gia ngày: Dec 2011
Bài gởi: 528
Thanks: 560
Thanked 195 Times in 124 Posts
Bài viết của bác minhhoang26 được trans tại [Only registered and activated users can see links. ].
[RIGHT][I][B]Nguồn: MathScope.ORG[/B][/I][/RIGHT]
 
__________________
"People's dreams... will never end!" - Marshall D. Teach.
pco is offline   Trả Lời Với Trích Dẫn
Trả lời Gởi Ðề Tài Mới

Bookmarks

Ðiều Chỉnh
Xếp Bài

Quuyền Hạn Của Bạn
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is Mở
Smilies đang Mở
[IMG] đang Mở
HTML đang Tắt

Chuyển đến


Múi giờ GMT. Hiện tại là 03:45 PM.


Powered by: vBulletin Copyright ©2000-2024, Jelsoft Enterprises Ltd.
Inactive Reminders By mathscope.org
[page compression: 64.30 k/72.12 k (10.84%)]