Pruebas y refutaciones: la lógica del descubrimiento matemático