Probably true theorems, cry wolf (1994)

by L Babai
Venue:Notices of the Amer. Math. Soc