Probabilistic Proofs

Eric Inman (inman002@gold.tc.umn.edu)
Wed, 3 May 95 06:10:39 -0500

Messages sorted by: [ date ][ thread ][ subject ][ author ]
Next message: Larry Wos: "contact req."
Previous message: ma_friesel@ccmail.pnl.gov: "Re[2]: QED Workshop."

>One solution may be to create probablistic proofs for problems which are
>beyond the capabilities of an otherwise 'best' implementable proof engine.
>... I seem to recall reading something along the lines of such proofs, but
>I find no reference at hand.

Probabilistic proofs are mentioned on pp. 102,3 of "The Death of Proof,"
Scientific American, October, 1993.

Next message: Larry Wos: "contact req."
Previous message: ma_friesel@ccmail.pnl.gov: "Re[2]: QED Workshop."