= 27d567bc2d48d9f40e9ccc20ea370b15)
steven0461 comments on The role of mathematical truths - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (81)
I think philosophy of math discussion on LW would probably be better if it ever referred to the thinking that has been done by professional philosophers of math. Or maybe that thinking is worthless enough that it's worth restarting from scratch (e.g. if they don't have our necessary background concepts), but then that should be noted and defended from time to time.
Right. I think a lot of the comments here have been speaking towards that request in some way.
Lakatos struck me as quite impressive in that field, but I am precisely the opposite of widely-read in that area.