Mathematical Foundations of Joy(hypercubed.github.io)

65 points by tosh 2 years ago | 8 comments

Practical Foundations of Mathematics(paultaylor.eu)

95 points by nill0 1 year ago | 19 comments

Mathematical Introduction to Deep Learning: Methods, Implementations, and Theory(arxiv.org)

412 points by Anon84 2 years ago | 132 comments

arXiv listing for a book by Jentzen, Kuckuck, and von Wurstemberger giving a mathematically rigorous introduction to deep learning methods, implementations, and theory.

Calculus for Mathematicians, Computer Scientists, and Physicists [pdf](mathcs.holycross.edu)

332 points by o4c 11 months ago | 70 comments

A free PDF textbook by Andrew D. Hwang, 'Calculus for Mathematicians, Computer Scientists, and Physicists: An Introduction to Abstract Mathematics'.

Lemma for the Fundamental Theorem of Galois Theory(susam.net)

126 points by susam 1 year ago | 33 comments

Why are we even doing all this?(terrytao.wordpress.com)

78 points by smilelamp 10 days ago | 31 comments

A guest post by Rikab Gambhir on Terence Tao's blog reflecting on why mathematicians and physicists do their work as AI reshapes research.