1685-1750 1898-1972 1936- 709 ai art artificialintelligence bach beauty biography cognition colors consciousness creativity formal-systems gödel intelligence johannsebastian kurt logic mathematics meaning metamathematics music ne netherlands paradox philosophy printmakers recursion rolf self-reference symbolism symmetry systems-theory u4a zen