Can philosophy think mathematical progress? | Synapse