|
@@ -63,6 +63,7 @@ ___
|
|
|
- [Cognitive Load Theory just killed Active Recall](https://blog.alexanderfyoung.com/cognitive-load-theory-just-killed-active-recall/)
|
|
- [Cognitive Load Theory just killed Active Recall](https://blog.alexanderfyoung.com/cognitive-load-theory-just-killed-active-recall/)
|
|
|
- [Using VIM to Write LaTeX in 2021 ](https://newptcai.gitlab.io/blog/vim-and-latex/)
|
|
- [Using VIM to Write LaTeX in 2021 ](https://newptcai.gitlab.io/blog/vim-and-latex/)
|
|
|
- [Why Mathematical Proof Is a Social Compact](https://www.quantamagazine.org/why-mathematical-proof-is-a-social-compact-20230831/)
|
|
- [Why Mathematical Proof Is a Social Compact](https://www.quantamagazine.org/why-mathematical-proof-is-a-social-compact-20230831/)
|
|
|
|
|
+- [On Proof and Progress in Mathematics](https://www.math.toronto.edu/mccann/199/thurston.pdf) - William P. Thurston
|
|
|
|
|
|
|
|
## [Mathematics and Theoretical Computer Science](mathematics.md)
|
|
## [Mathematics and Theoretical Computer Science](mathematics.md)
|
|
|
- [OEIS: The Online Encyclopedia of Integer Sequences](https://oeis.org/)
|
|
- [OEIS: The Online Encyclopedia of Integer Sequences](https://oeis.org/)
|
