Talk:Proof: Difference between revisions
→Draft status: new section
m (→J version) |
(→Draft status: new section) |
||
Line 117:
:::::::::::::: Great. It's still not a proof, though. What's next? You're going to claim you've proved the Collatz conjecture because you have checked the first 9 cases using a J program? Now, if you managed to pull that feat using Coq there's probably both a Turing Award and a Fields Medal waiting for you. —''[[User:Ruud Koot|Ruud]]'' 20:38, 10 May 2012 (UTC)
::::::::::::::: No. I made no claims about the Collatz conjecture. --[[User:Rdm|Rdm]] 20:44, 10 May 2012 (UTC)
== Draft status ==
I suggest the task should be draft status. The varied solutions posted and the resulting discussions here show disagreement on what the current wording requires. —[[User:Sonia|Sonia]] 20:33, 11 May 2012 (UTC)
| |||