Isomorphism levels

From Hofstadter's book GEB: In this case, we have an excellent prototype for the concept of isomorphism. There is a "lower level" of our isomorphism-that is, a mapping between the parts of the two structures: P <==> plus Q <==> equals - <==> one - - <==> two - - - <==> three etc. This symbol-word correspondence has a name: interpretation. Secondly, on a higher level, there is the correspondence between true statements and theorems. But-note carefully-this higher-level correspondence could not be perceived without the prior choice of an interpretation for the symbols. Thus it would be more accurate to describe it as a correspondence between true statements and interpreted theorems. In any case we have displayed a two-tiered correspondence, which is typical of all isomorphisms.

 

myh9090

 
Type de ressources
Activité
Balises
formal  isomorphism  systems 
Tranche d'âges
15 – 18
Langue
English (United States)
 
 
Version GeoGebra
5.0
Vues
1436
Contacter l'auteur de la ressource.
 
 
© 2025 International GeoGebra Institute