Ronald Graham: "Secara kebetulan, ketika kita dihadapkan dengan "...

"Secara kebetulan, ketika kita dihadapkan dengan "buktikan atau buktikan," biasanya kita lebih baik mencoba terlebih dahulu untuk membantah dengan sampel tandingan, karena dua alasan: Penonaktifan berpotensi lebih mudah (kita hanya perlu satu sampel tandingan); dan nitpicking membangkitkan jus kreatif kita. Sekalipun pernyataan yang diberikan itu benar, pencarian kami akan sampel balik sering kali mengarah pada bukti, segera setelah kami melihat mengapa sampel balik tidak mungkin. Selain itu, bersikap skeptis itu sehat."

--- Ronald Graham

Versi Bahasa Inggris

Incidentally, when we're faced with a "prove or disprove," we're usually better off trying first to disprove with a counterexample, for two reasons: A disproof is potentially easier (we need just one counterexample); and nitpicking arouses our creative juices. Even if the given assertion is true, our search for a counterexample often leads to a proof, as soon as we see why a counterexample is impossible. Besides, it's healthy to be skeptical.