Lakatos propuso una cuenta de conocimiento matemático basado en la idea de Polya de la heurística.