writings on math, logic, philosophy and art