From: George Greene on
On Jul 10, 12:28 pm, Wolf K <weki...(a)sympatico.ca> wrote:
> Infinity is not a limit.

At this point I could say something about "that nonsense that passes
for
Algebra II in 11th grade", but I'm trying not to.

You need a clearer understanding about WHERE we are, formal-system-
wise.
A lot of the time, around HERE, we are in first-order ZFC, where ONE
OF THE AXIOMS
basically asserts the existence of something called a LIMIT Ordinal,
namely, an
ordinal that is closed under successor. That IS a limit. The
smallest infinity is in fact
THE ARCHETYPAL limit-ordinal. That's not quite the same thing as "a
limit"
but it's CERTAINLY an ADEQUATE defense against your curt dismissal
here.

From: K_h on

"Curt Welch" <curt(a)kcwc.com> wrote in message
news:20100711120058.644$rX(a)newsreader.com...
> "K_h" <KHolmes(a)SX729.com> wrote:
>> In regular arithmetic 4+5=9 is true but Curt was claiming
>> that there is some tiny chance it could be wrong in regular arithmetic.
>> Curt is obviously wrong there.
>
> If you limit the scope of the measure of "truth" to "in regular arithmetic"
> then you are correct, it's an absolute truth. I was not talking about "in
> regular arithmetic". I was talking about "in life". I was talking about
> reality vs the fairy tale stories we make up called "in regular
> arithmetic". In the stories we make up, we pretend that absolute truth can

The truth embodied in 4+5=9 is an absolute truth in life. It is not a "fairy
tale". This is all obvious.

> and does exist, and all of math takes place in that fairy tale land. It's
> highly useful and important to do math under that belief. But what's
> invalid, is to assume the lies we use to do math, actually happen (or
> exist) in the real world.

Mathematical truth exists in the real world and those truths are not lies.
Again, this is obvious.

> I can produce language that describes a reality where pink flying elephants
> with no mass exist. But no one is going to get confused about whether the
> reality I am talking about actually exists in our universe or not. It's
> just a story I made up by taking things that do exist in our universe, and
> combining them in a way that has never been seen, and which is highly
> unlikely to ever be seen in our universe. That's how the idea of absolute
> truth was created as well.

No, there are absolute truths of the universe, for example conservation of
electric charge.

> But yet, somehow, many people get so engrossed in the stores we make up as
> we talk the language of mathematics, they start to believe the world of
> mathematics is not just a story, but that it actually exists. That it not
> only exists, but that it "lives on" even after all the story tellers die
> off. It is as if they believe the pink elephants exist and live on
> forever, even after everyone that's heard the story has died off.

No, because mathematical truth is discovered not invented. An alien on another
planet must also discover the same prime numbers that humans have. I was going
to reply to another post of yours but decided to paste it here instead. You
claim:

> So what physical thing are you making reference to when you say truth
> embodied in the statement 2x7=14 lives on?
>
> My point is that the physical universe is the only existence here. And if
> we are suggesting something actually exists, and "lives on" we _must_ be
> making reference to some physical attribute of the universe. So what
> physical attribute of the universe do you think is the truth embodied in
> that particular lagniappe statement?

What is your definition of physical? Why do you think that "lives on" must be a
"physical" attribute and what do you mean by "lives"? Your claim that the
universe is the "only existence here" is not a testable hypothesis and so it is
an unscientific hypothesis.

> some internal representation of separate "objects". Once you have one of
> these machines, we get closer to the truth embodied in 2x7=14,. But
> without that machine, that "truth" really doesn't exist at all.

Nonsense. You just claim the truth embodied in 2x7=14 doesn't actually exist and
that is plainly untrue. Marshall, thanks for the heads-up on Nam; it looks like
Curt is another Nam.

_


From: K_h on

"Transfer Principle" <lwalke3(a)lausd.net> wrote in message
news:ea13e664-c127-4d99-98cd-c9855fe61d16(a)w12g2000yqj.googlegroups.com...
On Jul 9, 6:22 am, Wolf K <weki...(a)sympatico.ca> wrote:
>
> that set theorists reject axioms that violate their notions of reality
> all the time. For example, they reject V=L because it's too
> restrictive and say that it's not "really true." If set theorist can

I doubt if they are saying it is untrue although some have doubts about it. V=L
is a plausible axiom.

> reject "V=L," then Herc can reject the Axiom of Infinity.

He is free to reject it if he likes. But we need to make a distinction here
between somebody simply stating their beliefs as opposed to somebody trying to
convince others to believe something. Justification is required for the latter
but not the former. So if Herc wants other to reject the axiom of infinity then
the explanatory obligation falls on him. To me, it is self-evident that the
axiom of infinity is true. Simple examples for it are the non-repeating numerals
of, for example, the square root of 2. Algorithms for root 2 allow one to
exactly define the nth numeral in its decimal expansion.

_


From: Nam Nguyen on
K_h wrote:

>
> The truth embodied in 4+5=9 is an absolute truth in life. It is not a "fairy
> tale". This is all obvious.

Can you define what an absolute truth is? Or are you just saying "absolute
truth" as a religious mantra without a clue to what it means?

>
>> and does exist, and all of math takes place in that fairy tale land. It's
>> highly useful and important to do math under that belief. But what's
>> invalid, is to assume the lies we use to do math, actually happen (or
>> exist) in the real world.
>
> Mathematical truth exists in the real world and those truths are not lies.

Statement like yours above is a lie because mathematical truth exists in
a real world. Unless you don't really know what the real world is which
is quite possible given what you've said.

> Again, this is obvious.

It's quite obvious you have a delusion and couldn't recognize mathematical
truths don't exist in the real world. Cranks also say similar things too.

> Marshall, thanks for the heads-up on Nam; it looks like
> Curt is another Nam.

Two idiotic ramblings (yours and Marshall's) that never make a better one.


--
---------------------------------------------------
Time passes, there is no way we can hold it back.
Why, then, do thoughts linger long after everything
else is gone?
Ryokan
---------------------------------------------------
From: |-|ercules on
"K_h" <KHolmes(a)SX729.com> wrote >
> "Transfer Principle" <lwalke3(a)lausd.net> wrote in message ...
> On Jul 9, 6:22 am, Wolf K <weki...(a)sympatico.ca> wrote:
>>
>> that set theorists reject axioms that violate their notions of reality
>> all the time. For example, they reject V=L because it's too
>> restrictive and say that it's not "really true." If set theorist can
>
> I doubt if they are saying it is untrue although some have doubts about it. V=L is a plausible axiom.
>
>> reject "V=L," then Herc can reject the Axiom of Infinity.
>
> He is free to reject it if he likes. But we need to make a distinction here between somebody simply stating their beliefs as
> opposed to somebody trying to convince others to believe something. Justification is required for the latter but not the former.
> So if Herc wants other to reject the axiom of infinity then the explanatory obligation falls on him. To me, it is self-evident
> that the axiom of infinity is true. Simple examples for it are the non-repeating numerals of, for example, the square root of 2.
> Algorithms for root 2 allow one to exactly define the nth numeral in its decimal expansion.


There's 2 points.

1/ As the length of the sequence of natural numbers -> oo
the values of the natural numbers -> oo

This is analogous to the equation y = x where you claim x reaches infinity but not y.

2/ There is no infinity in calculus. Yet in set theory it EXISTS!

So what is oo?
First of all, it is just a symbol for the concept of growing without bound. Instead of saying "let x (or n) grow without bound",
mathematicians often say "let x (or n) tend to infinity" or "as x (or n) tends to infinity."
http://www.cut-the-knot.org/WhatIs/Infinity/BigNumber.shtml

Herc