Is Addition Really a Basic Skill?

[jcsd]

I think Neutron Star one of your main misconceptions is the between naive set theory and ZF set theory. naive set theory which is the set theory of Cantor's day the empty set is not axiomatic as you are allowed to define sets by shared properties of their mebers and clealy if you define the shared properties of the members of a set in such a way that it cannot have any members you get the empty set (for example {x|x is a nonegative real number less than zero} defines the empty set). However defining sets in such a way leads to paradoxes such as Russell's paradox.

ZF set theory remedies this by saying that a set is only defined by it's members, in ZF set theory the empty set is axiomatic and as far as I am aware no paradoxes arise because of it's inclusion.

Secindly this i sgetting off track as Peano's constructio of the nautarl numbers are not depedent on whethr or not the empty set exists (it is not an orginal idea to notice that sets are defined by ther members yet the empty set has no members, it has been pointed out before, but no logical inconsistenty arises because of this state of affairs).

 

[NeutronStar]

I think Neutron Star one of your main misconceptions is the between naive set theory and ZF set theory.

I'm not actually having any misconceptions between naive set theory and ZF. In fact, I see them as totally separate things.

ZF may very well be a logically sound theory in its own right. But that is totally irrelevant.

I am only concerned with the following conditional statement:

IF "mathematics is supposed to be a good model of the quantitative nature of our universe" THEN "mathematics is logically flawed".

So even if ZF is perfectly logically correct, if it doesn't correctly model the quantitative nature of our universe then it doesn't really matter that it's logically sound. It's still incorrect within the context that should matter to a scientist.

I never mentioned a word about ZF because ZF did indeed toss out the idea of a set as a collection of things. That's how ZF got around the logical contradictions of Cantor original set theory. And yes, that is a way around it but at what price? In ZF the notion of a set is unbound, and undefined. This leads to paradoxes like infinities that are larger than infinities.

But wait! Hey, that's only a paradox if we think of infinity in a comprehensible way as an endless process or quantity. Only then is it a paradox. But if we are willing to forfeit comprehension of ideas then we can accept that abstract infinities can be larger than other infinities. Of course it no longer makes sense to comprehend infinity as a simple idea of endlessness because it makes no sense to have something that is more endless than something else.

So ZF is only a sound logical theory for those who are willing to give up comprehension of ideas and see no paradoxes in things like collections of things that contain no thing, or ideas of endlessness that are more endless than other ideas of endlessness.

To get rid of the paradoxes all we have to do is forfeit our comprehension of the ideas. Seems easy enough. But for me it just isn't something that I'm willing to do.

Moreover I don't see any need to do it. I can see a logical and sound set theory that is actually based on a comprehensible idea of a set as a collection of individual things where the property of individuality has also been defined in a comprehensible way. We can still have a symbol for the absence of a set which is yet another very comprehensible idea. The set containing all positive numbers less than zero is absence, it simply doesn't exist. But we can use a symbol to denote that it doesn't exist just like we currently use a symbol for the non-comprehensible idea of an empty set.

What's of much more importance is that once we build a set theory on this foundation we will quickly see that all sets cannot be elements of other sets because all sets do not have a valid (by definition) property of individuality. Therefore we won't be bothered by Russel's paradox concerning the set of all possible sets because such an idea is an illegal idea by definition.

So far we are doing just as good as ZF.

But much more importantly there is so much more that falls out of this idea,…

To begin with it doesn't lead to infinities larger than infinity. There can only be one condition of endlessness, a set either has this property or it doesn't. No paradox there. It's also quite comprehensible as simply an idea of endlessness. So we drop that paradox off as well.

We do however pick up a lot of new interesting stuff that I'm also afraid to mention. (ha ha)

One consequence of this "new" set theory is that the number point in a finite line must necessarily be finite. At first that might seem hard to swallow, but actually it makes perfect sense after it is understood why this must be so. It become crystal clear by a very simple proof of why it must be so. At first I had a lot of problems accept this myself, but after thinking about it for many years I have come to grips with why it must be so. I also think that it is amazing that a corrected definition of the idea of number can actually lead to something that is actually true about the real universe (that it is quantized).

Another thing that comes out of this formalism is that it makes absolutely no sense at all to talk about negative numbers in the absolute sense. Once again, this may come as a shock and seem rather weird, but after thinking about it for a while it makes perfect sense.

There can be no such thing as an absolute negative number. The whole property of negativity is a relative property. This is actually the true nature of the universe we live in. It's a good model of the quantitative nature of reality. Ironically mathematicians are already aware of the absolute properties of number. They even have the absolute value function.

Well if you actually stop and think about it, negativity in any comprehensible sense must always be relative. It makes no sense to talk about an absolute negative quantity. Yet we insist on giving negative numbers a life of their own. The fact of the mater is that negativity is always a relative property between sets. It's not an absolute property of either set. The idea of something being negative must always be in context of a larger picture in order to be comprehensible. Even on a number line negative numbers are only negative relative to the origin of the line. Take away that relative reference and negativity is meaningless.

Much of this falls out of a corrected definition of number (where again, by corrected I mean a definition that genuinely reflects the true quantitative nature of our universe). Once the definition is corrected and set theory properly reflects the quantitative nature of the universe in which we live many things fall out of it including the very quantized nature of the universe. In short, had mathematicians been on the ball they could have predicted the quantitative nature of the universe before Max Planck discoverer it in quantum mechanics. Although, I don't believe that mathematics could have actually put a number on it. But just saying that it must be so would have been quite an achievement.

In any case, I seriously don't care anymore. Call me a nut. Claim that I'm full of errors. I disagree with that of course, but I really don't care if other people believe that. My rambles certainly would be full of errors if compared to ZF because I'm not talking about ZF,…. duh?

I'm talking about my conditional statement:

IF "mathematics is supposed to be a good model of the quantitative nature of our universe" THEN "mathematics is logically flawed" or at least incorrect within that context.

I really should have known better that to even mention any of this on a pure mathematics site. Forget I ever mentioned it. I'm not out to convert anyone. Honest. I really don't care what anyone believes. Have a nice life and enjoy whatever you choose to believe.

 

[Hurkyl]

NeutronStar, I'll start with a simple question: do you reject the number zero?

 

[NeutronStar]

NeutronStar, I'll start with a simple question: do you reject the number zero?

Yes. If a set is considered to be a collection of thing, and number is defined as the quantitative property of a set, then Zero, by definition, cannot be a concept of number.

It can however be a valid mathematical concept representing the absence of number (or absence of a quantity, or set). This is, in fact, how it is actually used. Take the number 1060 for example. This number means actually represents 1 thousand, no hundreds, 6 tens, and no ones. In other words, the symbol Zero is representing the asbsense of quantity. It is a valid concept of quantity even though it doesn't officially qualify as a number by definition.

In practice the symbol and concept of Zero would be used pretty much in the same way that it is used today. The main difference would be in the actual way that it is comprehended. It would be seen as an absence of quantity, or a set, rather than as a set that contains no elements. Be definition in the strictest formalism it would be understood that it cannot be thought of as a number.

Of course we always knew that Zero was a weird number anyway because of the problems associated with division by the number Zero.

So, yes, I recognize the quantiative concept. But no, technically it wouldn't satisfy the definition of a number, and therefore it would be incorrect to claim that is is a number. It can still be used as a valid symbol of communication as a quantitative idea however.

 

[dekoi]

Addition is only a way we, as human beings, articulate ideas which we discover.

Since what we discover is perfect in every respect (although not always the way we articulate it), then addition itself should also be perfect.

Proving an idea is, like someone else said, proving a metaphysical entitity (or a color as an example).

We can of course, empirically prove addition by the use of several objects (e.g. with apples, like children learn) -- however, that is proving the way we articulate addition, not addition in its own self.

 

[Hurkyl]

I'm sure you see the analogy between the empty set and zero.

While I shudder at labelling it the "absence of blah", I'll go with it for the sake of argument... zero is used when you would normally want to express a quantity, but you have the absense of quantity... the empty set is used when you would normally want to express a "collection", but you have the absense of a collection.

And just like zero, virtually all of the operations applicable to sets can be extended to apply to the empty set.


I don't really think there's any argument that the empty set is any less legitimate than zero would be. The empty set certainly has practical value, just look at any programming language: there would be an absolutely nightmarirish semantics problem if collections were required to have at least one element!


I want to reemphasize an earlier point: just like zero, virtually all of the operations applicable to sets can be extended to apply to the empty set.

There's the old adage, if it looks like a duck, and it sounds like a duck...

Your argument sounds like it's entirely an issue of semantics. To you, a collection must have at least one element, so you have the separate concepts of "collection" and "absense of collection". Just what is the problem of having one term that includes both of these concepts?

For example, you don't reject the term "fruit" just because there are "apples" and "oranges", do you?

You are fixated on the "definition": "a set is a collection of elements". That definition is geared for those who consider the empty collection a collection. For those like you who reject the idea of an empty collection, you should take the "definition" of set to be "a set is either a collection of elements, or the absense of a collection".


Again, just like zero, this unified concept has proven its usefulness: it's silly to reject it, especially over an issue of semantics.


Oh, and a disclaimer: everything in this post is on the philosophy of mathematics -- don't try to take it as the actual thing.

I'll touch on the infinite (notice I did not say "infinity"!) in the next post.

 

[Hurkyl]

Actually, there are several different aspects of your argument, each of which I'd like to address separately. The next is axiomization.

The whole reason why Cantor introduced the idea of an empty set in the first place was to avoid having to tie the concept of number to the concept of the things that are being quantified. In other words, at the that time in history it was extremely important to the mathematical community that numbers be "pure". I might add that this was much more of a religious notion than a logical one so if we want to claim that someone was being religious rather than logical we should look at the mathematical community around the time that Georg Cantor lived!

I offer a third possibility -- it was a pragmatic notion.

You say we should look at the mathematical community of the time. Well, let's look at the early 1800s: the field of analysis was blossoming at a rapid pace, directed mostly by intuition, rather than rigor. Abel had this to say in 1826:

There are very few theorems in advanced analysis which have been demonstrated in a logically tenable manner. Everywhere one finds this miserable way of concluding from the special to the general, and it is extremely peculiar that such a procedure has lead to so few of the so-called paradoxes.

One particularly interesting fact is that there was a great reluctance to accept Fourier's method of expanding functions as a trigonometric series (today a very important tool), because it was just too weird. Because there was no axiomization of analysis, Fourier could not prove his method worked.


As you can see, it was a practical necessity that led to the search for a "pure" way to define the numbers, so that results could be rigorously justified, in the spirit of Euclid.

 

[NeutronStar]

As you can see, it was a practical necessity that led to the search for a "pure" way to define the numbers, so that results could be rigorously justified, in the spirit of Euclid.

Well, I'm not sold on the idea that it was a practical necessity. I particularly believe this for the case of Euclid's Elements. While I admire Euclid's genius and totally agree with his logical structure of geometry, I genuinely don't see the need for the axiomatic method. He could have done the same thing by defining intuitively comprehensible concepts. I believe that because I can deconstruct Euclid's axioms and reconstruct them into intuitively comprehensible concepts without having to change any of his rules whatsoever. So from my point of view the mere fact that he chose to present it as an axiomatic system is totally irrelevant to me.

I do understand why he chose to use axioms rather than definitions. It's simply easier to state an axiom than to have to explain a definition to the point where everyone will comprehend it in the same way and agree on its meaning. So there is a practical aspect to axiomatic methods.

I'm actually not against axiomatic methods. I could actually state my intuitive set theory as a set of axioms also. There would be absolutely no problem with doing that. In fact, as far as I can tell any comprehensible logical system should be able to be stated in an axiomatic format.

What I do have a problem with is when a logical system is stated in axiomatic format and no one can explain it in terms of intuitively compressible ideas. That's when I step off the boat. I like things that I can comprehend. I don't like to have to learn a bunch of rules that I don't fully understand, and that lead to paradoxes that I can't even comprehend. That makes no sense to me. My first intuition is to reduce the axioms to comprehensible ideas, understand them, then put them back into axiomatic form and continue. With set theory I wasn't able to do that because the axioms don't make intuitive sense to me.

This really bothered the hell out of me for years. I struggled to make logical sense of them for literally decades. I finally concluded that they simply are nonsensical and this is why I can't make any sense of them. Then I decided to see if I could build a system that does make sense and I could. All I have to do is start with Peano's original idea of Unity (although I like to call it the property of individuality), and then define the number one on that. In essence I am defining an element first, and then I'm going to go on and define a set based on the concept of collections of elements. There can be no empty set in my theory because the whole concept of the set is based on the concept of a collection of an element. If we have no element, we can't have a set.

Ok, so it's an intuitively comprehensible theory. So what? Does that make it dangerous?

It can be stated axiomatically. Actually I never really thought about stating it axiomatically, but what would stop me from doing so. It's based on totally comprehensible ideas so all I need to do is state those idea as axioms.

I would start with the axiom that there exists an element. Then I would go on to state the axioms that define its necessary property of individuality. The property of individuality is the crucial difference between my set theory and Cantor's. Those properties. I actually have a workable axiom for that is based on the element's definition of existence. In a very real sense it is based on an operation of subtraction. Or better yet, I should say that it actually defines an operation I call subtraction. Subtraction within this primitive context cannot produce negative sets. However, as the logical system builds the concept of a negative set does come into play. That concept is explained in a relative context. In my system it is clear that there are two entirely different meanings to the negative symbol. One meaning is the relative negativity of a set with respect to a larger picture. I think of that negative sign as an adjective in the language of mathematics. The other meaning of the negative sign is to perform the operation of subtraction, in that context the symbol represents a verb in the language of mathematics.

We actually already recognize these two different meanings of the negative sign in mathematics, but few people actually think of one as an adjective describing a relative situation and the other as a verb describing the action of an operation.

In any case, I won't bore you with any more. The whole idea for me is that it works, and it works in a fully comprehensible fashion that leaves nothing undefined. Moreover, it's actually a more accurate description of the true quantitative nature of our universe. It doesn't lead to logical contradictions such as collections of things that are not collections of things. Nor does it end up leading to infinities larger than infinity, or the logical contradiction of some endless processes being more endless than other endless processes. To me that whole idea is totally absurd. Fortunately my system does not allow that. It turned out to be an unexpected consequence that I had not planned on at all.

There are other things about my system that many people might have trouble with at first. Like the idea that my system leads to the inevitable conclusion that a finite line must only contain a finite number of points. I found that hard to buy into myself at first. But after studying it for years I see now why it must be the case. It turns out that there is a very beautiful eloquent proof using this set theory and the concept of functions (which my set theory does not affect at all) that not only proves that this must be the case, but the proof itself makes it crystal clear why it must be the case. It also makes the idea very intuitively comprehensible.

Oh well, I'm spending far too much time typing this stuff in. I have other work to do. But my point is that I have no problem with axiomatic systems that make sense. I just have a problem with ones that don't make intuitive sense. Oh, by the way, using my set theory one can "prove addition". Or at least explain it in a very logical intuitive way as to clearly show why it must be the way that it is. This comes partly from that property of unity or individuality that current set theory has refused to address. Once that property is included as part of the theory addition can be proven. In other words, it can be proven that addition is a valid operation within the overall logical system. The operation of addition "falls out" of the basic concepts (or axioms) rather than being a part of them. It was actually that fact that attracted me to this thread to begin with.

But now I'm almost sorry that I responded because I really don't have time for this right now.

I supposed I've explained my position far enough. I'm really not prepared to attempt to explain my entire formalism. If I were going to do that I'd write a book about it and get paid for my time.

I'm not a mathematician. I'm a physicist. I want to get back to studying group theory and differential calculus. Unfortunately I need to know these things in order to do physics.

By the way, while mathematicians may have dropped the ball with set theory I will give them credit for doing a wonderful job with the calculus!

 

[alexkerhead]

I reckon addition is a basic skill. But can it be proved?
How?

DO this first.
Look up the definition of "addition"
then use the definition with your fingers.
take the five on your left hand, and add it to the sum of fingers on your right hand. If you are normal, you should find a sum of 10(ten) now, put 6 in the in the first varible, you have 11 then, that is a false statement based on the definition of addition..
You really don't need to worry about addition being provable, becuase you use it in the tense that we define it as.

I hope this helps.

 

[Hurkyl]

I've argued that the empty set is a legitimate concept, and I've argued the practicality of using the empty set. Now I will argue that rejecting the empty set leads to a defective set theory.


One of the more powerful features of sets is that they are able to describe hierarchies. For example, if I'm playing the towers of hanoi puzzle (but, suppose I only have the 7 discs, I don't have the base and pegs), any particular position is a multiset of sets. For example, if I have discs 1, 3, and 5 where the first peg should be, disks 2, 4, 6 where the second peg should be, and disk 7 where the third peg should be, my position is then given by:

[ {1, 3, 5}, {2, 4, 6}, {7} ]

As an aside, this demonstrates the importance of distinguishing between a set and its elements -- if the set {1, 3, 5} meant the same thing as its elements 1, 3, 5, then I lose the entire structure: I have no way of representing the fact that my collection if discs has been partitioned into three distinct parts.


Back to the main point: suppose I then move discs 2, 4, and 6 onto disc 7. Using a definition of set that permits empty sets, I can now describe the position as:

< {1, 3, 5}, {}, {2, 4, 6, 7} >

But without the concept of the empty set, I cannot accurately express this -- I have no way of specifying that there is a third place that could hold a disc, but currently isn't. Because of this deficiency, I argue that a set theory without an empty set is a defective set theory.

(p.s. the reason I said that I need a multiset of sets is to describe the solved position: < {}, {}, {1, 2, 3, 4, 5, 6, 7} >. You need a multiset to express the idea that I have two copies of the empty set)



I don't see what's incomprehensible about the ZFC axioms, except possibly the axiom of choice. (Unless, of course, you steadfastly refuse to try and internalize the notion of an empty set). They are, in "English" rather than formalism:

Two sets are equal iff they have the same elements.

For any A and B, {A, B} is a set.

If I have a set of sets, their union is also a set.

If I have a set, there is a set containing all of its subsets.

There is an empty set. (this is actually superfluous -- the next axiom shows a set exists, and the axiom after that proves the empty set exists)

There is a set of natural numbers.

If I have a set S, and a property, then there is a set containing everything in S with that property.

If {a, b, c, ...} is a set in the domain of some function f, then {f(a), f(b), f(c), ...} is a set.

A set can't contain itself, either directly or indirectly.

And the axiom of choice.


What part of it don't you understand?



And finally, you're beginning to sound awfully crackpottish:

The whole idea for me is that it works, and it works in a fully comprehensible fashion that leaves nothing undefined.

Balderdash. You, for example, never defined the terms "collection" or "element". It's an elementary fact that, unless you're using circular "definitions" you must leave something undefined.

Moreover, it's actually a more accurate description of the true quantitative nature of our universe.

This is another typical crackpot claim -- but it's only "more accurate" in capturing the way you wish to describe things. You have not, for example, performed any measurement of anything and gotten a more accurate answer than a measurement based on a theory that accepts the empty set.


I won't complain yet about "infinity" because I haven't written my response yet on that concept.

 

[matt grime]

I'm not actually having any misconceptions between naive set theory and ZF. In fact, I see them as totally separate things.

ZF may very well be a logically sound theory in its own right. But that is totally irrelevant.

then stop saying modern mathematics is flawed because of a theory that was rejected long ago.

I am only concerned with the following conditional statement:

IF "mathematics is supposed to be a good model of the quantitative nature of our universe" THEN "mathematics is logically flawed".

But who says the maths is what you think it is ?
I am a professional mathematician, paid to do research, none of what I do has the slightest bearing on the quantitative nature of the universe.

So even if ZF is perfectly logically correct, if it doesn't correctly model the quantitative nature of our universe then it doesn't really matter that it's logically sound. It's still incorrect within the context that should matter to a scientist.

I never mentioned a word about ZF because ZF did indeed toss out the idea of a set as a collection of things. That's how ZF got around the logical contradictions of Cantor original set theory. And yes, that is a way around it but at what price? In ZF the notion of a set is unbound, and undefined. This leads to paradoxes like infinities that are larger than infinities.

And so the lack of comprehension of set theory starts again. That statement is entirely false:

Cantor's notions of different infinite cardinals predates the Zermelo Frankel set theory axioms and is exist in naive set theory too. I have no need to presume my model is a model of ZF in order to demonstrate there is no bijection between N and P(N) using unrestricted comprehension as my rule for set membership.

Moreover, Skolem showed that there is a model of ZF in which every infinite set is countable (there is only one infinity, in your terms).

So are you unaware of these things or are you being deliberately antagonistic?

 

[NeutronStar]

stop saying modern mathematics is flawed because of a theory that was rejected long ago.

I actually put it into a conditional statement to show where I am coming from. I still believe very strongly in the truth of this statement.

IF "mathematics is suppose to be a correct model of the quantitative nature of our universe" THEN "mathematics is incorrect"

…none of what I do has the slightest bearing on the quantitative nature of the universe.

I personally doubt that very much. Just because you may not be consciously aware of the connection doesn't mean that it doesn't exist. I believe that if you are making any reference at all to the concept of number then there is necessarily a connection between what you are doing and the quantitative nature of the universe.

I firmly believe that any idea of number that cannot be reduced to an idea of quantity is necessarily a wrong idea. Why do I believe this? Because, for me, this is the root of the concept of number. We learned the concept of number at a very early age to be the idea of a property of a collection of individual things. This is in fact, the intuitive idea of number that we all use in everyday life. This is the nature of the concept of number.

If through the ages we have lost sight of that basic fundamental concept of number and the word number now refers to some other idea I would very much like to have someone explain to me a what that other idea is in a very intuitively comprehensible way. If they can't do that then I claim that they have no comprehensible idea at all.

What good is an idea that no one can comprehend? It's meaningless.

I have yet to run into a true number that cannot be reduced to an idea of quantity in as a property of a collection of individual things. Where, things may be quite abstract, but yet they can be shown to clearly have a property of individuality.

Now, it is true that I have run into mathematician using numerals as though they are numbers when in fact they aren't. This is a common practice actually. If I name my dog 43 is that a number? I think not. It's simply a label made up of numerals that we normally use to represent the concept of quantity. There is no quantitative property of 43 associated with my dog's name. Now if I have 43 dogs, and name them by number then the 43 can actually have a quantitative comprehensible meaning. Or maybe it's the 43rd dog that I've owned. Once again there is a quantitative context. But if I just arbitrarily name the dog "43", then that symbol has absolutely no connection with the concept of the number 43.

Numerals are not numbers. They are merely the symbols that we use to label the numbers. If you are actually working with numbers, and not just arbitrary meaningless numerals, then you must be working with quantitative ideas. Those ideas came from the observation that our universe exhibits a dependable quantitative nature. (i.e. collections of well-defined individual things combine together in dependably predicable ways) .

If you're numbers don't represent this basic concept then I question whether they actually represent the concept of number at all. What concept do they represent if not collections of individual things? Do you know? Can you explain that concept in a comprehensible way?

I have yet to meet a "meaningful" number that I couldn't explain as a collection of individual "things". Keep in mind that "things" can be quite abstract notions, all they need to possesses is a clearly defined property of individuality. They don’t need to be tangible objects. Without that clearly defined property they cannot be quantized. In other words, if you can't clearly say how many elements you have in a set, then you can hardly put a number on it. The concept of number loses its meaning.

So if your working with numbers that don't represent concepts of a collection of things then you're working with concepts that aren't really numbers at all.

You are fixated on the "definition": "a set is a collection of elements". That definition is geared for those who consider the empty collection a collection. For those like you who reject the idea of an empty collection, you should take the "definition" of set to be "a set is either a collection of elements, or the absense of a collection".

Yes, I am fixated on a comprehensible idea of number as a collection of individual things. It works for me in every case. I have yet to find a number that I cannot comprehend in this way. In fact, by giving each number this test is has helped me to understand what they actually represent. It has also revealed situations where people are using meaningless numerals thinking that they are actually numbers, like in the case of the dog named "43". The 43 is not actually a number in that context. It has no numerical meaning. It's just numerals being used as an arbitrary label.

My concern is not actually with the empty set, but rather with its consequence. By starting with an empty set as a foundation and defining the number one based on that all we are really doing is copping out on the real issue of addressing the concept of individuality. This cop out has actually worked. That is to say that elements in sets in modern set theory do not need to pass any test for their property of individuality. This is what allows us to count things that have no property of individuality thus leading to absurd results like infinite collections that are more infinite than other collections. This all comes from our lack of addressing the individuality of the elements within sets.

NOTE TO EVERYONE

I really didn't come here to be called a crackpot and antagonist.

There's no antagonism on my part. Current set theory is incorrect within the context of my conditional statement at the top of this post. I hold that this is the truth. I will hold that it is true until the day I die because I firmly believe that I have clearly discovered the truth of this.

Call me what you will. Disagree with me all you want. I know that I'm correct in my conditional statement above.

However, since I am being viewed as a crackpot and antagonist I think it's time to move on. No sense in preaching to a hostile audience. What have I got to gain from that? I didn't come here to push my theory. I simply came to point out to the original poster of this thread that current mathematics cannot prove his concerns, and I tried to explain why that is so. Then I attempted to also offer an explanation of why current mathematics can't prove his concerns, and how it can be repaired to the point where it can provide him with an answer.

It is my personal belief that pure mathematicians have lost sight of the origins of their discipline. Mathematics is definitely not a science because it does not conform to the scientific method. Any mathematician who claims that mathematics is a science is clearly wrong, yet I see them do this all the time. However, it is quite possible to design a mathematical formalism that is based on the scientific method. That is pretty much what I have proposed. Such a system is viable, and would be more phenomenological correct. Scientists should be concerned with just how accurate our language of quantity describes the actual phenomenological nature of our universe. After all, this is really the only thing that sciences uses the language of mathematics for. Why not make it phenomenologically accurate?

 

[jcsd]

I'm not actually having any misconceptions between naive set theory and ZF. In fact, I see them as totally separate things.

That's the problem though, you ARE having some major misconceptions about many areas of math and this is clear from your posts.

You have a choice you can either hold onto your misconceptions or find out why you are wrong.

 

[Hurkyl]

How does the equality relation not capture the idea of individuality? I suspect you'll have to elaborate on what that means to you and why it's relevant.



If you're arguing that mathematics has moved away from asking "what is it?" and moved towards "what can I do with it?" and "how can I represent it?", I would certainly agree, and argue wholeheartedly it's for the better.

 

[NeutronStar]

You have a choice you can either hold onto your misconceptions or find out why you are wrong.

But I'm not wrong.

I actually use mathematics everyday in probably very much the same way that you do. I don't have a problem understanding mathematics from a technical point of view. I can take derivatives, or do integration, etc, etc, etc, with the best of them. I just ignore set theory when I'm doing them. I think that most people do this. I also interpret things differently.

For example, if you and I both calculated the volume and surface area of Gabrial's Horn we'd both come up with the same results. The horn would have a finite volume and an infinite surface area.

But then if we were both asked how much paint it would take to paint the horn I'd know how much paint we need and you wouldn't.

That's because we would both interpret the results differently.

If you're arguing that mathematics has moved away from asking "what is it?" and moved towards "what can I do with it?" and "how can I represent it?", I would certainly agree, and argue wholeheartedly it's for the better.

Actually I agree that practicing mathematicians should be concerned with "What can I do with it?" and "How can I represent it". And most of you fellows are indeed practicing mathematicians so that's what you are focusing on. That's actually good.

But the question of "What is it?", or better yet, "Has it been properly defined?" are questions that should be asked by mathematicians that are developing the framework for an entire formalism (like set theory)

Everything that I have been talking about has concerned the actual defintions and rules of set theory (not how to go about using it)

But I totally agree, that once that's been done correctly then the practicing mathematicians shouldn't need to worry about having to deal with primitive concepts on a daily basis.

For example, even when we do calculus like say, taking a limit. Who thinks in terms of the formal defintion of the limit? Nobody. That's a done deal. They are more concerned with proving things about the quantities that they are studying like does it converge, diverge, etc. They don't need to go back an revist the definition of the limit each and every time they use the concept. Neither would they need to go back and revist the concepts of set theory each time they use a number.

I'm just saying that the foundation of set theory is flawed (again within the context of the conditional statement that I gave earlier). Once that's been done (and the affected rules of operations corrected) then it's a done deal and practicing mathematicians go back to doing pretty much what they've always done. The only difference is that they would veiw things differently and some results *may* change.

To be honest, I haven't found any major significant differenences *yet*. Hell, if I had I would be cashing it in for a Nobel Prize instead of sitting here typing this in.

However, I believe that such a trophy exists. Making this change in set theory will have a significant affect somewhere down the road. I believe that it will show up in the field of Group Theory actually. I wish I was more educated in that particular field.

But for the most part with normal calculations all it would really come down to is pretty much a change in intuitive comprehension of the ideas we already have.

I meantioned before, it would kind of be like relativity. It would go almost completely unnoticed for most of normal mathematics, only when things get close to the concept of infinity does it really come into play. Like in the Gabrial's Horn problem.

This really isn't a problem for practicing mathematicians. It's a problem for the more philosophical mathematicians that are concerned with the actual meaning of mathematical statements. I guess that's what philosophy is all about. But in a very real sense that's what science is all about too. When did mathematics depart from philosophy and science to such a large degree that are no longer concerned with intuitive comprehension of their concepts?

And more to the point, why should scientists rely on a mathematics that ignores intuitive comprehension when this is precisely what scientists are seeking to discover?

What scientist wouldn't give his soul to fully understand quantum mechanics intuitively? Why settle for axioms that we don't understand? Why not describe things in an way that we can understand them?

 

[selfAdjoint]

But then if we were both asked how much paint it would take to paint the horn I'd know how much paint we need and you wouldn't.

Why wouldn't he?

 

[NeutronStar]

Why wouldn't he?

Because he was probably a good student of modern mathematics.

 

[matt grime]

As far as I can tell, Neutron, you're an undergraduate or beginning graduate in physics, and you're telling me that my research must be about quantitative things and that I'm wrong?

I'm dealing with homotopy colimits in arbitrary triangulated categories. There is nothing in it that has any bearing on the real world and has any relation to the "number concept", ie quantity.

It is important that my underlying field is countable and algebraically closed - you may try constructing such a thing someday to see why it has little to do with the number concept as you understand it.

Of course this is all based upon unspecified meanings (by all parties) of what they mean by quantitative, isn't it?

Mathematics evidently isn't what you think it ought to be, what ever it is (I know few people who are prepared to say what it *is* precisely, only what it does, and occasionally what it isn't).

I called you antagonistic because you were making repeated and egregious errors that anyone could have checked were factually false, and you weren't admitting them. I don't mean the philosophical ones here but the simple facts such as you asserting that

ZF axioms create the multitude of infinities.

That patently is false by Skolem's paradox.

The different cardinalities of set theory arose *before* ZF, Cantor wrote his main works on this in the late 1800's I believe, ZF was formalized in the 20's, and I think the reference for Frankel these days is a paper in 1930.

Just like the original poster who thought that Cantor's paradoxes were somehow a product of ZF set theory you've got it all the wrong way round.

Irrespective of whether you think that maths is this or that, you've made many errors that you've failed to correct, and have insisted, based upon these plainly wrong ideas, that we aren't able to deal with the real world effectively.

In your proposition, the burden is upon you to justify why all mathematics must deal with the quantitative nature of the universe. Quantity might be one aspect of its nature, but even then you need to justify the conculsion too. All you've done is list a set of untrue assumptions you have of what others think about mathematics.

 

[NeutronStar]

As far as I can tell, Neutron, you're an undergraduate or beginning graduate in physics, and you're telling me that my research must be about quantitative things and that I'm wrong?

Actually I'm retired.

When I said that you were wrong I mean that if you are working with ideas of number and you think that they don't represent quantitative ideas then you simply must be wrong, because it is my belief that ever idea of number can be reduced to a quantitative idea. In fact, I hold that if it can't be reduced as such then it is an idea other than number.

Also, I'm not actually saying that you are wrong in the sense that you actually looked into this and came up with the wrong conclusion. I'm willing to bet that you never even tried to justify your concepts of number as quantitative ideas because, for you, it simply isn't relevant. In fact, it may well be completely irrelevant from your perspective. But it is my belief that someone could reduce your work to quantitative ideas if they choose to look at it that way, and I hold that his must necessarily be the case if your work is associated with ideas of numbers.

So it's not like you actually went out of your way to attempt to see your work in that way and then reported back that it can't be done. You just claim off the top of your head that it isn't necessary to view it that way and therefore it's irrelevant. I disagree.

I'm dealing with homotopy colimits in arbitrary triangulated categories. There is nothing in it that has any bearing on the real world and has any relation to the "number concept", ie quantity.

It sounds like an interesting study. But again, can you actually say that someone actually tried to explain it in terms of quantities and has proven that it can't be explained as such a way? I would find that extremely coincidental had someone actually performed such a study on your work.

It is important that my underlying field is countable and algebraically closed - you may try constructing such a thing someday to see why it has little to do with the number concept as you understand it.

Well, being countable and algebraically closed are certainly ideas related to the behavior of quantity so I highly suspect that if these things are important to your work that your work can indeed be reduced to quantitative ideas whether you want to believe that or not.

Of course this is all based upon unspecified meanings (by all parties) of what they mean by quantitative, isn't it?

I will grant you that. My meaning of quantitative is based on a comprehensible idea of collections of individual objects that can be shown to possesses a clear property of individuality. It is this last property of individuality that we may differ on I think.

Mathematics evidently isn't what you think it ought to be, what ever it is (I know few people who are prepared to say what it *is* precisely, only what it does, and occasionally what it isn't).

Well, my biggest problem with mathematics is that it is beginning to embrace logical formalism that are based on non-quantitative ideas. I see nothing wrong with these non-quantitative logical formalism, but way call them mathematics?

Take Boolean Algebra for example. Many people will say that this is part of mathematics. But why? It certainly has absolutely nothing to do with the idea of quantity. It's a totally different kind of logic. Now binary arithmetic is certainly a quantitative idea and belong to mathematics. But Boolean Algebra is not. Why confuse the issue? Why does mathematics need to embrace every possible logical scheme whether it has to do with ideas of number or not? That makes no sense. Also what then becomes the distinction between the word, mathematics and the word logic. Pretty soon any logical formalism will be under the umbrella of mathematics and we won't need a separate work called logic. To put that another way, mathematics will have been watered down to just become another word for logic.

I called you antagonistic because you were making repeated and egregious errors that anyone could have checked were factually false, and you weren't admitting them. I don't mean the philosophical ones here but the simple facts such as you asserting that

ZF axioms create the multitude of infinities.

That patently is false by Skolem's paradox.

The different cardinalities of set theory arose *before* ZF, Cantor wrote his main works on this in the late 1800's I believe, ZF was formalized in the 20's, and I think the reference for Frankel these days is a paper in 1930.

Just like the original poster who thought that Cantor's paradoxes were somehow a product of ZF set theory you've got it all the wrong way round.

I don't believe that I've made any errors. I've simply been misunderstood. I don't have anything the wrong way round. I'm well aware that Cantor's work came first and Zermelo and Fraenkel were influenced by that. In fact, I believe that I've even said as much somewhere in a previous post. I have looked a the ZF axiom and I see them as nothing more than formal band-aids attempting to fix up all of the logical inconsistencies of Cantor's original work. They were attempting to fix up Cantor's work, not reject it and start over. And that's precisely what they did. They put official axiomatic band-aids on Cantor's original set theory. That's all they did. They didn't correct the theory IMHO.

In fact, I usually refer to their work as the ZF Band-aid

Irrespective of whether you think that maths is this or that, you've made many errors that you've failed to correct, and have insisted, based upon these plainly wrong ideas, that we aren't able to deal with the real world effectively.

You see them as errors. I see them as misunderstandings.

In your proposition, the burden is upon you to justify why all mathematics must deal with the quantitative nature of the universe. Quantity might be one aspect of its nature, but even then you need to justify the conculsion too. All you've done is list a set of untrue assumptions you have of what others think about mathematics.

My bottom line is that any mathematics (or more correctly, any idea of number) that cannot be reduced to an idea of quantity and comprehended as a collection of individual things is simply an idea that departs from the idea that mathematics originally evolved from.

If there is more than one idea of number, then the mathematical community should be able to describe it in a comprehensible way. In my 55 years of life I have never been offered such a description, and I've spent at least 20 years of my life in college classrooms as either a student or an instructor.

If someone could describe these other ideas of number in a comprehensible way I would be quite happy to hear it. But all I get is a bunch of incompressible mush with the word abstract being used, not to imply that their idea of number can be applied to many cases, but rather to imply that their idea of number is vague and incomprehensible in an intuitive sense.

Well, all I have to say is that if someone's idea of number is vague and incomprehensible in an intuitive sense then they have an incomprehensible idea. In other words, they have no workable idea at all.

So if anyone has an intuitively comprehensible idea of number that cannot be reduced to an idea of quantity in terms of a collection of individual things, I'm all ears. I would actually treasure such an idea.

 

[Hurkyl]

You say "comprehensible" and "incomprehensible" quite a lot. Have you ever stopped to think that some people may comprehend things you do not?

To me, it appears your incomprehension seems to arise more from your desire not to comprehend than any inherent incomprehensability in the ideas.

 

[Philocrat]

I reckon addition is a basic skill. But can it be proved?
How?

Your question should have been:


HOW DOES OUR NATURAL LANGUAGE (NL) QUANTIFY THE STATES OF THE WORLD?

and as soon as you ask this question, even without any attempt to answer it, the next question that must result from this is:


HOW DOES NL ACCOUNT FOR THINGS IN DECLARATORY AND JUDGEMENTAL CLAIMS OR PROPOSITIONS?

I personally do not think that there is any need for proof, however, if you insist, NL has only one formula for doing so and that is:

y = x - 1 * x + 1

or equivalently:

y = x * x - 2

I must warn you that this does not necessarily proof anything in the formal mathematical sense. Rather, it merely accurately predicts and states the quantitative and logical structure of NL. So whenever you have a discourse with your peers, every sentence that comes out of your mouth and from your peers' mouth naturally and effortlessly quantifies the states of your world using the above single formua. Infact, this formula remains formally consistent even when you are only merely or unconsciously assuming the number of things involved or quantified in each of your statement. I am therefore suggesting that what you are trying to proof (addition) is already naturally and effortlessly taken care of in the basic quantitative and logical structure of NL.

 

[StatusX]

philocrat: what are you talking about? are you like that guy who kept talking about the triangle inequality? don't you realize that what you said makes no sense?

 

[Philocrat]

philocrat: what are you talking about? are you like that guy who kept talking about the triangle inequality? don't you realize that what you said makes no sense?

Yes, I am aware of that...it could very well be all nonesense. This is the very mistake that science makes all the time. If I say to a scientist how do things add up in the following statements;

1) Einstein is tall

2) Kate kisses anderson

3) My patient has influenza

They will think that I am talking about formal proof. The question now is: in what way do these sentences succesfully quantify the states of the world? It is our mouths that manufacture these sentences with the intention of conveying information from A to B. How do they succeed in doing this...convey the intended information to the perceiver in a manner that avoids errors, vagueness and misunderstading? Well, that is the question. I am claiming that the formula that I provided above formally quantifies the state of the world in every human uterance, even when we are talking vaguely or making references to phantoms.

In fact this quanto-logical form of NL concerns science more than anyone else. When things range numerically beyond observational range, science starts to talk about things in terms of fluxes, waves, energy and all that. Scientists do not count atomic particles on a one to one basis because they do not follow linear and predictable pathways. Hence science starts to talk about moving particlces in terms of fluxes and approximations. Well, I am suggesting that whether you can count atomic particles or not the formula that I provided above at the level of NL is not affected by your inability to do so.

Given that there is a nano-machine that can track every moving particle on its pathway (curved, linear or random) and successfully follow and count every single particle on its pathway, the native speaker of NL who is supplied with this information cannot avoid speaking about these succesfully tracked and counted particle in a manner that fully repsects the quantitative structure of NL. The Formula in NL will quantify and make judgements about those fully tracked and counted particles naturally.

 

[drcrabs]

Your question should have been:


HOW DOES OUR NATURAL LANGUAGE (NL) QUANTIFY THE STATES OF THE WORLD?

You are obviously right and i give you my uttermost apology.
I am sooo sorry.
What was i thinking?
I mean how could i have just blatantly neglected your feelings and intelligence like that?
I don't know how i am going to get to sleep at night.
Once again very sorry.
From now on all questions I ask, no, all thoughts I have, will always respect your superiority and unquestionable intelligence as I do not want to embarrass myself again.
But more importantly, I do not want to embarrass you my asking such a stupidly ludicrous question.
I hope you can forgive me for my unacceptable behaviour

 

[matt grime]

One last one for Neutron. Seeing as I deal with objects that are too large to be sets in any model of ZF*, then I think I can fairly easily claim that quantity isn't that important. Your notion of quantity appears to be that it is something associated to sets, their "size", others may disagree with you there, or at least point out that quantity is a bad word to use when talking about sets that are not finite. It is ambiguous and leads to all kinds of problems with this naive association. How does one even begin to construct cardinals of infinite sets without using the very set theory you despise? (I'm presuming that by calling it a band aid that you don't approve of it.)




* for a proof of this non-quantitative nature can I sugges Neeman, Triangulated Categories, Princeton University Press.

Note that just because I use "quantity" doesn't mean I actually prove anything about it necessarily.

And if I can study something independently of the "quantity", then by the very definition of necessity, I can categorically state that quantity *is* irrelevant. You may argue that using "quantity" might improve the work or shed new light on it, but it certainly isn't necessary. And I would argue that by making no unnecessary assumptions I am doing something good.


As to why finite fields don't have a quantity in the sense I think most people would assume it to mean (ie not that it is a set, more that it deals specifically with the properties of the set of natural numbers): quantity would imply that 1<2, 2<3 and so on, but at some point n==0, and we get n-1<0 if we do it naively. This assumption is based upon the fact that you responded in a thread about addition in the integers, and the ensuing debate about numbers as sets, and that you reject the notion of transfinite cardinals.

If you're saying that the field has a quantity because it is a set, then I cannot argue, since it is true. But as I say, I deal with categories, I deal with things that are not presumed to be sets, and indeed can be shown not to be sets - some homological functor, and not very pathological at that, sends the trivial object to one whose subobjects do not form a set.

 

[NeutronStar]

On Transfinite Qualities

I've been dying to respond to Hurkyl's comments about "comprehension" and the "incomprehensible" because I have some very meaningful and serious point to make on that topic. Unfortunately my time is limited and I'll have to put that on hold for a bit. Hopefully I'll be able to find time to come back to it because I feel that it is an extremely relevant topic.

In the meantime, I feel even more compelled to address some of Matt's comments because he is actually right on target.

One last one for Neutron. Seeing as I deal with objects that are too large to be sets in any model of ZF*, then I think I can fairly easily claim that quantity isn't that important. Your notion of quantity appears to be that it is something associated to sets, their "size", others may disagree with you there, or at least point out that quantity is a bad word to use when talking about sets that are not finite. It is ambiguous and leads to all kinds of problems with this naive association. How does one even begin to construct cardinals of infinite sets without using the very set theory you despise? (I'm presuming that by calling it a band aid that you don't approve of it.)

I actually agree with everything that you said here 100%

The main problem here is that you simply don't know me. You think that I'm just complaining about ZF because I don't like it, and that I have a very limited ability to comprehend ideas, yada, yada, yada. I don't blame you for having that initial impression of me at all because of the fact that you don't know me. However, I assure you that such an impression is far from the truth.

Yes, I do have a bone to pick with blind acceptance of ZF overall. And I do see it as a band-aid for conceptual problems that were never properly address. I see ZF as a formal way of sweeping these issues under the carpet where they will continue to be ignored for as long as ZF is so widely accepted and defended. So I see ZF as a huge rock blocking the path to a better understanding of the universe. It's nothing personal I assure you.

In any case getting back to the point. Yes I agree with you that sets have other properties besides their quantitative properties. I never really meant to imply that they don't. However, I do assert that mathematics historically began as a way to describe the quantitative nature of the universe that is exhibited by the property of sets that we have come to know as quantity. This is what gave rise to our original intuitive understanding of the nature of number. Or perhaps it would be better to stay that this is what gave rise to our intuitive understanding of ideas of quantity that we have come to know as numbers.

This intuitive idea has its basis in the idea of collections of individual things. This property of the individuality of the things in the collection has pretty much been taken for granted. Even ZF doesn't officially address it. It just kind of assumes that it exists informally.

By ignoring this all-important concept we've actually missed the whole point of the concept of number. After all, if the things in a set have no property of individuality then how can assign the set a quantitative property? It would be impossible. A set with the property of 3, for example, implies that it contains 3 occurrences of individual things. If there was no way to verify that this is the case then what would it mean to say that the set has a quantitative property of 3? It would be meaningless.

I'm saying that this all-important property of individuality has been formally ignored by modern set theory. Georg Cantor is the one who tossed this baby out with the bath water when he introduced the concept of an empty set. This was his way of avoiding having to deal with it or formally define this property of individuality. Actually, to be fair to Cantor, he actually felt that this would be a valid way to define the property of individuality. However, if you look at what he is doing closely you will see that he is not defining a individuality that is based on the concept of quantity, but rather he has defined a concept of individuality based on quality. That really is a significant difference when it's all said and done.

Let me see if I can give a more concrete example of what I'm talking about,…

And if I can study something independently of the "quantity", then by the very definition of necessity, I can categorically state that quantity *is* irrelevant. You may argue that using "quantity" might improve the work or shed new light on it, but it certainly isn't necessary. And I would argue that by making no unnecessary assumptions I am doing something good.

Ok, first let me see if I can clear up some possible miscommunication here. I have no problem with studying things that are independent of ideas of "quantity". However, if mathematics is a formalism was initially built from concepts of quantity, and you are studying non-quantitative ideas, the why use mathematics?

Well, I think the reason is obvious. Mathematics has come to be viewed as something more than a just a model of quantitative concepts. But exactly what makes us think that we should be able to do that? It originally arose from our observation that the universe behaves quantitatively, and this is what mathematics basically describes. I like to think of mathematics as a formal language that we invented to describe the quantitative nature of the universe. Because if you think about it, this is historically what it is.

So what makes us think that this logical language has any value when referring to non-quantitative ideas? I think that part of the reason actually has to do with the fact that many mathematical idea don't have any obvious connection to ideas of quantity. However, I hold that in most cases the connection actually exists if we stop and think about it long enough, it just isn't obvious sometimes. But the connection is still there.

Now in your work, you claim that there is no connection. And now that you have explained your work in more detail I actually agree with you. However you aren't working with concepts of numbers. You are working with concepts of transfinite numbers, and that's a totally different ball game!

As to why finite fields don't have a quantity in the sense I think most people would assume it to mean (ie not that it is a set, more that it deals specifically with the properties of the set of natural numbers): quantity would imply that 1<2, 2<3 and so on, but at some point n==0, and we get n-1<0 if we do it naively. This assumption is based upon the fact that you responded in a thread about addition in the integers, and the ensuing debate about numbers as sets, and that you reject the notion of transfinite cardinals.

This again comes down to more of a problem of poor (or an insufficient amount) of communication. We've only been discussing this topic on an Internet board along with other ideas that may serve to contaminant or distract from specific issues.

Yes,… I do denounce the idea of transfinite cardinality as quantitative properties of sets.

No,… I do NOT denounce the idea of transfinite cardinality in general as qualitative property of sets. In fact, I recognize it completely and actually use it to support my view in many ways.

In fact, the whole idea of infinity and how it is manifest itself in different ways is of great interest to me. I simply don't see that as a quantitative concept and question whether the formalism of mathematics is the correct formalism with which to describe it correctly.

I'll give one very quick and crude example here then I must run off, I'm spending far too much time here than I should be actually. I guess I just have no discipline!

Consider the following "three" sets, N, Q, & R. (Natural, Rationals, and , Reals)

Can we actually quantify these sets by colleting them into yet another set say, X.

If we do then what is the quantitative property of X? Well, it's pretty obvious that it must be 3 right? I mean, we collected "three" sets into yet another collection called X, therefore X must have a quantitative property of 3.

Well, this actually isn't true.

Why not?

Because N, Q and R do not have "quantitative" properties of individuality. Therefore, it makes no sense to treat them as individual elements.

But they do, we might argue! They are obviously individual things. They have individual properties. Yes, that's true. But their property of individuality does not manifest itself in a quantitative sense. It manifests itself in a "qualitative" sense that has absolutely nothing at all do to with ideas of quantity. (well that might be going a little bit overboard in this simple case actually, but I would at least argue as much and then listen intently to opposing views on that topic)

In any case, once we recognize that from the point of view of cardinality alone, N and Q represent the same thing, (that is to say that from a purely quantitative point of view there is no distinction between N and Q), then we begin to realize that "quantitative" property of X may actually be 2 and not 3 after all. So what at first appeared to be a quantity of 3 from a naïve quantitative point of view has now become a quantity of 2 from a more qualitative point of view.

Moreover, we begin to realize that we are now quantifying qualities rather than quantities. In other words, we are moving away from a quantitative form of logical reasoning into an area of logic that is based on qualitative reasoning.

Well, I really must go because I'm spending too much time here. But my point is that once we enter into the study of objects that possesses transfinite properties we are leaving the realm of quantitative analysis and moving into a realm of qualitative analysis. That's fine. That's a valid move. But what I am suggesting is that we are erroneously bringing the logic of mathematical formalism (that has actually constructed from ideas of quantity) into our formal analysis of a completely different concept of quality.

Now obviously it works to some extent. But I hold two things.

1. It is actually holding us back from making faster progress.
2. It is actually preventing use from fully comprehending these new qualitative concepts.

It's preventing use from fully comprehending these new qualitative concepts because we aren't looking at it as a brand new formalism. We are looking backward to mathematics at the old quantitative ideas and attempting to apply them to these new qualitative ideas.

I believe that the universe does indeed exhibit other qualitative property besides it's obvious quantitative property. And those properties are important, useful and of interest to study. I just think that we'd do so much better if we realize that mathematics was originally formulated to describe the quantitative nature of the universe and now these new transfinite properties of the universe deserve to have their own logical formalism focusing on them. But as long as we keep the attitude that mathematics applies to EVERYTHING we aren't going to make any progress in that area.

If I ever find time to reply to Hurkyl's comments about the "comprehensible" and "incomprehensible" I'll have more to say about this distinction between quantity and other types of qualities in the universe. For now I simply must get on to other work.

If you're saying that the field has a quantity because it is a set, then I cannot argue, since it is true. But as I say, I deal with categories, I deal with things that are not presumed to be sets, and indeed can be shown not to be sets - some homological functor, and not very pathological at that, sends the trivial object to one whose subobjects do not form a set.

This sounds interesting to me, but I'm afraid I don't fully understand what you said in this quote and I don't have time to think about it right now.

I do believe that fields can be understood via idea of quantity to some degree and they are very useful in that way. However, they may also possesses other types of qualities that cannot be expressed or understood in terms of quantity. If that's the case then wouldn't it be nice to know just how these other qualities might be comprehended intuitively if at all possible?

 

[Hurkyl]

And I do see it as a band-aid for conceptual problems that were never properly address.

The point of ZF was to address the logical problems with Cantor's set theory. It didn't address what you call conceptual problems because they were not considered problems.

I see ZF as a huge rock blocking the path to a better understanding of the universe.

I really think you need to take a step back and reevaluate things. Even if you stick to the spirit of your objections, shouldn't your problem be with the general notion of abstract formalism?

I do assert that mathematics historically began as a way to describe the quantitative nature of the universe

I would disagree. You can't neglect the importance of geometry in mathematics. It's fairly clear that, aside from simply counting, that the notion of number was essentially defined by geometry.


(note: I'm taking my best guess as what you mean by individuality)

This property of the individuality of the things in the collection has pretty much been taken for granted. Even ZF doesn't officially address it. It just kind of assumes that it exists informally.

Of course not; ZF is a set theory. If you want to know about the individuality of points, you turn to geometry. If you want to know about the individuality of integers, you turn to number theory.

he is not defining a individuality that is based on the concept of quantity, but rather he has defined a concept of individuality based on quality.

And what's wrong with that? How can one have a concept of quantity without first having a concept of quality?

it's pretty obvious that it must be 3 right?

...

has now become a quantity of 2

Let's analyze what you have done. You started with one concept of "individuality" -- presumably with respect to some algebraic property (e.g. N, Q, and R are all nonisomorphic monoids). With respect to this concept you have three distinct objects, so the set {N, Q, R} has cardinality 3.

Now, you switched to a different concept of "individuality", where cardinality was the only relevant property. With respect to this concept, N = Q, so the set {N, Q, R} has cardinality 2.


You bring this up as if it is some sort of defect, but it is certainly a common thing, even in natural language. If I ask "how many coins do you have in your pocket?" I would normally expect a different than "how many types of coins do you have in your pocket?"


Now, I have been doing my best not to actually do any math in this thread, but I think something needs to be said about this example: you really cannot be this vague about things. When you're talking about cardinalities you need to say so. {|N|, |Q|, |R|} is indeed a set of cardinality 2 because, as you mention, |N|=|Q|. {N, Q, R} is clearly a different sort of beast than {|N|, |Q|, |R|}.

 

[NeutronStar]

The point of ZF was to address the logical problems with Cantor's set theory. It didn't address what you call conceptual problems because they were not considered problems.

Agreed. And this is why I hold that ZF is a theory that cannot be conceptualized. In other words, it's incomprehensible on a conceptual level.

Whether it's logically sound at this point is moot.

I really think you need to take a step back and reevaluate things. Even if you stick to the spirit of your objections, shouldn't your problem be with the general notion of abstract formalism?

That a very difficult question to answer without a discussion on the semantics of the word "abstract". We may very well use that word to mean quite different things.

Just for a quickie because I have limited time I'll offer the following.

Abstract - A concept that can apply to many cases.

I absolutely support the general notion of abstract formalisms in this respect.

Abstract - A non-tangible object of pure thought.

Again, I have absolutely no problem with abstract concepts in this regard either. In fact, any formalism that can't deal with this would be pretty much useless.

Abstract - Unclear, ill-defined, vague or incomprehensible.

In truth I don't even agree with this definition of the word "abstract" but many people seem to take it to mean this. I totally denounce any formalism that is "abstract" by this meaning of the word. Ironically, if ZF is not concern with maintaining conceptuality then it certainly appears to fall into this category. So if this is what people mean when they say that ZF is an "abstract" theory then I say that it's pretty much worthless.

I would disagree. You can't neglect the importance of geometry in mathematics. It's fairly clear that, aside from simply counting, that the notion of number was essentially defined by geometry.

I don't neglect the importance of geometry in mathematics. I absolutely see it as an extension of the idea of quantity. After all where would geometry be without the idea of "units" and "coordinates"? Both of those are clearly quantitative ideas.

I do however disagree with the idea of a continuum. I don't see it as a necessity to geometry. I also believe that a finite line can only contain a finite number of points. But again, this doesn't really affect geometry. Finally, I believe that irrational quantities don't satisfy a conceptual idea of quantity. But once again, I don't see this as being a problem for geometry.

Numbers like Pi and all the other irrationals can simply be viewed as relationships that can't take place in reality. We can still calculate them to as many places as we so desire. Ultimately we will have to round them off eventually. Or we can create symbols like we already do to represent them if we wish to commutate the ideas precisely. But the point is that those quantities can't really exist in our universe. Pi doesn't actually exists in the universe. There are no perfect circles for example. Ultimately the universe rounds these quantities off at the quantum level.

I have no problem with geometry except its failure to recognize that a finite line can only contain a finite number of points. But that's not really a problem with geometry, that was given to geometry by the mathematics that preceded it.[/quote]

You bring this up as if it is some sort of defect, but it is certainly a common thing, even in natural language. If I ask "how many coins do you have in your pocket?" I would normally expect a different than "how many types of coins do you have in your pocket?"

YES YES YES!

Now, I have been doing my best not to actually do any math in this thread, but I think something needs to be said about this example: you really cannot be this vague about things. When you're talking about cardinalities you need to say so. {|N|, |Q|, |R|} is indeed a set of cardinality 2 because, as you mention, |N|=|Q|. {N, Q, R} is clearly a different sort of beast than {|N|, |Q|, |R|}.

Again, YES YES YES!

But now why is |N|=|Q| and neither of those equal to |R|?

Can you tell me?

 

[CrankFan]

But now why is |N|=|Q| and neither of those equal to |R|?

A bijection can be shown to exist between N and Q, and no bijection exists between N (or Q) and R.

It's extremely arrogant of you to say things like

"Yes, I do have a bone to pick with blind acceptance of ZF overall."

When you're the one who is showing ignorance of the things that you're blindly objecting to.

 

[matt grime]

Mathematics has invented one more thing that you don't appear to think it possesses: linear spaces which deals with "geometry" of a finite number of points.


Your posts seem to belie that idea that you're a platonist: that mathematics is about things that have some existential form. Mathematicians in general do not tend to adopt that philosophy. In fact the very abstraction that you think is holding us back is exactly what allows us to go forward faster. I've apparently convinced you that I'm not doing quantitative things in mathematics or thinking quantitatively, so why do you still state that mathematics is being held back by the (non-existent) dependence we have on quantity? Please also understand that although mathematicians may explain that cardinality is about quantity to the layman, that isn't what we actually think it is. And if you think that adopting Cantor's notion of cardinality has held us back, can you think of a better way of demonstrating there are real numbers that are not computible, or that there exist transcendental numbers? Or any of the many important aspects of probability theory?

Further, if geometry is a quantitative thing, ie coordinates and lengths, then if I have an idealized right angle triangle of sides 1,1 and sqrt(2), and sqrt(2) is irrational, then how come irrational numbers don't represent quantity?