Anonymous user
Talk:Proof: Difference between revisions
no edit summary
No edit summary |
|||
Line 22:
::::: For J: I have restricted the vocabulary, and am rejecting all statements which go beyond that vocabulary. I am only guaranteeing that if the statement is accepted that the proof is valid, I am not guaranteeing that the statement is invalid if it is rejected. We do not need to create new syntax if we can reject syntax that would have otherwise have been valid. --[[User:Rdm|Rdm]] 05:24, 1 June 2012 (UTC)
:::::: In J version <code>all</code> evaluates to
:::::: <code>0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81</code>
:::::: is this true that proofs verified only for these numbers? — [[User:Ht|Ht]] 12:13, 1 June 2012 (UTC)
== Huh? ==
| |||