But “#[&7]” = “7″, and if you replace the 7s with some other number, it’s still true, right?
Ah! This is correct, but I would conceptualize it differently, as the combination of two distinct phenomena. First, #[...] is sort of the inverse of ”...”, which makes more sense to me because both of these are kinds of syntactic sugar—we have both “#[e]” = e and “x + #[‘y’]” = “x + y”.
Second, “7” is the Gödel number of the unary numeral 7, and repr(7) also returns this Gödel number. In other words, “7“ = &7. Putting the two together: “#[&7]” = &7 = “7”.
Ah! This is correct, but I would conceptualize it differently, as the combination of two distinct phenomena. First, #[...] is sort of the inverse of ”...”, which makes more sense to me because both of these are kinds of syntactic sugar—we have both “#[e]” = e and “x + #[‘y’]” = “x + y”.
Second, “7” is the Gödel number of the unary numeral 7, and repr(7) also returns this Gödel number. In other words, “7“ = &7. Putting the two together: “#[&7]” = &7 = “7”.
:-) Thanks again for sticking with it!