Rosetta Code

Talk:Proof: Difference between revisions

Page Discussion

Talk:Proof (view source)

Revision as of 08:44, 14 May 2012

26 bytes removed ,  12 years ago
m
→‎Proof vs. Formal Verification: better link formatting
m (→‎Quantifiers: add zero-width spaces to enable better line breaking)
m (→‎Proof vs. Formal Verification: better link formatting)
Line 5:
== Proof vs. Formal Verification ==
 
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=pdfSocial Processes and Proofs of Theorems and Programs] '', 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? ==
Anonymous user
Retrieved from "https://rosettacode.org/wiki/Special:MobileDiff/52833"