[math-fun] Turing & linear algebra