Slashdot Mirror
Distributed.net Finds Optimal 25-Mark Golomb Ruler
kpearson writes "Distributed.net's 8-year-old OGR-25 distributed computing project has just proven conclusively that the predicted shortest 25-mark Golomb ruler is optimal. 'The total length of the ruler is 480, with marks at positions: 0 12 29 39 72 91 146 157 160 161 166 191 207 214 258 290 316 354 372 394 396 431 459 467 480. (This ruler may alternatively be expressed in terms of the distance between those positions, which is how dnetc displays them: 12-17-10-33-19-...).' 124,387 people participated in the project and two people found the shortest ruler, one on October 10, 2007 and the other on March 24, 2008."
i know we're all supposed to be nerds here, but this is way left of field. dont supposed you could have included a LITTLE more info in the summary as to what the fuck you're talking about?
Yes. Yes, you did.
You're thinking of science. You can only disprove a hypothesis, never prove it true. In math, you can prove or disprove a conjecture.
What a fool believes, he sees, no wise man has the power to reason away.
But you can't prove that, which proves his point.
What most people don't realize is that all of mathematics is based on certain assumptions, alternatively called axioms, postulates or definitions. Do all triangles have interior angles that add up to 180 degrees? Yes, but only if you make certain assumptions. That's called Euclidean geometry. There is also non-Euclidean geometry which is equally valid and is used to describe some systems in reality. Is there no highest prime? Does 2 + 2 = 4? Do parallel lines never intersect? Are no circles square? Yes again on all counts, but only if you make certain assumptions. So when we say that "x is proven" in mathematics then that is really shorthand for "x is proven based on certain assumptions". That doesn't stop some overzealous mathematicians from acting a little bit smug. I would like to point all smug mathematicians to Kurt Godel's incompleteness theorems.
why the hell is everything tagged "story"?
I have another question. What happened to the option to turn off tags?
And one more: Is there any forum to discuss Slashdot issues? Seems like the only way is to bitch off-topic in the articles.
That's got to be the most incomprehensible story summary I've ever seen posted to Slashdot, and that's saying a lot. Seriously. The predicted shortest 25-mark Golomb ruler is optimal? What on earth are you talking about? How about giving us the barest minimum of a context, so we might have some tiny clue what that spew of buzzwords is getting at.
Yes, people routinely get this wrong. They're not wrong this time.
In this case, the distinction between "it was proven" and "it was shown" is a distinction without a difference. In math, you can "show" something within a restricted domain; for example, that a postulated solution to a given equation really is a solution, without giving a complete family of solutions. One can show it numerically, or show it analytically. Here, a restricted set of postulated solutions over the only available domain (the positive integers) was exhaustively searched for actual solutions, and the set that satisfied the postulates was also shown to be optimal (in a well-defined sense for the problem).
This is no more a "non-proof" than the proof of the 4-color map theorem in two dimensions, which was also "shown" using an exhaustive search.
I was expecting you to measure the shit with a Golomb ruler. Oh well.
The sumbitch spends most of his time in a dark cave.
And what the hell would he measure anyway? Not like he has any windows for drapes, my precious.
Slashdot "libertarians": Small government for me, big government for those I disagree with. -1, I disagree with you
A forum!? You can take your fancy Web 2.0 "community" fad elsewhere. We've got Golomb rulers to discuss here!
--I'm not talking about dance lessons. I'm talking about putting a brick through the other guy's windshield.-
why the hell is everything tagged "story"?
If you mouse over it (and have JavaScript enabled), you'll be informed that it's the "type tag." I assume the concept is that it differentiates between journals, comments, bookmarks, feed entries, and other types of nodes that could, conceptually, appear in the firehose.
I have no idea why Slashdot feels the need to show these on the main page, though, considering that everything that currently shows on the main page is a story. But if you play with the firehose, it's what tells you what "thing" the entry is.
You are in a maze of twisty little relative jumps, all alike.
No, you can directly email them but of course they will only use that as ammunition to be taken out of context and savaged via the poorly conceived "Disagree Mail" "Feature".
I'd leave, but there isn't really an alternative that's better. Instead I use adblock and suck off this teat without providing benefit to the site. (Unless you include this post as "providing benefit" which is dubious since it will almost certainly get modded down.)
a few lines from Python would say
Then shalt thou count to three, no more, no less. Three shall be the number thou shalt count, and the number of the counting shall be three. Four shalt thou not count, neither count thou two, excepting that thou then proceed to three. Five is right out.
rewriting history since 2109
If you mouse over it (and have JavaScript enabled), you'll be informed that it's the "type tag."
Actually, when I mouse over tags I get an incomprehensible mess of overlapping elements. It's probably my fault for using something as obscure as Firefox, though; I'm sure it works perfectly on IE6.
sic transit gloria mundi