Revision as of 03:08, 27 August 2011 (view source) Rdm (talk \| contribs) (Proof) ← Older edit		Revision as of 03:09, 27 August 2011 (view source) Rdm (talk \| contribs) m (→‎Proof vs. Formal Verification) Newer edit →
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? ==

Talk:Proof (view source)