Sam Buss has put up an interesting paper on Edward Nelson’s philosophy of mathematics and its relation to his (Nelson’s) proof theoretical work.
Sam Buss has put up an interesting paper on Edward Nelson’s philosophy of mathematics and its relation to his (Nelson’s) proof theoretical work.