Talk:Proof: Difference between revisions
Content added Content deleted
(→Proof vs. Formal Verification: Replaced shortened link with expanded form. Rather not have "t.co" vanish and break link targets.) |
|||
| Line 5: | Line 5: | ||
== Proof vs. Formal Verification == |
== Proof vs. Formal Verification == |
||
After reading http:// |
After reading [http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.91.8137&rep=rep1&type=pdf http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.91.8137&rep=rep1&type=pdf] 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? == |
||