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.
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.
Never heard of it and illiterate? Those are some mighty fine lucky key-presses.