Randomization, Persuasiveness and Rigor in Proofs. - Catherine Womach; Martin Farach (Synth., 2003)