Boolean Logic cannot deal with infinitely many objects

  • Context: Graduate 
  • Thread starter Thread starter Organic
  • Start date Start date
  • Tags Tags
    Logic
Click For Summary

Discussion Overview

The discussion centers around the limitations of Boolean logic in dealing with infinitely many objects, particularly in the context of Cantor's Diagonalization method and its implications for set theory and cardinality. Participants explore the nature of combinations lists, the mapping of infinite sequences, and the validity of Cantor's argument.

Discussion Character

  • Debate/contested
  • Technical explanation
  • Mathematical reasoning

Main Points Raised

  • Some participants propose that Cantor's Diagonalization method cannot cover all combinations lists, leading to the conclusion that 2^aleph0 = aleph0, which they argue is a contradiction.
  • Others argue that Cantor's method requires a countable list of numbers, each with a countable number of digits, and that the input for the method is the entire list, not individual numbers.
  • One participant emphasizes the need for a clear understanding of the mathematics involved before making claims about its validity.
  • There are assertions that the mapping of infinitely long sequences of 01 notations to natural numbers is flawed, particularly when considering sequences that contain infinite numbers of 1's.
  • Some participants express frustration with the communication style of others, suggesting that a more respectful and understanding approach is necessary for productive dialogue.

Areas of Agreement / Disagreement

Participants do not reach consensus on the validity of Cantor's Diagonalization method or the implications of their arguments regarding Boolean logic and infinite sets. Multiple competing views remain, with some defending Cantor's argument and others challenging its application.

Contextual Notes

There are unresolved issues regarding the definitions of combinations lists and the assumptions underlying the application of Cantor's Diagonalization method. The discussion also highlights the importance of clarity in mathematical communication.

  • #91
Providing pdfs with even more undefined terms makes it harder to understand what you are talking about.
 
Physics news on Phys.org
  • #92
  • #93
Here's a short list:

limits
potential infinity
actual infinity
emptiness
fullness
limited information model
symetric potential infinity
directed potential infinty
floating point
floating point system
extrapolation
interpolation
scales
information cells
notated information cells
specific direction
aleph0
{}
{__}

I assume that integers part and fractions part, you mean integer part and fractional part, otherwise those are also not well-defined.

Some of the terms have common mathematical definitions, but you do not use them in ways that make sense using those definitions. For example "- aleph0" does not make any sense if you mean the cardinal number \aleph_0
 
  • #94
Hilbert problems

It is known that among the list
of the 23 problem of Hilbert ( 1900 Paris)
only 3 left unsolved : 6,8,16.

So I just want to ask Organic:

Does your study in matematics
is relate to any of them?

thank you
Moshek
 
  • #95
Hi NateTG,

Thank you for your reply.

Please take this by the standard mathematical meaning:

limits
emptiness
floating point
{}
extrapolation
interpolation
scales

The other concepts can be understood from the examples in the last pdf file.

Please fill free to ask any question that you like about them.

Thank you,


Organic
 
  • #96
Hi moshek,

My ideas are deeply connected to the 6th problem.
 
  • #97
Thank you for sharing that.

Moshek:smile:
 
  • #98
Originally posted by Organic
Hi NateTG,

Thank you for your reply.

Please take this by the standard mathematical meaning:

limits
emptiness
floating point
{}
extrapolation
interpolation
scales

The other concepts can be understood from the examples in the last pdf file.

Please fill free to ask any question that you like about them.

Thank you,


Organic

Emptiness does not have a mathematical meaning.
 
  • #99
On which mathematics emptiness have no meaning?
 
  • #100
Hi master_coda,

Emptiness is the content of {}.

Without it Axiomatic set theory can't hold.
 
  • #101
Hi Organic,

I did not understand until now,
That you wan't axiomatic set theory to hold as it is today?

Are you please with P.Choen forcing method
to solve Hilbert first problem CH ?

please explain that to me.

Moshek
 
  • #102
{} is the empty set. Emptiness is a word that has a great deal of philosophical baggage that adds confusion to the issue.

For example, you seem content to define fullness as the opposite of emptiness. After all, fullness is clearly the opposite of emptiness.

Except that it isn't rigorous at all. What is fullness? The set of all sets? The set of all things?
 
  • #103
Hi moshek,

CH problem has some meaning if 2^aleph0 > aleph0, but in my first post in this thread i show that (2^aleph0 >= aleph0) = {}.
 
  • #104
Master_coda

Fullness is the highest limit of any form of information.

Emptiness is the lowest limit of any form of information.
 
  • #105
Originally posted by Organic
Master_coda

Fullness is the highest limit of any form of information.

Emptiness is the lowest limit of any form of information.

This is exactly the problem with you saying emptiness is {}, and saying that axiomatic set theory depends on it. The mathematical definition of the empty set is the set A such that x\notin A is always true, regardless of what x is.

Your definition talks about "lowest limits of information" which is just something else you haven't defined.

Then you seem to apply your non-mathematical definition to the standard definition in set theory.
 
  • #106
Master_coda,

At this point i need your help.


Zf set theory defines the empty set as:

the set A such that x not in A is always true, regardless of what x is.

If you look at this definition, then x must be some existing input form of information.

My idea go deeper then that, and start its research by including the limits of any form of information.


Can you help me to define this idea in a formal way?

Thank you.

Organic
 
Last edited:
  • #107
Originally posted by Organic

the set A such that x not in A is always true, regardless of what x is.

If you look at this definition, then x must be some existing form of information.


Why must x be an existing form of information?
 
  • #108
And what if x is Emptiness?
 
  • #109
Originally posted by Organic
And what if x is Emptiness?

Then x is not in the empty set.
 
  • #110
And what if x is Fullness?
 
  • #111
Originally posted by Organic
And what if x is Fullness?

Then x is not in the empty set.

No matter what x is, x is not in the empty set.
 
  • #112
x is the input A is the set.

the set A such that x not in A is always true, regardless of what x is.

Whet is A if x is Emptiness?

What is A if x is Fullness?

What is A if x is not Epmtiness nor Fullness?
 
  • #113
Originally posted by Organic
x is the input A is the set.

the set A such that x not in A is always true, regardless of what x is.

Whet is A if x is Emptiness?

What is A if x is Fullness?

What is A if x is not Epmtiness nor Fullness?

A is the same thing in all three cases. A is the empty set. It doesn't matter what x is.
 
  • #114
A is the same thing in all three cases. A is the empty set. It doesn't matter what x is.
Really ?

x=Eemptiness

the set A such that Emptiness not in A is always true.
 
Last edited:
  • #115
Originally posted by Organic
Really ?

x=Eemptiness

the set A such that Emptiness not in A is always true.

Of course, I'm still waiting for a mathematical definition of Emptiness from you. But however you define it, it isn't contained in the empty set.
 
  • #116
Your post is poorly written, my best guess is that this sentence is supposed to be a definition of A:

the set A such that x not in A is always true, regardless of what x is.

And if that is correct, then A has been defined; it doesn't become something different. master_coda would thus be correct.
 
  • #117
No, you used a formal definition and learned through our last posts
that this formal definition has logical holes in it that you did not close.

Please show me why do i have to define intuiative concepts like 'Emptiness' and 'Fullness'?
 
Last edited:
  • #118
Originally posted by Organic
No, you used a formal definition and learned through our last posts
that this formal definition has logical holes in it that you did not close.

Please show me why do i have to define an intuiative concepts like 'Emptiness' and 'Fullness'?

Because in math, you have to define everything. Intuitive concepts have no mathematical value until they've been formally defined.


If you use the definition Emptiness=Empty Set then it is still true that \mathrm{Emptiness}\notin\mathrm{Empty Set}.

If you define Emptiness as "the thing that is contained in the empty set" than your formal system is inconsitent.

If you provide a non-mathematical definition than there's no point in even talking about what your definition has to do with math.
 
  • #119
Please show me why do i have to define intuiative concepts like 'Emptiness' and 'Fullness'?

You wanted help expressing your ideas in a formal way. That entails defining everything.
 
  • #120
There is no such a thing like "Empty set".

All we have is the set concept, and its name is given by its content.

We cannot separate between a set's name and its content's property,
as you wrongly show in your example.
 
Last edited:

Similar threads

  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
7K
  • · Replies 24 ·
Replies
24
Views
7K