Jump to content
Objectivism Online Forum

Nate T.

  • Content Count

  • Joined

  • Last visited


About Nate T.

  • Rank
  • Birthday 04/13/1984

Previous Fields

  • Country
    United States
  • State (US/Canadian)
  • Copyright

Contact Methods

  • Website URL
  • ICQ

Profile Information

  • Gender
  • Location
    Michigan, US
  1. Where does insight come into this? Often I focus on a problem for a long period of time without success, only to have the solution occur to me later without consciously trying.
  2. And I certainly don't want to keep anyone from using the best adapted tools to solve a problem. "Nature" don't "compute" anything; when a soap bubble forms no one need be computing anything. Soap bubbles act according to their nature, and our task to try to figure out how to predict it in the best way possible.
  3. What I claim is that, to the extent that you want to use calculus (which means, to the extent that you want to apply continuum models to things) you can't really avoid some kind of real analysis. And because you're right that we can only measure with rationals, this means we need some assurance that our continuum model corresponds to reality. Now you may (and I suspect do) reject the need for such continuum models. If you argue that since we're really only solving approximate problems anyway we should just discretize everything, then you need to find a way to give assurances that these nu
  4. This ties in to what I was saying in the other thread (and it does have a philosophical point about measurement, too!) It's not just a "deficit" of computers-- we (computers and humans) have nothing but rational numbers to measure with directly, and most measurements (except counting) come with an error attached. If you haven't read IToE yet, there's a nice discussion of this in the appendix called "Exact Measurement and Continuity" that you might like. Anyway, one reason that analysis on a continuum is necessary is that without some kind of theoretical assurance of well-posedness, you
  5. Aha! This objection I understand. You should have picked the moniker Pythagoras, or maybe Kronecker. That's because people are generally taught all of these extensions of numbers (like negative, real, and complex numbers) as a system of rules apart from the context from which they arose. If they actually taught people what real numbers *are*, things would be different. If you handle only rational numbers, how are you supposed to solve x^2 = 2? Do you content yourself with saying that you can find a sequence of rationals that solves the equation as precisely as you'd like?
  6. Ah, I see, icosahedron. Your argument is that we have nothing but (positive) rationals to measure with in reality (which is true), and therefore we should have no need of real (or negative) numbers in mathematics?
  7. Closed, bounded subset, you mean. It is certainly not true that compact spaces are "continuous", since finite spaces are compact (indeed, compact sets can be regarded as generalizations of finite sets) and many other wild sets like the Cantor set are compact, too. It seems that you're talking about such discrete spaces, so this word doesn't distinguish the two models of space that you're talking about. I would stick with something like "continuous" or "continuum" rather than compact. I have indeed thought about PDEs in the context of finite spaces-- anyone who has ever nume
  8. This word, "compact" ... you keep using this word. I do not think it means what you think it means.
  9. So, if I understand you correctly, no macroscopic object (to which classical mechanics applies) is a "real" entity, since the elementary particles of which they are composed are the only "real" entities, and classical objects can be at rest in some inertial frame. So is a car not a "real" entity? Or can I not identify it? I'm just trying to get some kind of philosophical question out of here, rather than just speculative physics that has nothing to do with the purpose of this board.
  10. 1. Being isomorphic to the usual number system is not enough: two systems can be isomorphic without being conceptually similar. For instance, how would you rather deal with an object like a parabola-- as the graph of a quadratic function, or as intersections of certain planes with double cones, like Apollonius? Can you imagine doing trajectories being limited to such a framework? (Incidentally, how does this system of yours affect coordinate geometry?) 2. It is true that if you restrict the plane to the union of the positive x- and y-axes, the usual Euclidean inner product says that tw
  11. 1. The fact that algebraic sign encodes the very notion of direction that you're trying to capture with these ordered pairs, and does so in an algebraically unified way, seems quite conceptually and computationally beneficial to me. You just have to keep in mind what negative numbers mean in whatever context you're in. 2. The reason for my opening barb is that you can't use the standard Euclidean inner product on these pairs, since they are really equivalence classes of pairs, as you yourself use. So while (0, 1).(1, 0) = 0, you could also say of the same two integers that (1, 2).(2, 1)
  12. Wow. This certainly is a thread about how to handle mathematical concepts that have no relation to reality, all right. icosahedron, just for the hell of it, since you're representing integers as ordered pairs of natural numbers, just what is this inner product you're defining on the integers? The one that makes 1 and -1 orthogonal?
  13. Lines are closer to concepts of methods. I agree with the posters who say that lines are abstracted units of length. They are idealized units of length whose only property is their length (and direction), since those are the only properties we care about in the context of plane geometry. As for not being able to physically realize a line, that's right, we can't. But just as one needn't produce -2i cows in a pen to use complex numbers, we need not produce an infinitesimally thin ruler in order to apply plane geometry. The fact that objects can subtend some (straight) length and be a re
  14. Conservapedia is a wiki, right? Is it like Encyclopedia Dramatica in that it's one huge troll site, or are there people who take this seriously? I suppose there's no reason it couldn't have started out as one and become the other, by Poe's Law.
  15. Aleph_0: What I was trying to get at is this: right now you're holding out hope that a future scientific theory may provide indirect evidence for an infinite quantity. If it can be shown that scientific theories by their nature cannot justify the existence of infinite quantity, you have no grounds to suppose them except to reify them from advanced mathematics. However, scientific theories are created in a finite context, by observing finite relationships between measurable phenomena in a specific range justified by the data (one of the points made by Harriman's new book). I can't see h
  • Create New...