Talk:Proof: Difference between revisions

Content added Content deleted

Inline

Revision as of 19:58, 10 May 2012 (view source) Rdm (talk \| contribs) (→‎J version) ← Older edit		Revision as of 20:38, 10 May 2012 (view source) rosettacode>Ruud Koot (→‎J version: re) Newer edit →
Line 115:		Line 115:

	::::::::::::: 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)		::::::::::::: 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)
			:::::::::::::: 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)