Proof and Experimental Establishment: Difference between revisions