News for hackers. Stuff that matters.
Re:Against Set Theory (2005) [pdf] by whatshisface on Saturday May 16, 2020 @11:47PM (#23209414)
>But the situation also isn't specific to set theory. Any formal system is going to be subject to this "problem"

I think that part of the author's point can be read generously as, "no formal system can satisfy philosophy's pseudo-religious search for truth evident in itself."

Re:Against Set Theory (2005) [pdf] by eli_gottlieb on Sunday May 17, 2020 @12:14PM (#23212914)
Well, that's a problem for the pseudo-religious search, not for mathematics.