|
@@ -65,6 +65,7 @@ ___
|
|
|
- [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
|
|
- [On Proof and Progress in Mathematics](https://www.math.toronto.edu/mccann/199/thurston.pdf) - William P. Thurston
|
|
|
- [Simultaneous localization and mapping](https://en.wikipedia.org/wiki/Simultaneous_localization_and_mapping)
|
|
- [Simultaneous localization and mapping](https://en.wikipedia.org/wiki/Simultaneous_localization_and_mapping)
|
|
|
|
|
+- [Essays and Thoughts on Mathematics](https://mathoverflow.net/questions/220052/essays-and-thoughts-on-mathematics)
|
|
|
|
|
|
|
|
## [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/)
|
