Talk:Proof: Difference between revisions
→Satisfaction
No edit summary |
|||
Line 28:
:::::: is this true that proofs verified only for these numbers? — [[User:Ht|Ht]] 12:13, 1 June 2012 (UTC)
:::::: No. We are dealing with denotational semantics -- the above sequence is the data structure I am using to represent the natural numbers. That said, these values are used in the subsystem that eliminates a kernel of the language which remains after I have imposed my syntactic constraints.
:::::: (I had started to build a system of guided lexical manipulations, based on exact subtree matches. It's not necessary for the current task, but perhaps it would be more concise?) --[[User:Rdm|Rdm]] 14:23, 1 June 2012 (UTC)
== Huh? ==
| |||