From: Virgil on
In article <1161885287.076956.190220(a)i3g2000cwc.googlegroups.com>,
mueckenh(a)rz.fh-augsburg.de wrote:

> jpalecek(a)web.de schrieb:
>
> > > The model is that simple that any student in the first semester could
> > > understand it. Every paths which branches into two paths necessarily
> > > needs two additional edges for this sake. It is only your formalistic
> > > attitude that blocks your understanding. But you must not think that
> > > anybody is blocked like you.
> >
> > This looks like a proof by induction. Indeed, you can prove your
> > formula
> > by induction for FINITE paths.
>
> Thanks for admitting your understanding so far.

But it proves nothing about the cardinalities of any sets.
>
> > But for infinite ones, you must do one
> > more transfinite step.
>
> No.

Yes!

> Any real number has only finite digit positions, according to Dik

And is Dik your "Authority"?




>
> Indeed, i is not simple.

Au contraire!


> Do we need transfinite induction for all the
> reals?

Not to establish their existence.
From: Virgil on
In article <1161885731.614220.103620(a)b28g2000cwb.googlegroups.com>,
mueckenh(a)rz.fh-augsburg.de wrote:

>
> Mathematics is unavoidably tied to the universe. No mathematics without
> matter. Please visit my website on MatheRealism
> http://www.fh-augsburg.de/~mueckenh/MR.mht

The world of ideas exists within the universe, but is not constrained to
mimic it.
From: MoeBlee on
David Marcus wrote:
> mueckenh(a)rz.fh-augsburg.de wrote:
> > I guess I can see now the reason of your problems: You don't
> > understand because you are looking for a tanslation always. There is no
> > translation required. The tree is that mathematics which deserves this
> > name. It is outside of your model, independent of ZFC, but generally
> > valid and, therefore; covering ZFC too.
>
> Thank you for finally admitting that your argument can't be given within
> ZFC.

I don't recall the exact quote. If it is convenient for you, would you
quote him saying that his argument is within Z set theory? As I recall,
I sure thought that was what he said. It sure seemed clear enough to me
that he was claiming to make an argument within Z set theory, which is
the only reason I wasted my time trying to make sense of his argument.
It would be nice to have his exact words and their context right in
front of us.

MoeBlee

From: Lester Zick on
On 26 Oct 2006 13:25:43 -0700, "MoeBlee" <jazzmobe(a)hotmail.com> wrote:

>Lester Zick wrote:
>> So symbolizing various phrases gives us a mathematically exhaustive
>> definition of the phrases?
>
>We don't define the English phrases. We define symbols.

You don't define much of anything in mechanically exhaustive terms
that I can tell.

>> "Exact venue of syntax"? What the hell is that when it's at home?
>
>In the context, or setting, of pure syntax. That is, with regard to
>syntax alone.

"Pure syntax"? What is that supposed to mean?

>> >The cardinality of x = the least ordinal equinumerous with x.
>>
>> Then the accurate definition for "cardinality" would appear to be:
>> cardinality=least ordinal equinumerosity.
>
>No, because that is neither a predicate symbol nor operation symbol
>that is being defined there.

So "cardinality" is not a predicate symbol? So "least" is not a
predicate symbol? So "ordinal" is not a predicate symbol? So
"equinumerosity" is not a predicate symbol? Then what did you think
you were using to designate various predicates?

> Whatever "cardinality=least ordinal
>equinumerosity" is meant by you, the phrase is not something that
>renders a formula of set theory.

Well that I sure as hell believe. You don't know what predicate
symbols are but you sure as hell use them anyway.

>> The problem here is that you
>> were discussing "cardinality" in general terms and the best you can do
>> is define the "cardinality of x" instead.
>
>Please quote what I said about 'cardinality' in general terms that is
>not handled by my definition.

Cardinality(x)=least ordinal(y) with equinumerosity(z).

>> Or do you just run around
>> spouting "nicknames" and "single one place operations" instead of
>> defining what your talking about?
>
>Like I said, I'm giving you explanations and defintions that are from
>page 100 which requires that you have read 1-99.

Yeah, I know, Moe, like pages 1-99 are filled with nicknames and
single place operations that you prefer to use instead of exhaustive
terminology.

>Please regard any possible future silence of mine in response to
>ceratain of your posts just to be a reflection of my weariness in
>talking to someone who can only respond to my own answers by abysmally
>misconstruing them due to his own will not to even read page 1 of a
>textbook on the subject.

You mean I should disregard silence on your part as a preference for
my not justifying your own opinions on the subject of your beliefs?

~v~~
From: MoeBlee on
Lester Zick wrote:

> You mean I should disregard silence on your part as a preference for
> my not justifying your own opinions on the subject of your beliefs?

Yes. Exactly. You hold the key to all that is true.

MoeBlee