Otávio Bueno (Miami) - Lakatos, Cellucci, and Heuristic Philosophy of Mathematics