Classical logic up to Goedel’s theorem. Fairly standard Bayesian probability. A little bit of coding (up to Kraft’s inequality). Computability and algorithmic complexity. Solomonoff induction.
It’s all pretty basic stuff, but taken from a variety of disciplines.
Classical logic up to Goedel’s theorem.
Fairly standard Bayesian probability.
A little bit of coding (up to Kraft’s inequality).
Computability and algorithmic complexity.
Solomonoff induction.
It’s all pretty basic stuff, but taken from a variety of disciplines.