How Does Complementary Logic Redefine Mathematical Infinity?

[matt grime]

As often is the case, it is rather unclear what is being talked about, as questions provoke responses that demand more questions.


Here is as synopsis of what we've established.


The axoims of ZF are 'incorrect', in organic's opinion because of his view that the axoim for the empty set contains something unacceptable.

In response one might expect another theory to be put forward. But there isn't one.

The point arises in a semantic, non-mathematical, argument about emptiness, whatever we are supposed to assume that means.

The result is a series of bizarre postings containing little in the way opf recognizable mathematics.

What is clear is that Organic feels the logic of current mathematical thinking is inconsistent. What is also clear is that he doesn't understand much maths, as evinced by his reasoning that 'boolean logic can't cope with infinity', and the following deductions about the requirements of probability, yet he hasn't offered a way to define probability without relying on things he finds inadequate.

So, organic has posted something he states to be a theory for sets, though it seems incomplete. He also doesn't clearly understand what a model is, thinking that the sets we use somehow 'are' ZF, rather than understanding that ZF is a series of rules that our sets obey. There are other set theories out there, each has their own advantages and disadvantages.


For instance, depending on the set theory one uses, one can make different deductions about what the vanishing of ext groups means.

It is quite hard to make sense of it some times, and even harder to make Organic understand what the objections are, especially as I know very little set/model theory.

DOn't know about you, but I feel the goal-posts are constantly shifting in Organic's intents.

 

[Organic]

The logic of actual and potential infinity:

http://www.geocities.com/complementarytheory/CompLogic.pdf

http://www.geocities.com/complementarytheory/4BPM.pdf



Emptiness:

E=emptiness

oo...-nor-E-nor-E-nor-E-nor-...oo


Fullness:

F=Fullness

oo...-and-F-and-F-and-F-and-...oo



To use these two logical chains as input, we must break them
but when we break them, we no longer deal with actual infinity
but only with potential infinity of "infinitely many objects".

For example: http://www.geocities.com/complementarytheory/RiemannsLimits.pdf

Potential infinity and actual infinity are preventing each other.

Actual infinity cannot be explored by any theoretical method, therefore it is the limit of any theoretical method.

Potential infinity = theory of(actual infinity), no more.

Also fullness and emptiness are preventing each other, but they also define each other as we can see here:

http://www.geocities.com/complementarytheory/BFC.pdf

By BFC.pdf we can clearly see that Boolean and Fuzzy Logics are private cases of Complementary Logic.

Complementary Logic is based on the symmetry concept and researches its braking levels as natural part of its method.

Therefore numbers are first of all forms of symmetries that are ordered by their internal symmetrical degrees, as we can see hare:

http://www.geocities.com/complementarytheory/ET.pdf

and here:

http://www.geocities.com/complementarytheory/P0is1.pdf


Shortly speaking, the Natural numbers by Complementary Logic are Quantum structures, where the standard Natural numbers are only a one private case of some Quantum structure.

 

[Organic]

Hi Hurkyl,

Based on this, I assume you are not referring to ZF at all in this thread. Is this correct?

I take ZF as an example of non fundamental thinking about the set's concept, and I show it by ZF axiom of the empty set (x can be nothing XOR something).

 

[Organic]

Matt,

As for the paradox, it is only in YOUR opinion that there are no 'uninteresting' numbers. I didn't define what interesting meant so how can you possibly tell me what is or isn't interesting?

Yes, you wrote: "The least uninteresting number is intersting"

Therefore S = {}.

 

[matt grime]

'and' and 'nor' are logical operations defined on conditions that are true or false. So E must be a statement that is true of false, it is not a set. I mean the set of natural numbers, in both our worlds, exists, what does it mean for the set of natural numbers to be true (or false) as a statement in logic? I really should have pulled you up about misusing predicates and quantifiers before.


Standard unanswered question: explain what you mean by using the axiom of infinity induction on the list of combinations in new diagonal argument?

 

[matt grime]

Originally posted by Organic
Matt,


Yes, you told: "The least uninteresting number is intersting"

Therefore S = {}.

perhaps i should have more clearly written

the smallest 'uninteresting number' is interesting.

what's your point? How can you conclude that the set is empty? i said the set wasn't empty, i said there were uninteresting numbers.

it's a matter of opinion, that's the problem organic. i mean it might be that just being the smallest uninteresting number isn't interesting, but it might be, who can say what counts??

 

[Organic]

Matt,

Please read this:

http://www.geocities.com/complementarytheory/NewDiagonalView.pdf

Take out the relevant part that connected to your question and ask a detailed question about it.

Thank you.

 

[Organic]

Matt,

i said the set wasn't empty

So what.

If the smallest 'uninteresting number' is interesting, then S has no objects in it.

 

[matt grime]

Originally posted by Organic
Matt,

So what.

If the smallest 'uninteresting number' is interesting, then S has no objects in it.

well, done, you're beginning to see the paradox! the set of uninteresting numbers is empty and not empty. do you get it yet?

 

[matt grime]

Originally posted by Organic
Matt,

Please read this:

http://www.geocities.com/complementarytheory/NewDiagonalView.pdf

Take out the relevant part that connected to your question and ask a detailed question about it.

Thank you.

Ok, it's still the same question:

how does one get an infinitely long list using 'the axiom of infinity induction'?
that is not a meanignful statement as far as i can tell. this is page 3 paragraph 2. you've never explained this step despite me asking on at least 6 occasions that i can recall off hand.

 

[Organic]

No Matt,

S = {} or S does not exist by your definition.

If it is not empty then by your definition no object is uninteresting.

Therefore S (by your definition) does not exist, because even if one member of it is interesting then we can find the relation of each member in S to this interesting member, so all members are interesting or S has no members.

Shortly speaking no set can include its negation and survive.

 

[Organic]

Do you mean to this part?
--------------------------------------------------------------------------
We can get a combinations list of infinitely many places, by using the ZF Axiom of infinity induction, on the left side of our combinations list, by using the induction on the power_value of each column, for example:

2^0, 2^1, 2^2, 2^3, ...
--------------------------------------------------------------------------

 

[matt grime]

yes i mean that. the axiom of infinity merely tells us that there is something akin to the natural numbers in our model. how does that allow you to produce these strings, and what does it tell you about the strings so produced, and how, for that matter, are you inducting?

 

[Organic]

ZF axiom of infinty simply says: If n exists then n+1 exists.


Do you agree with that?

 

[matt grime]

and what's that got to do with what you're doing?

incidentally, in immediate prelude to that there is a mistake (well, there are many...}

you say the right column is 'based on 2^0' which is questionable, because it is 01010101. check, i think you'll find it's 11001010

 

[Organic]

Matt,

Now I see that you simply don't understand my method.


2^0=1, and 1 tells us after how many times to switch from 0 to 1 or from 1 to 0, therefore the result is 0101010101...

2^1=2, therefore the result is 001100110011...

2^2=4, therefore the result is 0000111100001111...

and so on.

 

[matt grime]

firstly, i think you'll find that the first column in your paper IS NOT 0101010...

now you've explained that, let us examine what this means - given any row it is immediate that after some point, reading right to left, that every entry is zero. This means that the list you construct has only strings that have finitely many non-zero elements in the. Thus it is some sublist of ALL strings. Clearly it is countable.

If you'd explained your method clearly this would be unimportant.

What IS important is you assertion that the list produced contains every element, that is that the diagonal argument produces something that is NOT added to the list because it is already there. Clearly that is not true. Even if only because befoer that you've misused the diagonal argument.

Incidentally, in what way have you USED the axiom of infinity INDUCTION to do anything?

 

[Organic]

Matt.

01010101... 001100110011... 0000111100001111... are columns not rows.

Now I clearly see that you simply don't read what I write in my papers.

 

[matt grime]

look at page 2, the array for n=3 and all the combinations there. you claim that the right hand column is based on 2^1 or something, that is that it ought to be 01010101. it isn't it is 1100101 how can we see that is what you say it is when it clearly isn't?

i know they're columns, where first is the rightmost. look at the rightmost column on page 2 for n=3.

 

[matt grime]

so let us assume that you've picked some ordering of the rows where you've got this pattern - which you CAN do for n=3, as you've got on page 1 and page 3, but not page 2.

So, we can produce a doubly infinite array (to the left and down) where each column is periodic ok, getting there. this is not using the infinity axiom of induction. whatever that might be - you'vr not explained that either, btw, axiom of infinity yes, but not the axiom of infinity induction.

SO? Reading across in each column gives us an element of the combination list, doesn't it? Well, as I stated before, that tells us that each element on the list, that is each row, has only finitely many non-zero entries.

How are you concluding that this list has all the elements you want on it? Cantor's diagonal argument produces something not on that list, it has infinitely many non-zero entries, you claim that this need not be added to the list because it is already on it. No it isn't - this is the basis for you deciding 2^aleph-0=aleph-0

 

[Organic]

Again you show us that you don't fully read what I write, therefore don't understand what you see.

Go back to page 1 read all of it and then read cerfully the first lines in the top of page 2.

 

[matt grime]

Have done, realized what was going on, so see the last post which i reprint here:
so let us assume that you've picked some ordering of the rows where you've got this pattern - which you CAN do for n=3, as you've got on page 1 and page 3, but not page 2.

So, we can produce a doubly infinite array (to the left and down) where each column is periodic ok, getting there. this is not using the infinity axiom of induction. whatever that might be - you'vr not explained that either, btw, axiom of infinity yes, but not the axiom of infinity induction.

SO? Reading across in each column gives us an element of the combination list, doesn't it? Well, as I stated before, that tells us that each element on the list, that is each row, has only finitely many non-zero entries.

How are you concluding that this list has all the elements you want on it? Cantor's diagonal argument produces something not on that list, it has infinitely many non-zero entries, you claim that this need not be added to the list because it is already on it. No it isn't - this is the basis for you deciding 2^aleph-0=aleph-0

 

[Organic]

Be aware that we have an ordered collection of infinitely many 01 sequences by using the ZF axiom of infinity built-in induction on the power level of 2^power_level.

Again ZF axiom of infinity: If n then n+1.

Therefore the power_level = aleph0 and we have an ordered collection of 2^aleph0 elements.

 

[matt grime]

you see, now this is where you go horribly wrong, you pass from a finite cardinal to an infinite one. YOU CANNOT DO THIS! It is not valid.

AND, you've still not said what you mean by

the ZF axiom of infinity in-built induction. What the hell is this?? On the power level 2^powerlevel, what the hell is power level??

And the axiom of infinity does not state if n then n+1

 

[Organic]

Please write the ZF axiom of infinity in English words.

 

[matt grime]

The simple interpretation is that there is an inductive set, that is we can produce a set that behaves like the natural numbers. It is bad english to say that n impies n+1. The maths states that given a set which we can label by n we can form another set which we can label n+1, by taking the union of the set labelled n with the set containing the empty set. It is your english that is most at fault, and virtue of that then your maths. It is the existence of the set indexed by n, with the set containing the empty set that implies there is a set labelled n+1, the labels being the cardinalities.


All you are doing is saying that there infinitely many natural numbers, OK.

let the r'th column of a doubly infinite array be the string of 2^r 0s, then 2^r 1s then 2^r 0s and so on. There is no need to use any axiom of infinity induction (which is...?0 merely that the naturals are infinite! There is no induction! we are not using the s'th level to define the s+1'st level, which is what an induction would be!

 

[matt grime]

Here is a more mathematical definition.


There is a set W that contains the empty set and if any set y is in W then the set containing the union of y and the set containing y is also in . By induction contains every finite integer.


from:

http://www.mtnmath.com/book/node53.html

 

[Organic]

My language is Hebrew.

Now Zf axiom of infinity is:

There is a set Omega that contains the empty set and if any set y is in Omega then the set containing the union of y and the set containing y, is also in Omega.

By induction Omega contains every integer.

So as you see, we are talking about Omega = {1,2,3,...}
and Omega is aleph0.

Therefore our collection is 2^aleph0 collection.

 

[matt grime]

No, aleph-0 is not a set. It is the cardinality of a set. Your omega is the set of natural numbers, its cardinality is Aleph-0.

The last line:

Therefore our collection is 2^aleph0 collection.


Makes little sense to me.

 

[Organic]

http://us.metamath.org/mpegif/aleph0.html

My mistake. Omega = |{1,2,3,...}|


Therefore we have an ordered collection of 2^aleph0 members.