The Math Forum

Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Math Forum » Discussions » sci.math.* » sci.math

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: ? 417 An implication of actual infinity
Replies: 4   Last Post: Jan 17, 2014 3:36 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]

Posts: 8,833
Registered: 1/6/11
Re: ? 417 An implication of actual infinity
Posted: Jan 15, 2014 2:57 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

In article <>, wrote:

> On Tuesday, 14 January 2014 23:14:55 UTC+1, wrote:

> >
> > > I am not considering the limit
> >
> >
> >
> >
> >
> > So you are not considering an infinite sum.
> >

> I am considering every natural. You say this way I never get all naturals.
> Hence your "all" is more than the set of "every".
> That is the trick of set theory. Every = potential inf. All = actual inf.

In properly expressed set theory, "for every x" = "for all x"
and whether that involves actual infiniteness or finiteness depends on
whether the set one is quantifying over is actually_infinite or
actually_finite. Tertium non datur.

> But if you claim that the set |N contains more than every natural number:
> What is this "more"?

Since every natural number has a successor, for every one ther eis a
more, and for all of them collectively there is, on any proper sset
theory, a more as well.

That WM has to ask about it only shows his ignorance,
> What differs in the infinite set |N from all FISONs with
> |{1, 2, 3, ...,n}| =< n

It is equally true that for all n in |N, |{1, 2, 3, ...,n}| >=n

> although on the RHS all n and on the LHS all FISONs appear, one after
> another? It is impossible to have more than all natural numbers, isn't it?

The set of all sets of natural numbers, 2^|N, is far "more" that the
set of all natural numbers, |N, since there are lots of injections from
|N to 2^|N, but provably none from 2^|N to |N , nor any surjections from
|N to 2^|N.

> Or is here "all" different from every?

Neither "all" nor "every" is unambiguous in WMytheology, but they both
are outside of WMytheology

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.