Jump to content


Senior Members
  • Content Count

  • Joined

  • Days Won


wtf last won the day on March 6 2019

wtf had the most liked content!

Community Reputation

128 Excellent

About wtf

  • Rank

Profile Information

  • Favorite Area of Science

Recent Profile Visitors

5817 profile views
  1. Two subjects you might be interested in: * Boolean algebra. That's the "algebra of logic and ,set theory" if you like. It makes some of the connections you're thinking of. A logical OR is plus, a logical AND is multiplication. The union of two sets is their sum, the intersection is the product. Products distribute over sums as they do with numbers, and so forth. Boolean algebra unifies a lot of different things that are really the same thing as you're sensing. https://en.wikipedia.org/wiki/Boolean_algebra * The Curry-Howard correspondence and related notions. That says that computer programs and mathematical proofs are the same thing. This has repercussions in computer science and also philosophy. https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence
  2. Yes, you can divide any two infinitesimals in the hyperreals as along as you don't divide by zero. You have that right. And therefore, there's no smallest positive infinitesimal in the hyperreals. The hyperreals are a field, just as the real numbers are. A field is a mathematical structure in which you can add, subtract, multiply, and divided (except by zero). The rational numbers are a field. The reals are a field. The complex numbers are a field. And the hyperreals are a field. It's a common misunderstanding that there is a "smallest infinitesimal." In the hyperreals there is not. If you have some positive infinitesimal in the hyperreals. you can just divide it by 2 to get a smaller one ... just as you can in the reals. The way to think of the hyperreals is to imagine the real number line; and around each real number there is a "cloud" of uncountably many infinitesimal elements. In fact it's called the [url=https://en.wikipedia.org/wiki/Monad_(non-standard_analysis)]halo[/url]. Even in the hyperreals, there is no smallest positive number. Any infinitesimal can be divided by 2 as many times as you like, just as in the real numbers. In fact subject to technical considerations, everything true about the reals is true about the hyperreals; and vice versa.Of course, "contains an infinitesimal" is true about the hyperreals and not the reals; so there are rules for when it's legal to transfer back and forth. This is the famous [url=https://en.wikipedia.org/wiki/Transfer_principle]transfer principle[/i]. This is the trick that makes nonstandard calculus work. You can take a problem in standard calculus, solve it in the hyperreals, and transfer the result back to the standard world. If there's a tl;dr, it's that the hyperreals are a lot like the reals except for a halo of infinitesimals around each real number. That's a good way to think of them.
  3. Bullpucky. You're confusing the hyperreals with finite extensions of the reals, or perhaps the extended reals. Why not take the trouble to find out what the thread's about before posting utterly false information?
  4. This forum allows this nonsense and bans a discussion of the ordinal numbers?
  5. No, I don't think u did. All u did is say how can I handle your example. I can kick myself for not seeing this. I like to think of myself as being extraordinarily imaginative. I should have anticipated this. I know u don't want to discuss this further, but its occurred to me before the 2 of u have  more problems with this example: 1) What then are u going to do with the "everything else"? 2) Could your example therefore be an actual WO for the set in question?

  6. It's refuted by the order "1/2 <* 1/4 <* everything else." We've been over this many times already. If you say, "Ok just apply the idea twice," I'll give you "1/2 <* 1/4 <* 1/8 <* everything else." If you say, "Apply it countably many times" I'll give you [math]\omega + 1[/math]. And I can keep on going like this right up to the first uncountable ordinal and beyond. You have NEVER responded satisfactorily to this refutation of your argument. It's clear that whatever context your prof used this P idea, it wasn't this one.
  7. Your earlier arguments that there's no well-order of the reals are wrong. This paragraph is "not even wrong." It's incoherent. It says nothing and means nothing. Is Property P like Preparation H?
  8. This business with P is half baked because you haven't yet incorporated it into a complete argument about anything. Secondly if you are retracting your admission that you're wrong, please respond to the question I asked earlier. How does your argument handle the case of the order 1/2 <* 1/4 * <* 1/8 <* ... <* everything else?
  9. The axiom of choice says that you can choose a legislature. If you have a country with a bunch of states, you can pick a resident from each state and form them into a lawmaking body. Suppose in the future they prove the universe is infinite and there is some country with infinitely many states. Why can't they form a legislature to organize their affairs? The axiom of choice is more natural than its negation. Now the next time you hear about the US Senate, just think of two applications of the axiom of choice. Two representatives from each state. That's what the axiom of choice says. If you have a collection of nonempty sets, then Mitch McConnell is involved.
  10. The usual generalization of the reals, complex numbers, quaternions, octonions, sedenions, etc., is the Cayley-Dickson construction. It's also related to the subject of Clifford algebras. https://en.wikipedia.org/wiki/Cayley–Dickson_construction https://en.wikipedia.org/wiki/Clifford_algebra I haven't perused the code but if the OP would express his/her idea in a couple of sentences perhaps we'd be interested to know more. Source code is not a good medium for communicating ideas to people. Its sole purpose is to allow trained programmers to communicate ideas to computers. I thought everyone knew that. Hey let's see the machine code! There's a nice visualization that [math]\sqrt{i} = \pm (\frac{\sqrt 2}{2} + \frac{\sqrt 2}{2} i)[/math]. In the plane, [math]i[/math] makes an angle of [math]\frac{\pi}{2}[/math] with the positive [math]x[/math]-axis. Now the geometric insight is that when you multiply complex numbers, you add the angles. To find a (not "the") square root of [math]i[/math], we ask ourselves: What angle, when added to itself, gives [math]\frac{\pi}{2}[/math]? Then it's obvious, it's just [math]\frac{\pi}{4}[/math]. A line making an angle of [math]\frac{\pi}{4}[/math] with the positive [math]x[/math]-axis crosses the unit circle at the point [math](\cos \frac{\pi}{4}, \ \sin \frac{\pi}{4})[/math] in trig form, giving one square root. The other one is its negative, which is the point directly opposite it on the unit circle. ps -- I just noticed the question was for [math]- i[/math]. Same visualization applies with suitable modifications, which I didn't feel like making. You take half of [math]\frac{3 \pi}{2}[/math] which is [math]\frac{3 \pi}{4}[/math], etc. Doing it that way gives the negative of the answer you got. My value's in the second quadrant and yours is in the fourth. I don't think there's a convention as to which is preferred. This was in response to @Passenger writing, "Real numbers and imaginary numbers, in turn, are real subsets of a complex number." If you substitute the word actual, or legitimate, or proper, for the second use of "real," then this makes sense. Perhaps that's what was meant. On the other hand the phrasing was the real subsets of '"a complex number" and NOT "the complex numbers." Making me think that perhaps they mean the real and imaginary parts of a complex number, which are always real numbers by definition. That would be another interpretation. FWIW zero is the only number that is both real and imaginary.
  11. > But this just can't be because for all x in S\{1/2}, 1/2 <* x so 1/2 is the greatest lower bound for S\{1/2}. If 1/4 is the min for S\{1/2}.than its also the greatest lower bound for S\{1/2}.. 1/2 <* 1/4 because 1/4 is in S\{1/2} and for all x in S\{1/2}, 1/2 <* x. So, this is a contradiction. You know I read through that and as far as I can see IT'S EXACTLY RIGHT. 1/2 is the min, then when you delete that 1/4 is the next min, and when you delete that 1/8 is the new min. But it's NOT a contradiction. It's exactly the way it might be ... which refutes your argument. Also you're confusing your intuitions of greatest lower bounds in the real numbers in the STANDARD order, with what's going on here. Again, think of the naturals 0, 1, 2, 3, 4, 5. What's the greatest lower bound of {x >= 4}? It's 4. What's the GLB of {x >= 5}? It's 5. It's a discrete order. Thinking about limit points in the real numbers is what's throwing you off.
  12. Suppose I give you the following linear order: 1/2 <* 1/4 <* 1/8 <* 1/16 <* ... <* everything else. What happens to your argument?
  13. That's like me saying I'm interested in a scoop of tuna salad between two slices of bread, but that I am NOT interested in a tuna salad sandwich! The two things are synonymous. If you have a well-ordered set, its order type is an ordinal. If you have an ordinal, it's a well-ordered set. It's not possible to be interested in well-orders and not be interested in ordinals. I can't fathom where you're coming from with a statement like this, after I've been explaining it to you for a year. The rest of your post is wildly off the mark. You keep posting an erroneous proof and I keep refuting it with an example. You say that if you delete the first element from the tail of a linear order (of the reals), the rest of the set has no smallest element. But that's false. "0, 1, everything" refutes it. You say ok take the next deleted tail. "0, 1, 2, everything" refutes it. You say ok do it countably many times. Then "1, 2, 3, 4, ... 0, everything" refutes it. That's the ordinal [math]\omega + 1[/math]. You can keep going to "odds, evens, everything." That's [math]\omega + \omega[/math]. I can just keep walking through the countable ordinals. You claim a deleted tail has no first element but clearly these examples refute your claim. That's all that's going on here. You have a faulty proof and I keep showing it's faulty.
  14. You're addressing me but you've indicated a disinclination to hear any more from me. I prefer not to play that game. For the record I'm done here unless something new and/or interesting gets said. I'll leave it with this. If -- I'm not saying there is, but if -- there were a well-order on the reals, it would look just like the well-order on the natural numbers: one element after another. The only difference is that you'd have to periodically take limits. A limit ordinal is an ordinal that doesn't have an immediate predecessor. [math]\omega[/math] is a limit ordinal. It's the upward limit of 0, 1, 2, 3, ... Technically it's implemented as the set-theoretic union of all the preceding ordinals. Alternatively, it's the set of all the preceding ordinals. Those two are the same since ordinals are transitive sets. So if you take all the countable ordinals, and take their upward limit (as their union, or by taking the set of all the countable ordinals) you have an ordinal that can't be one of the countable ordinals, so it's an uncountable ordinal. I completely agree with you that the idea of an uncountable well-ordered set is mind boggling. But that's not a proof against it. Rather, it's another one of those counterintuitive things in math that we have to just "get used to," as John von Neumann said. You have an intuition that there's no uncountable well-ordered set, and you think your intuition is a proof. But you haven't got a proof. Only an intuition which turns out to be false.
  • Create New...

Important Information

We have placed cookies on your device to help make this website better. You can adjust your cookie settings, otherwise we'll assume you're okay to continue.