Yet there’s clearly something making informal mathematical arguments correlate quite highly with truth (if imperfectly), because they work well in practice!
Yes. It’s empiricism. If you use informal arguments in an apriori way, you get philosophy.
Yes. It’s empiricism. If you use informal arguments in an apriori way, you get philosophy.