Talk:Proof: Difference between revisions
Content added Content deleted
No edit summary |
m (→Proofs: formatting) |
||
Line 12: | Line 12: | ||
== Proofs == |
== Proofs == |
||
Does this task apply to languages which are not built as theorem-proving systems? If so, what constitutes an acceptable implementation of "prove that the addition of any two even numbers is even"? |
Does this task apply to languages which are not built as theorem-proving systems? If so, what constitutes an acceptable implementation of "prove that the addition of any two even numbers is even"? --[[User:Kevin Reid|Kevin Reid]] 00:07, 17 February 2009 (UTC) |
||
--[[User:Kevin Reid|Kevin Reid]] 00:07, 17 February 2009 (UTC) |