Talk:Proof: Difference between revisions
→J version
(→J version: re) |
|||
Line 113:
::::::::::: I think you are missing the point here. For the purpose of distinguishing even and odd numbers, "single digit numbers" combined with "sum" have all the necessary properties to represent natural numbers. There is nothing in this task which can distinguish this set from any larger set of natural numbers. --[[User:Rdm|Rdm]] 17:42, 10 May 2012 (UTC)
:::::::::::: Not even wrong. Where does the J solution "Define a type of even numbers (0, 2, 4, 6, ...) within the previously defined range of natural numbers.", as requested by the task description? —''[[User:Ruud Koot|Ruud]]'' 17:48, 10 May 2012 (UTC)
::::::::::::: A type, in J, is the set of values which can result from a parenthesizable expression. In this case, it's a restriction on the argument to isEven -- corresponding to the case where the result of isEven is true. --[[User:Rdm|Rdm]] 19:58, 10 May 2012 (UTC)
| |||