Article
Mathematicians plan computer proof of Fermat's last theorem
Rating:
0.0
Views:
31
Likes:
1
Library:
1
Fermat's last theorem puzzled mathematicians for centuries until it was finally proven in 1993. Now, researchers want to create a version of the proof that can be formally checked by a computer for any errors in logic
Rate This Post
Rate The Educational Value
Rate The Ease of Understanding and Presentation
Interesting or Boring? Rate the Entertainment Value