|
|
@@ -4,6 +4,12 @@
|
|
|
- Book VII, Proposition 34: Least common multiple of two numbers
|
|
|
- Book IX, Proposition 20: Proof of infinite primes
|
|
|
|
|
|
+#### Fermat's Last Theorem
|
|
|
+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
|
|
|
+
|
|
|
#### 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)
|
