art and mathematics aesthetic formalism