Content deleted Content added
m →History: restore link that apparently got removed when harvs was commented out |
Tags: Mobile edit Mobile web edit |
||
Line 44:
==History==
{{further|Fermat's Last Theorem|Wiles's proof of Fermat's Last Theorem}}
[[Yutaka Taniyama]]{{sfn|Taniyama|1956}}<!--{{harvs|txt|authorlink=Yutaka Taniyama|last=Taniyama|first=Yutaka|year=1956}}--> stated a preliminary (slightly incorrect) version of the conjecture at the 1955 international symposium on algebraic number theory in [[Tokyo]] and [[Nikkō, Tochigi|Nikkō]]. [[Goro Shimura]] and Taniyama worked on improving its rigor until 1957. [[André Weil]]{{sfn|Weil|1967}}<!--{{harvs|txt|authorlink=André Weil|last=Weil|first=André|year= 1967}}--> rediscovered the conjecture, and showed in 1967 that it would follow from the (conjectured) functional equations for some twisted {{mvar|L}}-series of the elliptic curve; this was the first serious evidence that the conjecture might be true. Weil also showed that the conductor of the elliptic curve should be the level of the corresponding modular form. The Taniyama–Shimura–Weil conjecture became a part of the [[Langlands program]].<ref name="Harris Virtues of Priority">{{cite arXiv | last=Harris | first=Michael | title=Virtues of Priority | year=2020 | eprint=2003.08242 | page=| class=math.HO }}</ref><ref>{{cite journal
| last = Lang
| first = Serge
| |||