Talk:Proof: Difference between revisions
Content added Content deleted
No edit summary |
|||
| Line 28: | Line 28: | ||
:::::: is this true that proofs verified only for these numbers? — [[User:Ht|Ht]] 12:13, 1 June 2012 (UTC) |
:::::: 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? == |
== Huh? == |
||