includes event Algorithmic properties of models Computable algebra and algorithmic learning theory Turing, Gödel, and the algorithmic method