Talk:Proof: Difference between revisions
Content added Content deleted
m (→J version) |
(→Draft status: new section) |
||
Line 117: | 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) |
:::::::::::::: 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) |
::::::::::::::: 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) |