Talk:Ternary logic: Difference between revisions
Content added Content deleted
(→Any need for this task to remain draft?: new section) |
(→test case: Possible use case) |
||
| Line 7: | Line 7: | ||
: On first reading, it seems like you are implementing an analogue of the cmp function from C and C based languages. Or am I completely misunderstanding? --[[User:Thundergnat|Thundergnat]] 11:03, 26 August 2011 (UTC) |
: On first reading, it seems like you are implementing an analogue of the cmp function from C and C based languages. Or am I completely misunderstanding? --[[User:Thundergnat|Thundergnat]] 11:03, 26 August 2011 (UTC) |
||
: It's entirely possible to produce a terminating solution of the Halting problem in ternary logic; anything where your code can't definitely figure it out within some reasonable bound on effort becomes a “maybe”. We know we can do this: we can exhibit examples with minimal effort. –[[User:Dkf|Donal Fellows]] 12:45, 8 September 2011 (UTC) |
|||
==Task structure== |
==Task structure== |
||