The Limit Operator is not an Operator that
you can apply to any sequence and get always
something meaningful.
The Limit Operator is not what gives you
in set theory infinity from something finite
always automatically.
Thats just Nonsense "Belief" from Augsburg
Crank instituate based on Volkswagen Omellette.
In calculus and geometry, the Limit
has sometimes a meaningful meaning. Also many
notations are simply defined as limit, for
example this notation is defined as limit:
0.333...
But you cannot use it to extend finite processs
s1, s2, ... into new process steps that are
beyond those process steps n < omega,
and then invent some states somega, and expect
that this is meaningful to you. Since there is
no inference rule:
/* WMs Grand False Belief */
forall n in N P(n) => P(N)
Such a "Belief", when explicated as an axiom
would say that for every predicate where we
only know the n < omega truth values, if these
truth values are all true, then the predicate
needs also be true for omega itself. There
is no such axiom or inference rule in
FOL=+ZFC. Why should this be the case? An
arbitrary predicate can still be false at omega,
even if it is true for all n. Simplest example:
P(x) :<=> ~n = N
You have:
forall n in N P(n)
but you dont have:
~P(N)
So in general there is no inference rule:
/* WMs Grand False Belief */
forall n in N P(n) => P(N)
Post by j4n bur53WM wrote: "In set theory he gets bankrupt"
Now thats a believe. There is no proof of
forall n in N P(n) => P(N)
If you have a process s1, s2, s3, ... then
this process says nothing about somega. Thats
your believe WM, where you always go wrong.
somega = lim n->oo sn
then you have defined the process in
some way to continue.
But this is not part of set theory,
this is a "believe" of yours, since
it is a state of mind of your crank
brain. If you would instead write it
down as an additional axiom, it became
math again.
Post by WMPost by Chris M. ThomassonPost by WMThe belief in the possibility to finish infinite bijections raises the paradoxical result that Adolf A. Fraenkel explained by Laurence Sterne's novel "The life and opinions of Tristram Shandy, gentleman". [Laurence Sterne: "The life and opinions of Tristram Shandy, gentleman" (1759-1767)] "Well known is the story of Tristram Shandy who undertakes to write his biography, in fact so pedantically, that the description of each day takes him a full year. Of course he will never get ready if continuing that way. But if he would live infinitely long (for instance a countable infinity of years), then his biography would get 'ready', because every day in his life, how late ever, finally would get its description. No part of his biography would remain unwritten, for to each day of his life a year devoted to that day's description would correspond." [A. Fraenkel: "Einleitung in die Mengenlehre", 3rd ed., Springer, Berlin (1928) p. 24. A.A. Fraenkel, A. Levy: "Abstract set theory", North Holland, Amsterdam (1976) p. 30]
Sorry for not totally remembering the McDuck scenario but at what
receiving 10 $ per day and spending 1 $ per day
One would have a 9 dollar profit per day that rolls over, he keeps the
profits. How can he go bankrupt?
In set theory he gets bankrupt, i.e., he issues all his dollars like Tristram Shandy (see above) writes all his days. If this is not assumed, then also the batural numbers cannot finish the enumeration of the fractions either. Then set theory is dead. (Of course set theory is dead and never has been of any use, but if this becomes officially recognized, then all experts of set theory turn out to be no experts any longer.)
Regards, WM