Decidability is not actually what we want here :-p. I could go into elaborate descriptions of what we want, but those would be theory-laden with my own ideas. Read my backlog on here to get an idea of the general direction I’m thinking in.
This result is not trivial, but it’s useful for talking about Turing-complete programming languages, not about logic.
Decidability is not actually what we want here :-p. I could go into elaborate descriptions of what we want, but those would be theory-laden with my own ideas. Read my backlog on here to get an idea of the general direction I’m thinking in.
This result is not trivial, but it’s useful for talking about Turing-complete programming languages, not about logic.