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