From: Randy Poe on

Tony Orlow wrote:
> Randy Poe wrote:
> > Tony Orlow wrote:
> >> Randy Poe wrote:
> >>> Tony Orlow wrote:
> >>>> Virgil wrote:
> >>>>> In article <45189d2a(a)news2.lightlink.com>,
> >>>>> Tony Orlow <tony(a)lightlink.com> wrote:
> >>>>>
> >>>>>> Virgil wrote:
> >>>>>>> In article <45187409(a)news2.lightlink.com>,
> >>>>>>> Tony Orlow <tony(a)lightlink.com> wrote:
> >>>>>> If so, then why do you say "There is no
> >>>>>> infinite case"?
> >>>>> Because there isn't any.
> >>>> There is no noon in the Zeno machine?
> >>> There's no ball put in at noon in the Zeno machine.
> >>>
> >>> All cases, all Zeno balls, are put in before noon.
> >>>
> >>> - Randy
> >>>
> >> At any time finitely before noon, only a finite number of balls have
> >> been processed. Do you disagree?
> >
> > I agree.
> >
> >> Are you suggesting that the vase fills
> >> at some *infinitesimal* amount of time before noon?
> >
> > No. There is no time before noon when the vase is full.
> > Let t be any time before noon. Infinitely many balls
> > will be inserted into the vase after t, but before noon.
> >
> >> How does that differ, in your view, from being *at* noon?
> >
> > Well since I also don't say "it fills at an infinitesimal
> > time before noon", there is no need to distinguish
> > one nonsensical statement from the other.
> >
>
> But, you do say it fills,

Probably not. I wouldn't know how to describe "full"
for an infinite vase.

> or empties, right?

It definitely empties, since every ball you put in is
later taken out.

> And, at the same time you
> say it does not do so at noon, nor does it do so before noon. When does
> this occur?

It doesn't. There is no last ball, so I wouldn't say there's
a point where the nonexistent last ball goes in, nor
would I say there's a full state corresponding to the
nonexistent last ball.

So the reason I don't say it's full "an infinitesimal time
before noon" or "some other time before noon" is that
I don't say it's full.

- Randy

From: Tony Orlow on
Virgil wrote:
> In article <45193afa(a)news2.lightlink.com>,
> Tony Orlow <tony(a)lightlink.com> wrote:
>
>> Virgil wrote:
>>> In article <45189e62(a)news2.lightlink.com>,
>>> Tony Orlow <tony(a)lightlink.com> wrote:
>>>
>>>> Virgil wrote:
>>>>> In article <45187864(a)news2.lightlink.com>,
>>>>> Tony Orlow <tony(a)lightlink.com> wrote:
>>>>>
>>>>>> Han de Bruijn wrote:
>>>>>>> Tony Orlow wrote:
>>>>>>>
>>>>>>>> Mike Kelly wrote:
>>>>>>>>
>>>>>>>>> Han de Bruijn wrote:
>>>>>>>>>
>>>>>>>>>> Mike Kelly wrote:
>>>>>>>>>>
>>>>>>>>>>> Han de Bruijn wrote:
>>>>>>>>>>>
>>>>>>>>>>>> Mike Kelly wrote:
>>>>>>>>>>>>
>>>>>>>>>>>>> What the hell are you talking about? Arguing with someone who
>>>>>>>>>>>>> can't
>>>>>>>>>>>>> speak English is getting aggravating.
>>>>>>>>>>>> My English is much better than your Dutch.
>>>>>>>>>>> So what? Your English is still too poor for this discussion to be
>>>>>>>>>>> fruitful.
>>>>>>>>>> Still don't get the point, huh?
>>>>>>>>>>
>>>>>>>>>> You are lacking even the most elementary form of politeness. It's
>>>>>>>>>> very
>>>>>>>>>> impolite to cut of a discussion with somebody from a foureign
>>>>>>>>>> country -
>>>>>>>>>> somebody who is doing his best to communicate with you - only
>>>>>>>>>> because
>>>>>>>>>> you are obviously superior in expressing your thoughts within your
>>>>>>>>>> own
>>>>>>>>>> mother's tongue.
>>>>>>>>> You're a very rude person yourself, Han. I generally don't feel the
>>>>>>>>> need to be civil to those who won't reciprocate.
>>>>>>>> I don't think I have ever found Han to be rude, except when he
>>>>>>>> referred to my "babbling" recently. Ahem. But anyway, while we
>>>>>>>> disagree on the actuality of any infinity, we have the open mind of
>>>>>>>> spirited debate, and feel no need to get nasty.
>>>>>>> I may be rude sometimes, but I never get _personal_ by calling somebody
>>>>>>> an "idiot" or a "crank". Tony's "babbling" translates with Euroglot as
>>>>>>> "babbelen" in Dutch, which is a word I can use here in the conversation
>>>>>>> with my collegues without making them very angry (if I say "volgens mij
>>>>>>> babbel je maar wat"). But, of course, I cannot judge the precise impact
>>>>>>> of the word in English. Apologies if it is heavier than I thought.
>>>>>> Do you have the saying, "Shallow brooks babble, and still waters run
>>>>>> deep"? I figured you picked up the usage from this forum, actually. It's
>>>>>> meant, in English, to mean you aren't making any sense. :)
>>>>>>
>>>>>>>> Furthermore, I have never had any trouble understanding what Han is
>>>>>>>> saying, except where he is using some mathematical construct with
>>>>>>>> which I am not familiar. His English is not bad, and blaming your
>>>>>>>> disagreement on his inability to communicate is kind of low.
>>>>>>> Thank you very much, Tony, for this sort of defense.
>>>>>> My pleasure. It seemed like a vacuous excuse. I get pretty sick of those
>>>>>> diversionary tactics.
>>>>>>
>>>>>>>> So, let's engage in lively debate, and maintain our civility, while
>>>>>>>> chopping each other's arguments to pieces. Of course, this can only
>>>>>>>> happen if we don't consider our arguments to be part of our anatomy.
>>>>>>>> Otherwise, it gets personal.
>>>>>>>>>>> You are misinterpreting virtually all my posts. You claim that
>>>>>>>>>>> you're
>>>>>>>>>>> not dishonest so I have to conclude you're simply incapable of
>>>>>>>>>>> comprehending written English. This makes this whole subthread
>>>>>>>>>>> pointless.
>>>>>>>>>> I have only this kind of trouble with _you_ and nobody else on the
>>>>>>>>>> web.
>>>>>>>>> Really? You've never had anybody else other than me complain that you
>>>>>>>>> misinterpret their posts? I suppose I must have hallucinated dozens
>>>>>>>>> of
>>>>>>>>> posts I've seen of just that, then.
>>>>>>>>>
>>>>>>>>> You've never had anyone other than me struggling to understand what
>>>>>>>>> the
>>>>>>>>> devil you mean by your broken English? I must have hallucinated, for
>>>>>>>>> example, "A little physics would be no idleness in mathematics", then
>>>>>>>>> :)?
>>>>>>>> Well, that's a difficult type of quote. Han - I wouldn't mind working
>>>>>>>> on exactly how you want to say that in English, if you like. :)
>>>>>>> Uhm, since litteraly everybody is complaining ... Let it be an
>>>>>>> encrypted
>>>>>>> message then :-)
>>>>>> Well, it seems to me that perhaps you're saying something like, "Those
>>>>>> with their heads in the abstract should keep their feet in the
>>>>>> concrete", though that sounds a little funny.
>>>>>>
>>>>>> Math=Science?
>>>>> Scientists, particularly those in the sciences most dependent on
>>>>> mathematics, tend to think that all mathematics is, or should be, a
>>>>> subservient to their particular fragment of science.
>>>>>
>>>>> Mathematicians know better.
>>>> Define "better". Those that work in various areas of science share a
>>>> notion which defines science. Theories which have no means of
>>>> verification are not science, but philosophy. In mathematics,
>>>> verification really consists of corroboration by other means, agreement
>>>> between different approaches. In science, where you find a contradiction
>>>> with your theory, it needs revision. So, the scientific approach to
>>>> mathematics requires some criterion for universal consistency, as
>>>> measured by the predictions of the various theories that comprise it.
>>>> Where two theories collide, one or both is in error. I think that's
>>>> better.
>>> TO mistakes misapplication of mathematics, which is an error by
>>> scientists, as an error of the mathematics.
>>>
>> That's not what I said, and you know it.
>
> When an application of mathematics to physics, or some other science,
> does not predict what actually is observed in that science, why does TO
> insist the problem is inherent in the mathematics alone and not in the
> improper application of mathematics to science?

It's not a matter of what's observed in physical science. I am saying
that the general method of science can be applied to mathematics, where
verification of a theory is through agreement with other theories as far
as conclusions are concerned. Where two theories collide, and both seem
sound, there is usually a generalization which includes both as parts,
right? Like Euclidean geometry is now a category
From: Tony Orlow on
Virgil wrote:
> In article <45193e6f(a)news2.lightlink.com>,
> Tony Orlow <tony(a)lightlink.com> wrote:
>
>> Han de Bruijn wrote:
>>> Tony Orlow wrote:
>>>
>>>> Virgil wrote:
>>>>> Mathematicians know better.
>>>> Define "better". Those that work in various areas of science share a
>>>> notion which defines science. Theories which have no means of
>>>> verification are not science, but philosophy. In mathematics,
>>>> verification really consists of corroboration by other means,
>>>> agreement between different approaches. In science, where you find a
>>>> contradiction with your theory, it needs revision. So, the scientific
>>>> approach to mathematics requires some criterion for universal
>>>> consistency, as measured by the predictions of the various theories
>>>> that comprise it. Where two theories collide, one or both is in error.
>>>> I think that's better.
>>> Precisely ! In mathematics, there are contradictory approaches, such as
>>> constructivism (Brouwer) against axiomatism (Hilbert). Its practicioners
>>> are asked to be "nice" to each other and to "reconciliate" the different
>>> points of view, which turns out to be a hopeless task. Such a situation
>>> would be unthinkable if mathematics aimed to be a science.
>>>
>>> Han de Bruijn
>>>
>> Well, Han, I'm not sure I agree with the statement that reconciliation
>> is hopeless. Is it hopeless to reconcile the wave nature of elementary
>> entities with their particle nature?
>
> It is close to hopeless to expect those who reject the law of the
> excluded middle (constructionists) and those who insist on it
> (formalists) to agree.
>

If neither can appreciate the other's point, perhaps. Some christians
get along quite well with some muslims.

The question boils down to whether 0^0 is 1. If so, constructivists are
up a creek without a paddle. If it can be considered to be 0, then they
have a point. Can it?

>
>
>> There is confusion about my "definition" of infinitesimals, because I
>> can see the validity both in nilpotent infinitesimals and in those that
>> are further infinitely divisible.
>
> Until TO can come up with an axiom system which simultaneously allows
> his infinitesimals to be both nilpotent and not, he is in trouble.
>

For purposes of measure on the finite scale, infinitesimals can be
considered nilpotent. That's all. Do you disagree?

>
>> Constructivism and Axiomatism are two sides of a coin. They can be
>> reconciled in larger framework, I think.
>
> Better men that TO will ever be have tried.

I am sure there are better men trying right now. Are you one of them? :)
From: Tony Orlow on
MoeBlee wrote:
> Tony Orlow wrote:
>> Constructivism and Axiomatism are two sides of a coin. They can be
>> reconciled in larger framework, I think.
>
> I don't know what your definition of 'axiomatism' is, but there are
> axiomatic systems for constructive mathematics.
>
> MoeBlee
>

I dunno. I was responding to Han's comment. I think he means
constructive concepts vs. axiomatic declarations.

ToeKnee
From: Tony Orlow on
David R Tribble wrote:
> Tony Orlow wrote:
>> For the sake of this argument, we can talk about infinite reals, of
>> which infinite whole numbers are a subset.
>
> What are these "infinite reals" and "infinite whole numbers" that you
> speak of so much?
>
> If you've got a set containing the finite naturals and the "infinite
> naturals", how do you define it? N is the set containing 0 and all
> of its successors, so what is your set?
>

The very same, with no restriction of finiteness. Any T-riffic number
has successor. :)

Tony