Can I read Understanding Hofstadter on EtoBox?
Understanding Hofstadter by marianalarra is a document available to read on EtoBox.
What is Understanding Hofstadter about?
(1) Hofstadter created two postulational systems, the MIU system and the pq- system, to illustrate how formal systems can be interpreted in different ways. (2) The MIU system uses the symbols M, I, U and transformation rules to derive theorems from the axiom MI. The pq- system uses the symbols p, q, - and an axiom schema to derive theorems using one transformation rule. (3) These systems can be interpreted in multiple ways by mapping their symbols to different concepts. For example, the pq- system could
- Author
- marianalarra
- Language
- EN