¿Las matemáticas se descubren o se inventan? Dónde existen los números y las figuras: platonismo, formalismo, estructuralismo y la «irrazonable eficacia»