Yes, Lakatos does argue for that in a certain fashion, (and I suppose it is right to bring this up since I’ve myself repeatedly pointed people here on LW to read Lakatos when they think that math is completely reliable.) However, Lakatos took a more nuanced position than the position that curi is apparently taking that math advances solely through this method of criticism. I also think Lakatos is wrong in so far as the examples he uses are not actually representative samples of what the vast majority of mathematics looks like. Euler’s formula is an extreme example, and it is telling that when one wants to give other similar examples one often gives other topological claims from before 1900 or so.
Yes, Lakatos does argue for that in a certain fashion, (and I suppose it is right to bring this up since I’ve myself repeatedly pointed people here on LW to read Lakatos when they think that math is completely reliable.) However, Lakatos took a more nuanced position than the position that curi is apparently taking that math advances solely through this method of criticism. I also think Lakatos is wrong in so far as the examples he uses are not actually representative samples of what the vast majority of mathematics looks like. Euler’s formula is an extreme example, and it is telling that when one wants to give other similar examples one often gives other topological claims from before 1900 or so.