Douglas_Knight comments on Open Thread: January 2010 - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (725)
I think you're confusing topos theory with pointless topology. The latter is a fragment of the former and a different fragment is used in algebraic geometry. As I understand it, the main point of pointless topology is to rephrase arguments to avoid the use of the axiom of choice (which is needed to choose points). That is certainly a noble goal and relevant to down-to-earth problems, but not so many in number theory.