|
Register | Sign In |
|
QuickSearch
EvC Forum active members: 65 (9162 total) |
| |
popoi | |
Total: 915,817 Year: 3,074/9,624 Month: 919/1,588 Week: 102/223 Day: 13/17 Hour: 0/1 |
Thread ▼ Details |
|
Thread Info
|
|
|
Author | Topic: Question.... (Processes of Logic) | |||||||||||||||||||||||
crashfrog Member (Idle past 1467 days) Posts: 19762 From: Silver Spring, MD Joined: |
Presburger arithmetic. It models addition, but not multiplication. Presburger showed that there is an algorithm that can decide of any given statement is true or not. Fischer and Rabin then showed that all algorithms that can decide such statements have a runtime of 22cn for some c and n being the length of the statement. But if it can model arithmetic, isn't it sufficiently complex as to be incomplete? And how could you have addition without multiplication? And what would prevent the insertion of a self-contradicting statement into that algorithm? Perhaps it's best to open a new thread.
It's the same question as asking what color they are. If they have color, they have number. Why? To determine their color, all I have to do is look at them. As a non-color blind person their color is immediately apparent. But to know how many there are I have to count them. Are you really saying that color and number are this related? That's a bold statement. Anyway, you said that I would see "five". Not five fingers, just five. Five in it's unitary nature apart from describing the set of my fingers. All I see are fingers. Explain to me how I'm supposed to just see "five".
|
|||||||||||||||||||||||
compmage Member (Idle past 5153 days) Posts: 601 From: South Africa Joined: |
crashfrog writes: Why? To determine their color, all I have to do is look at them. As a non-color blind person their color is immediately apparent. But to know how many there are I have to count them. Speaking out of turn and with incomplete knowledge I expect this is more a result of how your brain and eyes work. You automatically 'see' the colour (assuming you're not colour blind) while you have to be taught the concept of numbers. However, I think what Rrhain is trying to get at (correct me if I am wrong) is that different frequencies of light (colour) exist regardless of weather we are aware of it or not, in the same way that you have 5 fingers on each hand (assuming you are normal in this regard) regardless of weather you are aware of number systems or not. I tend to agree with him. ------------------He hoped and prayed that there wasn't an afterlife. Then he realized there was a contradiction involved here and merely hoped that there wasn't an afterlife. - Douglas Adams, The Hitch Hiker's Guide to the Galaxy
|
|||||||||||||||||||||||
Chavalon Inactive Member |
Hi Rrhain -
Yes, I do see 5 fingers when I look at my hand, but I don't accept this as evidence that 'fiveness' exists anywhere except in people's minds. Evidence of colour exists even in a world of colour blind people - assuming they can make things like spectrometers. But how can evidence of 'pure fiveness' exist independent of our conception of it?
|
|||||||||||||||||||||||
crashfrog Member (Idle past 1467 days) Posts: 19762 From: Silver Spring, MD Joined: |
And why is math "discovered", while baseball and Monopoly were "invented"? (To bring in Schraf's point again.) What's the difference? How do we tell?
|
|||||||||||||||||||||||
John Inactive Member |
quote: Well, no, not really. Just explain how i does not violate the basic rules of multiplication.
quote: Now, why should I be careful? Godel's proof may not apply to all systems but it damn sure does apply to those systems in question-- those very systems you rely upon. So why should I be careful?
quote: Godel's proof works for systems that are almost trivially simple, but you know this. Why are you pretending that something significant can be constructed that does not violate that proof? Sounds to me like you are just being diversionary, and effectively just skipping around the issue-- which, if you've still missed it, is that logic and mathematics which you have made out to be absolute and infallible are the very things which get screwed by Godel's proof.
quote: What are you talking about? Seriously, I don't know where this came from.
quote: Let me put it this way, when you attempt to prove a conclusion, or formulate an argument, do you attempt to create true argument, or a false one? If you attempt to create a true argument, you are by default proving a positive. Reductio ad absurdam works similarly. You have an argument you hope to be true. You reverse the conclusion, thereby creating a false argument. If indeed it does prove to be contradictory, you can infer that the original arguement was true. And you are in the same position-- that of proving a positive. But even when you have reversed the conclusion and found a contradiction, you still have a true argument-- false premises, false conclusion, true argument.
quote: Yes. Godel again. Thank you for pointing that out. But why? I am not claiming that math, or logic, is an unquestionable arbiter of truth. This doesn't hurt me.
quote: Prove any statement, about your hair, that is not true-- the statement as a whole, not just 'the conclusion has a ~ in it."
quote: Why, if something is true, is the ONLY way to prove it true by proving something else false? Doesn't make sense. The only practical way, perhaps. It can certainly be easier, but it is all conditional upon whatever system you used to make the inference. There is no guarantee that that system is correct.
quote: Different from your point, perhaps, but germaine to the issue that started this in the first place.
quote: ummmm.... I believe that I did. And, in fact, you brought up drawing with a compass and straight edge in an earlier post. It was just up in post #48.
quote: And do you understand what is sufficient support for a universal statement such as X can or cannot exist? You need have absolute knowledge of the universe. Or have a guaranteed system for working out answers, which would be the equivalent of absolute knowledge. You have neither, we have neither, but you still insist on making absolute claims about existence.
quote: I never said we were using a existential mathematical operator. You assumed that and have been tripping over it ever since. I, as I have explained repeatedly, used another meaning of the term 'existential.' It is a meaning introduced to this discussion by crash or maybe Mr. P. and, I believe, first used in this way by a logician named Adler. It is comical that you can't grasp this.
quote: So you agree that if there is a largest prime then our system of mathematics is contradictory? That was the question. Now, how is it you are sure that our system of mathematics is NOT contradictory? Assumption? Ya just can't imagine it being otherwise? You have a modus tollens. P = largest prime. M = math is contradictory. So: if P, then M.~M therefore ~P. The trick is getting that not-M. You have valiantly avoided the fact that it simply isn't true. Math is contradictory. Lots and lots of people have been struggling with the consequences for a nubmer of years.
quote: The proof depends upon the fact that you COULD do so. That is what variables are all about. No amount of semantic BS will change that. The first conclusion drawn in your proof is that there is a number larger than the assumed prime, whatever that assumed prime may be. That is an infinite series of positives, which you then translate into English as a negative.
quote: All that math has given you a false sense of precision. In the real world, you'll never pin down 'me' or 'not-me.' There are infinite elements to the definition. Of course, you will object that not all elements need to be included. For practical purposes, this is true, and you end up with grossly truncated definition. But for statements that are universal absolutes, it is not. Every time you claim something can or cannot be because math says so, you are making a statement about a universal absolute.
quote: Geez!!!! I've said so more times than I remember. There is no reason to believe that math is anything more than a symbolic system we made up, and of course we made it match the world we observe but there is no guarantee that we got it right or that it applies to the whole universe.
quote: Nor does it mean contrary or variant theories are false, as you appear to be arguing.
quote: Science is the attempt to reduce the complex world to formulas simple enough that we can comprehend them. We adopt the simple an elegant as 'the truth' but the absurdly complex might actually be true.
quote: Admin(s), not long before you arrived here, requested we keep the size of messages down. Drive space costs money. Sorry. I know it can be hard to follow.
quote: Do you actually believe that Euclid invented geometry? Euclid died in 265 BC. The Egyptians had knowledge of geometry 2500 years earlier. So did the Babylonians, so did the Sumerians, so did Greeks long before Euclid. Do you actualy believe the Egyptians, who made damn near square bases for there pyramids, had no knowledge of geometry? Come on! This statement is staggering in its ignorance.
quote: Lol... Where do you think Euclid, and the mathemmaticians from whom he draws, first got these definitions? Pulled them out of thin air? Got drunk and made up stuff? Nope. The definitions were matched to what they observed around them. That is why euclidian geometry is that of a plane. The world Euclid could observe was planar. That is also why no one questioned Euclid until fairly recently. That is also why euclidian geometry ain't universally applicable the real world-- the real world, on a large scale, isn't what Euclid observed. He didn't have the technology to observe anything different, so he created an abstraction of his tabletop, essentially. And it is a generalization from the specific to the universal-- assuming, of course, that you consider it to have a relationship with the real world. Euclid drew from, say, 20 percent of the world's mathematical knowledge-- or from a small chunk of one planet-- and created a geometry that supposedly applies everywhere. How is this not generalization from the specific to the universal? Now, you want to call Euclids postulates 'definitions.' How does this help? It only makes the whole structure one more step removed from reality. And you want to argue that one can determine truths in the real world via systems such as this? If geometry is only definition, why should anyone care? Definitions can be made to prove anything. There are no rules. Invoke observation and you are right back to over-generalization.
quote: Bud, you are making my case. And you are contradicting yourself. You know there are unproven and/or unprovable assumptions and yet still insist that you can get ABSOLUTE answers about the real live observable universe out of axiomatic system.
quote: Perhaps not. Assuming Einstein's conception of gravity, there might not be any true plane anywhere. But, no, that isn't what I was getting at. Geometry, any axiomatic system, is conditional upon its assumptions. If ( assumptions are true ), then ( system is true ). You know this, which is why it is so hard for me to understand why you feel that you can make absolute determinations based on an axiomatic system. No matter how well the system works, the fact remains that it rests on assumption. What you appear to be doing is arguing that since something is contradictory, or impossible, within an axiomatic system, it is absolutely impossible. This amounts to 'proving' one of your assumptions-- non-contradiction--, which is circular, which is invalid.
quote: hmmm... then back up from that singularity until you have four points. Is that a circle or a square?
quote: I think it is fair to say that you have frequently argued otherwise.
quote: Do you think you might have it in you to stop whining about things of which you are also guilty? Just a thought.
quote: Do you actually know what this means? The way you use it makes me think that you don't. Ad hoc is a statement used to brush aside facts that refute an argument. Producing additional evidence or stating previously unstated evidence is not ad hoc. If it were, all of science would be ad hoc. Nor is attempting to explain a previous statement, ad hoc. Nor is introducing additional argument or producing a modified version of an argument, ad hoc. And pointing out the blatantly obvious fact that we do not know everything is damn sure not ad hoc. Now, my statement was:
Could be. Of two things which appear to us to be the same, or make no difference, one or the other may well be true and the other false. Whether we are ever able to sort this out is another thing. Do you actually deny that this is an accurate statement? Do you deny that appearances may deceive us? That our current understanding could be wrong? If you do deny these things, then... wow... what can I say? How do you wake someone from that dogmatic slumber? If you don't deny these things, it is absurd to insist on absolutes as you do.
quote: ummm... when I asked for examples did it not occur to you that I WAS ASKING FOR EXAMPLES? If you gave some and I missed them, sorry. I certainly didn't do it on purpose. More likely, you made some statement or statements which you feel qualify as the examples I am looking for, but which don't look that way to me to the point that I don't even know which ones it is to which you refer.
quote: Are you serious? Definitions constitute infallible knowledge? A definition is a tag. It is shorthand. Definitions are names. I can pick any combination of letters and make up a definition. How is that even knowledge, much less infallible knowledge? Need I direct you attention to where you claim that you do not confuse definitions with reality?
quote: I know that some textbooks have this proof in them. I don't know how many such textbooks there are, but I don't think it matters. And not having those books, I can't say why the question is asked. Am I sure, they think there is a point. But I don't think that matters either. Here is why. A postulate is "A statement, also known as an axiom, which is taken to be true without proof." ( mathworld.wolfram.com ) Yes? Now, ever heard of the identity postulate? Also know as the reflexive postulate? Now put the two together. Identity is a fundamental assumption of mathematics and logic. Proving it isn't possible within the system. The argument would be circular.
quote: I realize that. Which is why I asked the question. This is the point.
quote: Funny... I posted the full response you gave me. All you said was "How is that insufficient?" What kind of context do you want? Maybe the thread itself? Surely a smart guy like you can keep track? Personally, I think you are avoiding the fact that we invented math.
quote: Oh? Tell me. When you've been talking about geometry, is that a geometry to which Incompleteness Theorems apply? If so, it isn't me who is misunderstanding, it is you who are in denial.
quote: How do you know they have any logic at all?
quote: Doesn't follow. There may be no pattern at all, and hence no logic.
quote: ??????? Then it isn't randomness and chaos. A truly random series has no pattern. Logic is all about pattern.
quote: No. This isn't the argument. It isn't that you are incapable of disproving a finite number of things. It is that to make a statement that encompasses the whole universe you would have to disprove an infinite number of things. You can limit your set, but then you are not making a statement about the whole universe-- it is no longer a universal statement. This is what you did with the car key example. It is no longer a statement about the absolute existence, or non-existence, of the car keys. It is a conditional.
quote: I'm afraid you are. Notice every example you give of counting. Two apple + 2 apples = four apples. hmmm... try again. Same result. And again. Again. Same result. Eventually this pattern was generalized into a law, a maxim, an axiom or whatever you want to call it. This is a jump from the specific-- lots of specifics actually-- to the universal. This was the creation of mathematics.
quote: Deduction has the same failing as induction for the reasons given above. The axioms of the system had their origins in the observation of events. Those observations were generalized to universals to create the axiomatic system.
quote: A joke based on the Latin word for finger, perhaps? No. I don't see 'five.' I see fingers and I count five of them. I do not percieve any element of 'fiveness.'
quote: I get. A · ~A And. ~(A v ~A) which gives ~A · A Ok. Got it. ------------------
No webpage found at provided URL: www.hells-handmaiden.com
|
|||||||||||||||||||||||
Rrhain Member Posts: 6351 From: San Diego, CA, USA Joined: |
crashfrog responds to me:
quote:quote: Stop right there. It isn't modeling all of arithmetic...just addition.
quote: No, because it isn't modeling all of arithmetic.
quote: Look it up and find out. There is more to multiplication than "repeated addition."
quote: Read the proof and find out.
quote:quote: How is "counting them" fundamentally different from "looking at them"?
quote: I'm saying they are fundamentally equivalent, yes. Just as an object has size, shape, texture, color, it also has number.
quote: But just as many objects can be red, many sets can be five. Surely you wouldn't say that only a red apple can be red, would you? So why are you making a distinction that your fingers are somehow unique to being five?
quote: How many are there? You want to see red? Look at this apple (though you may need special equipment to see it). You want to feel smoothness? Touch this apple. You want to see one? Count this apple. ------------------Rrhain WWJD? JWRTFM!
|
|||||||||||||||||||||||
Rrhain Member Posts: 6351 From: San Diego, CA, USA Joined: |
Chavalon responds to me:
quote: Would the number of fingers on your hand change if nobody was around to count them? ------------------Rrhain WWJD? JWRTFM!
|
|||||||||||||||||||||||
Rrhain Member Posts: 6351 From: San Diego, CA, USA Joined: |
crashfrog responds to me:
quote: Because if it's still there when there's nobody around, it's a discovery. Math is still there, even when there's nobody around to think about it. Or do the number of fingers you have on your hands change when you're not looking? ------------------Rrhain WWJD? JWRTFM!
|
|||||||||||||||||||||||
crashfrog Member (Idle past 1467 days) Posts: 19762 From: Silver Spring, MD Joined: |
Stop right there. It isn't modeling all of arithmetic...just addition. Sorry, I'm not trying to argue these points. I really just don't understand. I was just curious.
How is "counting them" fundamentally different from "looking at them"? To look, all I have to do is point my eyes. To count, I have to go "One, two, three, four, five." Seems fundamentally different to me.
I'm saying they are fundamentally equivalent, yes. Just as an object has size, shape, texture, color, it also has number. But then:
But just as many objects can be red, many sets can be five. So, it's sets that have number, not objects. That's what I've been arguing all along. They why:
So why are you making a distinction that your fingers are somehow unique to being five? No, like you said, it's not my individual fingers that have five-ness. It's the set of my fingers that has the quantity "five". This distinction between objects and sets containing objects seems to be a tough one for you. Why is that? The teapot is not the water it contains.
|
|||||||||||||||||||||||
crashfrog Member (Idle past 1467 days) Posts: 19762 From: Silver Spring, MD Joined: |
Math is still there, even when there's nobody around to think about it. So is Monopoly. Prove me wrong.
Or do the number of fingers you have on your hands change when you're not looking? Does the mortgage value of Boardwalk change when we're not playing? Just because the rules don't change each time you play the game doesn't mean the game itself wasn't made up. Constancy is no argument, in this case, for independant existence.
|
|||||||||||||||||||||||
Rrhain Member Posts: 6351 From: San Diego, CA, USA Joined: |
John responds to me:
quote:quote: Because you don't understand the rules of multiplication. What makes you think mathematical operators in the Complex number system are going to behave the same way they do in the Reals? i is not a Real.
quote:quote: Because false premises can lead to any conclusion you desire.
quote: Because they don't apply to the system in question.
quote:quote: Irrelevant. The question is not whether the system is "trivial. It is whether it can model arithmetic. The axioms of Presburger arithmetic, for example, are not that sophisticated. You can get addition, but you can't get multiplication. And as Presburger, himself, showed, they are both complete and consistent.
quote: I am not. I am accurately stating that the Incompleteness Theorems have very specific meanings and applications and attempts to use them outside of those specific areas is inappropriate. Just as those trying to use the Heisenberg Uncertainty Principle to explain human behaviour under observation, the Incompleteness Theorems cannot be applied to things other than axiomatic number theories sophisticiated enough to model arithmetic. Sounds to me like you are just being diversionary, and effectively just skipping around the issue-- which, if you've still missed it, is that logic and mathematics which you have made out to be absolute and infallible are the very things which get screwed by Godel's proof.
quote:quote: Neither do I...you cut out so much context that I'd have to trace the thread back by hand to find out.
quote:quote: Depends on what I'm trying to do. Again, sometimes it's easier to draw the negative space than the positive space. The definition of an infinite set is that it is not finite.
quote: Bingo. You just proved a negative.
quote: By negating a falsity.
quote:quote: No, now you're getting into Russell. "This statement is false," and all that.
quote: You're the one saying you can't prove a negative. But "This is false" is a negative and "It is true that this is false" is proof of that negative.
quote:quote: That's because you're reading what you wish I would have said and not what I actually did. Try again. But sometimes the only way to show something to be true is by showing something else to be false. You see that word "sometimes"? What do you think it means? Infinite sets are, by definition, not finite. In order to show a set to be infinite, you must show it not to be finite.
quote:quote: In reference to something else entirely. Why are you equivocating?
quote:quote: Yes. Do I really need to go through the proof of the non-existence of a largest prime?
quote: And that doesn't happen in mathematics because of what, precisely? Are you saying there might be a largest prime?
quote: You mean it is impossible to deduce anything?
quote:quote: What is an existential mathematical statement without the existential operator? That's the defining characteristic of an existential statement: It uses the existential operator. This is in contrast to a universal statement that uses the universal operator. They are negations of each other. The negative of the universal is the existential and vice versa.
quote:quote: See...this is what I mean by your complete destruction of context. What was I saying "Indeed" to? Any idea? Why did you remove all the context? What on earth are you talking about? If there is a largest prime, our system of mathematics would be contradictory, yes. Do you have proof of such?
quote: No, the incompleteness theorems again. Statements that can be decided will not be contradictory.
quote: No, axiomatic number systems complex to model arithmetic will be either incomplete or inconsistent. Not all of math is such a system.
quote:quote: No, the proof depends on the fact that you don't. The moment you leave the abstract, you have only proven the specific. We need to get this out of the specific and into the general. That's how inductive proofs work. Yes, you need to show a specific case, but the inductive step is that you generalize to all others.
quote:quote: Then there really is no need to continue. We have a fundamental difference. For myself and the vast majority of mathematicians, the objects of mathematics are real. I do not say that as if that is justification. I am simply pointing out that I am not an isolated instance.
quote: You mean the number of fingers on your hands changes if you're not paying attention? If you were to think really, really hard, you might actually have six on one and four on the other?
quote:quote: Incorrect. But since you cut out so much of the context, I can't really say more than that.
quote:quote: Of course not. He didn't even discover most of it. He was compiling the work of others. But, since you cut out all the context, you're missing the point. It is that a circle is not as you think it within the realm of plane geometry.
quote: That's because, once again, you are responding to what you wish I had said and not what I actually did. Go back and read it again. Notice the part where I mention Euclid compiling the work of others. What do you think that might imply? And considering that I am arguing from the position that the objects of mathematics are real, what do you think that means? Hint: Would it matter to me if Euclid existed at all? You even responded to it. Why didn't you pay attention? "...there was this guy named Euclid and he collected the works of other mathematicians." Hmmm...does that statement indicate that I think Euclid invented geometry? Think carefully, now. Answer based on what I actually said, not what you wish I would have said.
quote: No, the postulates are separate from the definitions. Haven't you read the books?
quote:quote: It's impossible to have only four points. If you have more than one, you have infinitely many.
quote:quote: And you'd be wrong.
quote:quote: Non sequitur. If you ask for examples and I give you examples, how is that not giving you the examples you asked for? Look, if you don't want to read them, that is not my fault, but for you to claim that I didn't give you the examples you requested is disingenuous at best.
quote:quote: Then is it not possible that these people know something you don't? That there is a point to asking the question? For example, one of the things in linear algebra is that a matrix is equivalent to a given matrix if each corresponding element is equivalent (Two m x n matrices A = aij and B = bij are equal if aij = bij for i = 1, 2, ..., m and j = 1, 2, ..., n.) Thus, you prove that A = A by showing that each element within it is equivalent.
quote:quote: But that doesn't mean the forward direction is invalid. All squares are rectangles. Not all rectangles are squares.
quote:quote: Like maybe the comment you made which prompted my response. With no antecedent, it's hard to say what "that" is that I seem to think is insufficient.
quote: And I think you're avoiding the fact that we discovered it.
quote:quote: Question: Are the axioms of geometry that of a number system sufficient to model arithmetic? Think carefully...consider the fact that not all numbers are constructible in geometry.... If so, then those Incompleteness Theorems apply. If not, well, then they don't.
quote:quote: Because there is no other way for them to behave.
quote:quote: But even randomness and chaos behave in a logical manner.
quote:quote: Incorrect. Or have you not heard of Chaos Theory? Gleick wrote a wonderful layman's book about the subject. Perhaps you've heard of it: Chaos. The chaotic behavior of the logistic map was what I wrote my Sophomore Thesis on.
quote:quote: Not if it can be shown that all of the things that are not the thing I'm looking for are of a piece and that piece cannot be true.
quote:quote: But 1 + 1 = 2 isn't an axiom. It's a conclusion. Russell worked very hard to show that. And mathematics wasn't created...it was discovered.
quote:quote: Nope...a simple request.
quote: If you have five of them, how can you have some other number of them? Do they change number when you're not paying attention? If everybody were to die and thus have nobody around to count them, would their number change? And how can you claim you don't perceive five if you count five? "Yes, I am sensing red, but I'm not seeing red." ------------------Rrhain WWJD? JWRTFM!
|
|||||||||||||||||||||||
Rrhain Member Posts: 6351 From: San Diego, CA, USA Joined: |
crashfrog responds to me:
quote:quote: S'aright. It's complicated. The axioms of Presburger arithmetic are simple, but they are based in symbolic logic and hard to transcribe.
quote:quote: That's only because you're faster at figuring out red than you are at figuring out five. If I give you a color that's very close to what you would consider to be the "border" between red and orange, you'd have to spend a bit more time thinking about what color it is, wouldn't you? Does that hesitation mean that color is something that is sometimes real and sometimes manufactured? Things exist only if we can so quickly process the information that we don't do it consciously? What about the people who can determine number as quickly as you can determine color? They do exist.
quote:quote: A set is an object.
quote:quote: Yes...and? Are you saying you don't have a set of five fingers on the end of your hand? That if you stop paying attention, you might return to a set of six?
quote: I would say you have the opposite problem. I am well aware of the difference between a set and its elements. Russell did quite a lot of work in that area and Russell's Paradox is specifically about that. But you seem to think that a set is not an object. If you stop paying attention to your hand, does the number of fingers on your hand change? If everyone were to die and thus there would be nobody around to count them, would the number of fingers on your hand change? ------------------Rrhain WWJD? JWRTFM!
|
|||||||||||||||||||||||
Rrhain Member Posts: 6351 From: San Diego, CA, USA Joined: |
crashfrog responds to me:
quote:quote: You can play Monopoly without players? There's a good trick. Oh, the Monopoly set is there, all the pieces, the money, the board, the dice, etc., but with nobody to play it, it's nothing more than a bunch of brightly colored pieces of plastic and paper.
quote:quote: With nobody to play it, how is there a mortgage?
quote: I'm not saying that they are. But if everybody were to die, you'd still have five fingers on your hand. If everybody were to die, Monopoly would never get played. ------------------Rrhain WWJD? JWRTFM!
|
|||||||||||||||||||||||
NosyNed Member Posts: 8996 From: Canada Joined: |
Geez you guys!!
I think the point might be that math would probably be very much the same developed (discovered) by an alien civilization but monopoly would be very, very unlikly to be invented by them.
|
|||||||||||||||||||||||
crashfrog Member (Idle past 1467 days) Posts: 19762 From: Silver Spring, MD Joined: |
A set is an object. I don't think it is. It has no physical existence. It's simply the expression of a relationship between objects.
Are you saying you don't have a set of five fingers on the end of your hand? That if you stop paying attention, you might return to a set of six? No, I'm saying there's nothing about any of my fingers that contains "five-ness". That's a property of the set of my fingers (on one hand) that isn't inherited by the objects in that set.
If everyone were to die and thus there would be nobody around to count them, would the number of fingers on your hand change? If I'm not around - in which case I certainly wouldn't have fingers, nor be able to count them - how could I even asnwer that question? It's meaningless. Sets aren't objects because they have no independant existence. If you take the objects out of a set the set no longer exists (or becomes the null set, which is no difference.) If I have a relationship between two objects, but those two objects cease to exist, so does the relationship. it has no independant existence. It's just a concept we create in our heads, based on certain rules we all agree to.
|
|
|
Do Nothing Button
Copyright 2001-2023 by EvC Forum, All Rights Reserved
Version 4.2
Innovative software from Qwixotic © 2024