I am confused by the introductory statement for #9. Is this an accurate rephrasing?
By representing syntax using arithmetic, it is possible to define a function f as follows:
Define f(s∈S1,t∈S1) with image in S0, such that: f substitutes the Goedel-number of t into s (creating s′) and then substitutes the Goedel-number of s′ into some fixed formula to get a result in S0.
I am confused by the introductory statement for #9. Is this an accurate rephrasing?
By representing syntax using arithmetic, it is possible to define a function f as follows:
Define f(s∈S1,t∈S1) with image in S0, such that:
f substitutes the Goedel-number of t into s (creating s′) and then substitutes the Goedel-number of s′ into some fixed formula to get a result in S0.