News for hackers. Stuff that matters.
Re:Usually I agree with the moderating, but ... by RiderOfGiraffes on Thursday May 20, 2010 @04:22PM (#1365223)

  > A paradox is not an interesting thing.
  > It's just a sign that your assumptions are wrong.
That's an interesting position to take - Ray Smullyan might disagree with you. When I was discussing it with him the conclusion I came to is that there is something deep in a good paradox that helps us understand logic, math, thinking and reason.

That's not true for unexpected results, which are often incorrectly called paradoxes, but it does seem to be true for real paradoxes. They have led to major innovations and advances in math.

The discussion I had with Ray was years ago now, and I don't remember the details, but I think you are mistaken in dismissing paradoxes as "just a sign that your assumptions are wrong."

Additionally, all the objections you raise can be clarified and the problem made more precise, losing the pithiness, but without losing the paradoxical nature. "Random process" can easily be defined clearly, and you can add the limitation about choosing exactly one answer.

Re:Usually I agree with the moderating, but ... by Retric on Thursday May 20, 2010 @04:34PM (#1365286)
At best you have proof though contradiction: http://zimmer.csufresno.edu/~larryc/proofs/proofs.contradict...

For a basic paradox like "This sentence is a lie" there are more options than true or false. Other things are best answered with "your asking the wrong question" etc. But, once you walk though the basic options paradoxes are just another example of the same thing.

PS: Yellow void toe air zen bubble toy 4:72 PM lisa. Not all collections of words have meaning.

Re:Usually I agree with the moderating, but ... by RiderOfGiraffes on Thursday May 20, 2010 @04:56PM (#1365375)
"This sentence has no proof" (and add all the difficult bits about formal systems, what you mean by proof, and the containing of enough complexity to model arithmetic) is a paradox, and it's led to some very interesting mathematics. (I observe that Goedel said that any true paradox could be used as the basis for an incompleteness theorem.) Yes, it's also led to a lot of cranks spouting huge amounts of nonsense, but that just proves that people will insist on misunderstanding things, and then loudly demonstrate their lack of understanding.

Paradoxes in the true mathematical sense are useful in mathematics, and I thought that many here on HN would find that they sufficiently provoke their intellectual curiosity to be regarded on topic.

However, clearly you disagree, so clearly we disagree. I found the submission interesting, the discussion less so, and wish the inappropriate comments had been flagged/killed to allow the interesting and contentful discussion to flow. That's not what happened.

People complain that HN has jumped the shark, and the submissions are of poor quality. Personally I think it's the inappropriate comments that are dragging HN down, the insistance by so many to add largely content-free and insight-free comments. And yes, I admit that I've done it too.

PG says that the greatest threat to HN isn't the poor quality of submission, but the poor quality of comment. Perhaps submissions should die less often, and comment be killed more often.

Perhaps not. I don't have solutions, but I do know that this submission was a paradox, and that some true paradoxes are of interest and use in formal mathematics. Others aren't - it would be interesting to know if this is the former, and that's what I'll be exploring with some of my colleagues over the next few days.

Re:Usually I agree with the moderating, but ... by nkurz on Thursday May 20, 2010 @05:28PM (#1365480)
I found the submission interesting, the discussion less so, and wish the inappropriate comments had been flagged/killed to allow the interesting and contentful discussion to flow.

Good reply, and good points. It's probably a better paradox than I thought at a glance.

But while one doesn't want to throw out too many babies with the bathwater, at least with fruit trees, it's often better to prune too much than too little. You might get less fruit this year, but you end up with a stronger tree and better root system.

In this case, I think the better solution would be to make a page about the paradox, and link to that. It's hard to know, but I think a more fully fleshed out blog post about the paradox might have produced better discussion.

Re:Usually I agree with the moderating, but ... by Retric on Thursday May 20, 2010 @05:39PM (#1365532)
Gödel's incompleteness theorems are proof though contradiction which as I said can be interesting. (Or I should say they are part of the set of proofs though contradiction.) However, the paradox is not interesting it's just paradox = bad assumption.

So, don't read to much into Gödel, you also can't prove 1 + 1 = 2 except by making an equivalent assumption. Yet, that does not mean what you think it means.

PS: I don't think HN has jumped the shark, but I do try and keep it clean. IMO, it was fairly close to the acceptable line but to close to the HN equivalent of a funny cat photo, (hey look a paradox how cute), but a longer post taking about a well defined paradox and it's implications would have been acceptable and had a much cleaner discussion.