Have you read Goedel Escher Bach?