Talk:Proof: Difference between revisions
→J version
No edit summary |
|||
Line 69:
This is not a proof, right? [[User:Ht|Ht]] 13:27, 10 May 2012 (UTC)
: According to my discrete math teacher, a "proof" is a "convincing explanation".
: In this case: 1 represents "true", and the J implementation is showing that the theorem holds for all cases in a specific example.
: That said, to be treated as a proof, some reader involvement is required. If you do not understand the notation that would be difficult. --[[User:Rdm|Rdm]] 13:36, 10 May 2012 (UTC)
| |||