Algorithmic learning. Gödel incompleteness ((G) Math 272.F02) Course uri icon