GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Fermat's Last Theorem (proved by Wiles)
URI:
https://gptkb.org/entity/Fermat's_Last_Theorem_(proved_by_Wiles)
GPTKB entity
Statements (25)
Predicate
Object
gptkbp:instanceOf
gptkb:mathematical_concept
gptkbp:announcedProofYear
1993
gptkbp:awardedToProver
gptkb:Abel_Prize
gptkb:Royal_Medal
gptkb:mathematics
gptkb:Crafoord_Prize
gptkbp:difficulty
considered one of the most famous unsolved problems in mathematics until 1994
gptkbp:field
number theory
gptkbp:fullName
gptkb:Fermat's_Last_Theorem
https://www.w3.org/2000/01/rdf-schema#label
Fermat's Last Theorem (proved by Wiles)
gptkbp:inspiredBy
development of modern mathematics
mathematical research in algebraic number theory
gptkbp:notableFor
Fermat's marginal note claiming to have a proof too large to fit in the margin
gptkbp:originalConjectureBy
gptkb:Pierre_de_Fermat
gptkbp:originalConjectureYear
1637
gptkbp:provenBy
gptkb:Andrew_Wiles
gptkbp:publishedIn
gptkb:Annals_of_Mathematics
gptkbp:relatedTo
gptkb:Taniyama–Shimura_conjecture
modular forms
elliptic curves
gptkbp:sentence
No three positive integers a, b, and c satisfy the equation a^n + b^n = c^n for any integer value of n greater than 2.
gptkbp:significance
solved a 357-year-old problem
gptkbp:yearProved
1994
gptkbp:bfsParent
gptkb:Wiles'_Theorem
gptkbp:bfsLayer
8