| |||||||||||||
The 3.8 kernel is outThe 3.8 kernel is outPosted Feb 21, 2013 3:55 UTC (Thu) by SEMW (guest, #52697)In reply to: The 3.8 kernel is out by PaXTeam Parent article: The 3.8 kernel is out
The claim I objected to was "if a subset is not well defined, then the encompassing set can't be either". I gave a toy example to show that it's false. If I'd known you objected to almost all of modern real analysis, from infinite sets to the definition of the reals, I'd have picked a different one. (The example I gave pretty obviously works just fine with any other set as the starting point in place of the reals, finite or infinite).
No, I'm not going to teach you an introductory course in analysis in a reddit comment. Pick up a book. Suffice to say that there are several definitions of the reals and they are provably equivalent. Start at http://en.wikipedia.org/wiki/Construction_of_the_real_num... .
As for what 'well-defined' means for subsets: Let a subset X of a set S be "well-defined" iff there is a single-valued function that maps every element of S to {T,F} such that x maps to T iff x∈ X. (I'm not sure why you're asking me this now - if you didn't know what it meant, why did you make the claim you did?)
> I think you're going to lose this argument, but don't let me stop you from trying ;).
You may have a point there. I'm arguing the trivial with someone who objects to real analysis. I think I was doomed to fail before I began typing.
(Log in to post comments)
The 3.8 kernel is out Posted Feb 21, 2013 12:20 UTC (Thu) by PaXTeam (subscriber, #24616) [Link]
> The claim I objected to was "if a subset is not well defined, then the encompassing set can't be either".
see, that was your problem. you picked a statement out of context and then attacked it (with a poor example at that). see my response to 'dark' below for what you missed.
PS: i'd like to see your single valued function that well defines 'bug', you'll be richly rewarded by all software companies in existence.
The 3.8 kernel is out Posted Feb 21, 2013 13:32 UTC (Thu) by nix (subscriber, #2304) [Link] PS: i'd like to see your single valued function that well defines 'bug', you'll be richly rewarded by all software companies in existence.We have one! Since every single line surely contains either a bug or a design error (given enough change in specifications over time), every line contains a bug. What we need is a way of identifying the bugs that matter now, or might matter soon. And that is harder.
The 3.8 kernel is out Posted Feb 21, 2013 13:57 UTC (Thu) by PaXTeam (subscriber, #24616) [Link]
what is the bug in line 3 in http://git.kernel.org/?p=linux/kernel/git/torvalds/linux.git;... ?
The 3.8 kernel is out Posted Feb 21, 2013 14:40 UTC (Thu) by hummassa (subscriber, #307) [Link]
It does not work.
The 3.8 kernel is out Posted Feb 21, 2013 16:01 UTC (Thu) by PaXTeam (subscriber, #24616) [Link]
the url? works fine for me.
The 3.8 kernel is out Posted Feb 21, 2013 17:54 UTC (Thu) by jimparis (subscriber, #38647) [Link]
Well, the bug in line 3 is a clear design error. It should read "*/" and the comment should have ended there. The rest of the block comment was being used to show copyright, ownership, and changelog information, but this information is clearly incorrect (portions were written after 1992), outdated (Linus is not the sole author of that file), and incomplete (the changelog is a joke).
Now that we've gotten the pedantry out of the way, let's move on to trying to understand the point nix was attempting to make, rather than trying to disprove him with oddly specific code references.
The 3.8 kernel is out Posted Feb 21, 2013 20:47 UTC (Thu) by PaXTeam (subscriber, #24616) [Link]
> Well, the bug in line 3 is a clear design error.
saying so doesn't make it so. prove it. getting a fix upstream would be fine. then we can move on to the remaining ones, there's quite a few more lines left in linux (nothing to say of the rest of the code we have out there ;).
> It should read "*/" and the comment should have ended there.
wrong, that line of code would also be buggy, since it's part of 'every single line', so you'd be replacing buggy code with buggy code. reductio ad absurdum, if you believe in his nutty theory, you'd have eliminate all code in existence to properly fix any bug.
>[...]let's move on to trying to understand the point nix was attempting to make[...]
he doesn't have one.
The 3.8 kernel is out Posted Feb 25, 2013 16:38 UTC (Mon) by nix (subscriber, #2304) [Link] he doesn't have one.You are, as usual, wrong.
|
|||||||||||||