|
|
@@ -4,12 +4,15 @@
|
|
|
- Book VII, Proposition 34: Least common multiple of two numbers
|
|
|
- Book IX, Proposition 20: Proof of infinite primes
|
|
|
|
|
|
-#### Fermat's Last Theorem
|
|
|
+#### Fermat's Last Theorem and Langlands Program
|
|
|
1. Frey's counter-example is an elliptic curve which assumes positive integer solution to aᵖ + bᵖ = cᵖ for p > 2
|
|
|
2. Then by the Taniyama-Shimura-Weil Conjecture, this gives rise to a [modular form](https://en.wikipedia.org/wiki/Modular_form)
|
|
|
3. However, it is seen that it is not in fact, a modular form
|
|
|
4. Reductio Ad Absurdum
|
|
|
|
|
|
+- Langlands Program is to further connect complex analysis with number theory
|
|
|
+- Riemann's Hypothesis relates prime numbers to solutions of zeta function
|
|
|
+
|
|
|
#### Reading Backlog
|
|
|
- [Number Theory meets Computability Theory](https://www.nlp-kyle.com/post/number_computability/)
|
|
|
- [General Recursive Functions](https://plato.stanford.edu/entries/recursive-functions/#GeneRecuFunc)
|
