Talk:Proof: Difference between revisions
m
→Proof vs. Formal Verification
(Proof) |
|||
Line 5:
== Proof vs. Formal Verification ==
After reading http://t.co/8xp4fwc I decided to provide a "mathematical proof" as opposed to a "essentially meaningless" (possible to understand only for trivial concepts) formal verification. If anyone feels they should mark that solution incorrect, please first be prepared to rationally discuss the issues raised in the pdf which I have linked to here. --[[User:Rdm|Rdm]] 03:08, 27 August 2011 (UTC)
== Huh? ==
| |||