Thanks to him, our concept of formal logical systems will never be the same:
Let us consider any formal theory T that contains a full-fledged concept of natural numbers... Let us build for T Gödel's formula G sub T asserting "I am not provable in T". Gödel proved that, indeed, G sub T cannot be proved in T, i.e Gödel proved that G sub T is a true formula... Therefore, if we choose an arbitrary formal theory T, then Kurt Gödel - by using his "informal, creative thinking" - proves immediately some assertion G sub T about properties of natural numbers, which cannot be proved in T. Hence, none of [the] formal theories can express 100% of the "informal, human" concept of natural numbers. If you fix some particular formal theory, my "creative mind" will unmistakably find out a true assertion G sub T overcoming all what can be proved in T.
The analysis of Gödel's proof... forces us to revise this picture. One can prove that G sub T is a true formula (i.e. that G sub T cannot be proved in T) only by postulating consistency of T. Indeed, if G sub T is proved to be true, then also consistency of T is proved (G sub T asserts its own unprovability, and the unprovability of at least one formula means consistency of T). Hence, if we do not know, whether T is consistent or not, we can say nothing about the truth or falsity of G sub T. What could think the enthusiasts of the above picture about the consistency problem?
Just because he's the founder of the free source foundation and author of gcc, doesn't mean that the guy can't occasionally be wrong.
Edward K. makes a valid point. Einstein was wrong about some things, too, after all (cf. "God desn't play dice with the universe" vs "Not only does God play dice with the universe, He often likes to throw them where we can't see them"). I think a lot of the flamers on both sides of the aisle are failing to get:
We're all human, and we all make mistakes.
It is particularly difficult to be objective when one has made a career largely out of being an ideologue. This is not to say that RMS isn't right about a lot of things, merely to say that it can sometimes be very hard to see outside the box, even when the box is labelled "FREEDOM".
As for the disposition of Java, I's like to see Sun and ECMA make nicey-nicey for the benefit of the language/platform, at least for now. I don't think in this case that GPL is an instant solution -- unless and until there's a standard promulgated by a recognized non-corporate entity, or a maintainer with the stature of Linus T., I think we'd run the risk of seeing Java splintered, forked, whatever.
Pardon me, just my 2 centibucks.
Thanks.
Zontar The Mindless,
Re:Javalobby members lack of objectivity
on
RMS on Java and GPL
·
· Score: 2
Actually, it's more like 43,000+ members. But that merely lends strength to DanaL's argument.
Sorry,/. turned my character entity into an angle bracket in spite of what the preview showed. The last part should read,
Could something like this be implemented to be dissuade the l337 skr1p7 k1dd13z from turning a page with fewer than 50 posts into a.5MB behemoth? I know it'd entail some extra overhead and thus slow down the posting process, but a lot of us (including mine own NSH Idiot self) are on dialups at home, and this is ridiculous.
Hell, after spending 20 minutes scrolling down, I've even forgotten what this story was about already...
Yes, there's a +1 for longish posts, which I've always thought was an invitation to flooding. While I do find the occasional nonsensical spouting off from The Glorious Meept! or The Natalie Naked & Petrified Guy to be somewhat amusing, too_damned_much = too_damned_much.
Perhaps (long) posts could be parsed for excessive repetition? (Couldn't CmdrTaco or somebody work a little RegExp magic to accomplish this?) Those showing it wouldn't receive the +1, or maybe even would get an automatic -1.
Could something like this be implemented to be dissuade the l337 skr1p7 k1dd13z from turning a page with Hell, after spending 20 minutes scrolling down, I've even forgotten what this story was about already...
...the article said that there wasn't going to be a big difference between 4.7 and 5.5...
Actually, what the article said was
The difference between 4.7 and 5.5 may not seem like much, but the technology gap is vast.
--And in context it was pretty clear that the article was referring to Communicator 4.7 and MSIE 5.5. See the paragraph immediately preceding the one to which you refer:
...Netscape has seen its existing version 4.7 continue to lose market share to Microsoft's Internet Explorer browser, whose trial version 5.5 is expected to be released today...
Besides, since there is no Communicator 5.0 release at present, it wouldn't make much sense to talk about a Communicator 5.5 just yet, would it?
I first read Canticle in junior high in the 70s. I think it's no exaggeration to say that it's a very deep book. I know it influenced me profoundly. I had no idea, however, that there was a sequel until I saw the/. review -- muchos gracias for the tip.
Re Catholicism: Also check out the James Blish series After Such Knowledge, which includes the classic A Case of Conscience (that novel won a Hugo award, IIRC) in which such questions as "Do aliens have souls?" and "If so, can aliens receive grace?" are considered at length.
(BTW, I'm not a Catholic, but I was sent to an Episcopal-run school for the first few years, so I got a healthy[?] dose of much of the same theological/moral/ethical stuff as the Catholic kids did.)
I would think the Mozilla debacle would have put this kind of wishful thinking to rest.
Since when does Mozilla constitute a "debacle"? Looks to me like it's on track to produce a fine product. Particularly it it gets the extra backing alluded to here.
(Spo iler: Red Hat is apparently planning to invest in both the Mozilla project and Sendmail.)
Satire is one thing, but conducting an active political campaign -- even if it's against a candidate is another -- and that's what this guy seems to be doing. He's actively soliciting (monetary) contributions, and has no prominent disclaimer.
I'm already getting 3-4 hours of uptime at a stretch with the Win32 version. That's about as well as MSIE5 does on the same systems (Win95 and WinNT) -- maybe better.
I swear I've never seen it that way before in my life, and it only gives the one-L spelling in Webster's Desk Dictionary of the English Language (1990, dilithium Press, New York) but I guess I'll have to defer to the gentlebeing from NZ.
Hope they or someone will reprint the series collectively known as After Such Knowledge (IIRC), which included A Case of Conscience, Black Easter, and The Day After Judgement.
I think A Case of Conscience even won a Hugo Award...
I know what you mean. I've been running the 11-12 Win32 nightly for the last few days and it's really impressive. I'm downloading M11 right now (damn slooooow dialup!) and can hardly wait to check it out.
Slashdot Mirror
Before you respond, "Takes one to know one," I suggest you read my sig line. :-)
Zontar The Mindless,
Zontar The Mindless,
Thanks to him, our concept of formal logical systems will never be the same:
[From Around Gödel's Theorem]"Mathematics is the part of science you could continue to do if you woke up tomorrow and discovered the universe was gone."
Z. the M. [Cursing the fact that /. doesn't support markup for superscripts and subscripts... ;-)]
Zontar The Mindless,
:-)
(There, is that PC or what?)
Zontar The Mindless,
(Using Mozilla M12 and loving it.)
Zontar The Mindless,
We're all human, and we all make mistakes.
It is particularly difficult to be objective when one has made a career largely out of being an ideologue. This is not to say that RMS isn't right about a lot of things, merely to say that it can sometimes be very hard to see outside the box, even when the box is labelled "FREEDOM".
As for the disposition of Java, I's like to see Sun and ECMA make nicey-nicey for the benefit of the language/platform, at least for now. I don't think in this case that GPL is an instant solution -- unless and until there's a standard promulgated by a recognized non-corporate entity, or a maintainer with the stature of Linus T., I think we'd run the risk of seeing Java splintered, forked, whatever.
Pardon me, just my 2 centibucks.
Thanks.
Zontar The Mindless,
Zontar The Mindless,
Guess whoever wrote this falls in the "using clueless criteria" category?
Zontar The Mindless,
Zontar The Mindless,
If any of you have any moderation points left, that is...
Zontar The Mindless,
-- Z.
Zontar The Mindless,
Perhaps (long) posts could be parsed for excessive repetition? (Couldn't CmdrTaco or somebody work a little RegExp magic to accomplish this?) Those showing it wouldn't receive the +1, or maybe even would get an automatic -1.
Could something like this be implemented to be dissuade the l337 skr1p7 k1dd13z from turning a page with Hell, after spending 20 minutes scrolling down, I've even forgotten what this story was about already...
-- Z.
Zontar The Mindless,
Zontar The Mindless,
Be sure to check out Corporate Watch for more non-mainstream info and opinion about WTO and related issues.
Zontar The Mindless,
Re Catholicism: Also check out the James Blish series After Such Knowledge, which includes the classic A Case of Conscience (that novel won a Hugo award, IIRC) in which such questions as "Do aliens have souls?" and "If so, can aliens receive grace?" are considered at length.
(BTW, I'm not a Catholic, but I was sent to an Episcopal-run school for the first few years, so I got a healthy[?] dose of much of the same theological/moral/ethical stuff as the Catholic kids did.)
Zontar The Mindless,
(Spo iler: Red Hat is apparently planning to invest in both the Mozilla project and Sendmail.)
Zontar The Mindless,
I can see why the FEC is interested.
Zontar The Mindless,
Zontar The Mindless,
I swear I've never seen it that way before in my life, and it only gives the one-L spelling in Webster's Desk Dictionary of the English Language (1990, dilithium Press, New York) but I guess I'll have to defer to the gentlebeing from NZ.
Still looks fscked up to me, tho... :)
Zontar The Mindless,
"Chilli" does not appear in my dictionary, either. :)
Zontar The Mindless,
Zontar The Mindless,
I think A Case of Conscience even won a Hugo Award...
Zontar The Mindless,
Zontar The Mindless,
Zontar The Mindless,
Zontar The Mindless,