#### Euclid. *Euclid's Elements*. Translated by Thomas L. Heath, Green Lion Press, 2002.
- Number Theory
    - Book VII: Definitions
    - Book VII, Proposition 34: Least common multiple of two numbers
    - Book IX, Proposition 20: Proof of infinite primes

#### Fermat's Last Theorem and Langlands Program
- Langlands Program is to further connect complex analysis with number theory
- Riemann's Hypothesis relates prime numbers to solutions of zeta function

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)
- [Wave function](https://en.wikipedia.org/wiki/Wave_function)
- [A Proof of the Kahn-Kalai Conjecture - Jinyoung Park, Huy Tuan Pham](http://Https://arxiv.org/abs/2203.17207)
- [Lindemann–Weierstrass theorem for transcendental numbers](https://en.wikipedia.org/wiki/Lindemann%E2%80%93Weierstrass_theorem)
- [Computability and Galois Fields](https://math.stackexchange.com/questions/661627/a-result-of-van-der-waerden-says-galois-theory-needs-incomputable-sets-what)
- [COMPUTABLE ALGEBRA, GENERAL THEORY AND THEORY OF COMPUTABLE FIELDS - Rabin](https://www.ams.org/journals/tran/1960-095-02/S0002-9947-1960-0113807-4/S0002-9947-1960-0113807-4.pdf)
- [computable sets and splitting fields](https://math.stackexchange.com/questions/661627/a-result-of-van-der-waerden-says-galois-theory-needs-incomputable-sets-what) pg. 121 v.d. waerden
- [Hello Quantum](https://helloquantum.mybluemix.net/)
- [Quantum non-equilibirum](https://en.wikipedia.org/wiki/Quantum_non-equilibrium)
- [Delayed-choice Quantum Eraser](https://en.wikipedia.org/wiki/Delayed-choice_quantum_eraser)
- [Qiskit](https://qiskit.org/textbook/ch-algorithms/deutsch-jozsa.html)
- [Choose a License](https://choosealicense.com/)
- [su(2)'s double covering of so(3)](https://www.pas.rochester.edu/assets/pdf/undergraduate/su-2s_double_covering_of_so-3.pdf)
- [Categories for Quantum Theory: An Introduction](https://academic.oup.com/book/43710)
- [INFORMATION, PHYSICS, QUANTUM: THE SEARCH FOR LINKS - John Archibald Wheeler](https://philpapers.org/archive/WHEIPQ.pdf)
- [On Computable Numbers, With An Application To The Entscheidungsproblem](https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf) - A. M. Turing
- [Bertrand's Postulate](https://en.wikipedia.org/wiki/Bertrand%27s_postulate)
- [In Defense of Countabilism](http://individual.utoronto.ca/jmwilson/Builes-Wilson-In-Defense-of-Countabilism.pdf)
- [Taming the Delayed Choice Quantum Eraser](https://arxiv.org/abs/1707.07884)

#  Mathematics                                                                  
- [Matrix calculus](https://en.wikipedia.org/wiki/Matrix_calculus)               
- [Small-angle approximation](https://en.wikipedia.org/wiki/Small-angle_approximation)
- [Properties of positive (semi)definite matrices](https://link.springer.com/content/pdf/bbm%3A978-0-306-47819-2%2F1.pdf)
- [Positive semidefinite cone](https://www.cse.iitk.ac.in/users/rmittal/prev_course/s14/notes/lec12.pdf)
- [Rayleigh Ritz Theorem](https://planetmath.org/rayleighritztheorem)            
- pg.79 Algebra B.L. van der Waerden - determinant of linear transformation invariant of basis
- [Multivariate Calculus](https://mathinsight.org/thread/multivar)               
- [Complex Analysis](https://complex-analysis.com/content/table_of_contents.html)
- [Principles of Mathematical Analysis Solutions (Rudin)](https://minds.wisconsin.edu/handle/1793/67009)
- [Duality (mathematics)](https://en.wikipedia.org/wiki/Duality_(mathematics))
- [Paper Sizes](https://en.wikipedia.org/wiki/Paper_size)
- [Library of Babel](https://en.wikipedia.org/wiki/The_Library_of_Babel)
- [MIP\* = RE Henry Yuen Talk](https://cacm.acm.org/magazines/2021/11/256404-mip-re/fulltext)
- [Bertrand Paradox](https://en.wikipedia.org/wiki/Bertrand_paradox_(probability))
- [Weierstrass function](https://en.wikipedia.org/wiki/Weierstrass_function)     
- [Turing Category](https://ncatlab.org/nlab/show/Turing+category)


#### Tables
- [Table of Irreducible primitive polynomials over Galois Fields](http://fchabaud.free.fr/English/default.php?COUNT=1&FILE0=Poly)


#### Research Papers
- [Bounding the set of quantum correlations - Miguel Navascu ́es, Stefano Pironio, and Antonio Ac ́ın](https://arxiv.org/pdf/quant-ph/0607119.pdf)
- [Consequences and Limits of Nonlocal Strategies - Richard Cleve Peter Høyer Ben Toner John Watrous](https://arxiv.org/pdf/quant-ph/0404076.pdf)
- [Empirical Two-Point Correlation Functions - Lawrence J. Landau](https://link.springer.com/content/pdf/10.1007/BF00732549.pdf)
- [Locality, Bell's Theorem, and Quantum Mechanics - Peter Rastall](https://link.springer.com/content/pdf/10.1007/BF00739036.pdf)

#  Computer Science                                                             
- [Applied Mathematical Programming](http://web.mit.edu/15.053/www/AMP.htm)      
- [The Lost Art of Structure Packing](http://www.catb.org/esr/structure-packing/)
- [Firewall](https://en.wikipedia.org/wiki/Firewall_(computing))
- [Reverse Proxy](https://en.wikipedia.org/wiki/Reverse_proxy)