AI memo
├── Why the future doesn't need us
├── History
│ ├── Math History
│ ╰── Incompleteness[informal]
├── Proof Theory
│ ├── Turing's Proof
│ ├── Ordinal Analysis for PA[to math]
│ ├── CurryHowardIsomorphism[Program = Proof]
│ ╰── Logic to Computer[nand2tetris]
╰── Artificial Intelligence
├── Math(Deisenroth, Faisal, Ong)
│ ├── Math
│ ├── Linear Algebra
│ ├── Vector Calculus
│ ├── Probability Theory
│ ├── Lagrange Multiplier
│ ├── Optimization
│ ╰── Data and Model as Math
├── Artificial Intelligence(Hurbans)
├── Deep Learning(Bishop)
│ ├── Deep Learning
│ ├── Probability
│ ├── Standard Distribution
│ ╰── Neural Network
├── Deep Learning[informal]
│ ├── Prerequisite(Goodfellow, Bengio, Courville)
│ ╰── Neural Networks and DeepLearning(Nielsen)
╰── Machine Learning(Murphy)
├── Machine Learning
├── Math
╰── Linear Models