Ronald Graham: "Incidentalmente, quando nos deparamos com um "provar o...

"Incidentalmente, quando nos deparamos com um "provar ou refutar", somos mais bons tentando primeiro se refutar com um contraexemplo, por duas razões: uma falta é potencialmente mais fácil (precisamos apenas um contra-exemplo); e nitpicking desperta nossos sucos criativos. Mesmo que a afirmação dada seja verdadeira, nossa busca por um contra-exemplo geralmente leva a uma prova, assim que vemos por que um contra-exemplo é impossível. Além disso, é saudável ser cético."

--- Ronald Graham

Versão em inglês

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.