Matematica e filosofia della matematica: presente e futuro