Talk:Proof: Difference between revisions
Content added Content deleted
| Line 5: | Line 5: | ||
== Proof vs. Formal Verification == |
== Proof vs. Formal Verification == |
||
After reading http://t.co/8xp4fwc I decided to provide a "mathematical proof" as opposed to |
After reading http://t.co/8xp4fwc I decided to provide a "mathematical proof" as opposed to an "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? == |
== Huh? == |
||