Notes

Information decides the compressable patterns.

Energy decides which direction to find them.

1. Bayes’ Theorem & Information Theory
2. Peano Arithmetic & Gödel’s Theorem & Turing & Computation
3. Quantum Interpretation & Bell’s Inequality
4. Linear Algebra & Calculus
5. Hopfield Networks & Deep Learning
6. Predictive Process & Free Energy Principle
7. Compression & Association
8. Field Theory & Thermodynamics

Technologies

1. Web

Gödel vs Turing

Gödel: There exist true mathematical statements that cannot be proven within that system

$$\theta(x) = \mathrm{isNotProvable}(\text {encode} ( \text {decode} (x)(x)))$$

$\theta(\text{encode}(\theta))$ is true by not provable.

Turing: There is no algorithm that can decide whether a given program will halt?

$$\theta(x) = \mathrm{isHaltable}(\text {decode} (x), x) ? \text{loop} : \text{halt}$$

$\theta(\text{encode}(\theta))$ is not decidable.

Education

1. Thinking, fast and slow
2. Why we remember
3. How we learn
4. Why Don’t Students Like School?
5. Make it stick
6. Outsmart Your Brain
7. A thousand brains