Philosophical Investigation of Applications of Science in Mathematics
FCT Project PeX.2022.06784.PTDC