From: Lester Zick on
On Thu, 31 Aug 2006 17:12:21 -0600, Virgil <virgil(a)comcast.net> wrote:

>In article <pvfef2du45tb18i8tpuagh4gujc81flqrd(a)4ax.com>,
> Lester Zick <dontbother(a)nowhere.net> wrote:
>
>> On Thu, 31 Aug 2006 12:20:55 -0600, Virgil <virgil(a)comcast.net> wrote:
>>
>> >In article <1157024892.614341.149030(a)e3g2000cwe.googlegroups.com>,
>> > schoenfeld.one(a)gmail.com wrote:
>> >
>
>> >> Definitions can be false too (i.e. "Let x be an even odd").
>> >
>> >That definition is not false, as it does not say that any such thing
>> >exists. Nor is it true. It is merely impossible to fulfill.
>>
>> Arbiter dicta are often difficult to fulfill but we do the best we can
>> anyway.
>
> Definitions, not being enforceable, are not 'arbiter dicta'.

So you haven't tried to enforce your definition of definitions on me?

~v~~
From: Virgil on
In article <09tgf2phsbt4dc3315sn9lf12o72s67lud(a)4ax.com>,
Lester Zick <dontbother(a)nowhere.net> wrote:

> On Thu, 31 Aug 2006 20:51:13 -0400, "Jesse F. Hughes"
> <jesse(a)phiwumbda.org> wrote:
>
> >Lester Zick <dontbother(a)nowhere.net> writes:
> >
> >> So is Virgil right or wrong that definitions in modern math can be
> >> neither true nor false?
> >
> >Of course they cannot be true or false. Definitions are stipulations;
> >that is, they specify how a term will be understood hereafter.
>
> So axioms don't stipulate how a term will be understood in the
> hereafter?

Why should axioms have to redo what definitions already do?
>
> >Clearly, definitions are not truth-bearing statements.
>
> And clearly stipulations as to how a term will be understood are not
> truth bearing statements either.

I think he's finally got it!
From: Lester Zick on
On Thu, 31 Aug 2006 23:12:06 GMT, "Dik T. Winter" <Dik.Winter(a)cwi.nl>
wrote:

>In article <1157052981.177594.80970(a)p79g2000cwp.googlegroups.com> Han.deBruijn(a)DTO.TUDelft.NL writes:
>...
> > Is that so? Lately, I found that if you have ten apples and five
> > people, then you can give everybody two apples. I checked
> > this with the axioms of arithmetic and found that 10 / 5 = 2.
>
>Interesting. What are the axioms of arithmetic?

You mean what are the undemonstrable assumptions of truth in
arithmetic?

~v~~
From: Lester Zick on
On Fri, 01 Sep 2006 11:53:20 -0400, "Jesse F. Hughes"
<jesse(a)phiwumbda.org> wrote:

>Han de Bruijn <Han.deBruijn(a)DTO.TUDelft.NL> writes:
>
>> Jesse F. Hughes wrote:
>>
>>> I thought you "checked this with the axioms of arithmetic". How
>>> could you do that if you have no idea what the axioms are?
>>
>> Oh, come on, Jesse! I checked this with arithmetic. Arithmetic is based
>> upon axioms. So I checked it with the axioms of arithmetic. No ?
>
>No.

So now conclusions of arithmetic are not even not demonstrably
inconsistent with the axioms of arithmetic?

~v~~
From: Lester Zick on
On Fri, 1 Sep 2006 11:52:14 GMT, "Dik T. Winter" <Dik.Winter(a)cwi.nl>
wrote:

>In article <e9d42$44f7dda1$82a1e228$28200(a)news1.tudelft.nl> Han de Bruijn <Han.deBruijn(a)DTO.TUDelft.NL> writes:
> > Dik T. Winter wrote:
> >
> > > In article <1157052981.177594.80970(a)p79g2000cwp.googlegroups.com>
> > > Han.deBruijn(a)DTO.TUDelft.NL writes:
> > > ...
> > > > Is that so? Lately, I found that if you have ten apples and five
> > > > people, then you can give everybody two apples. I checked
> > > > this with the axioms of arithmetic and found that 10 / 5 = 2.
> > >
> > > Interesting. What are the axioms of arithmetic?
> >
> > Have no idea. But I'm sure that 10 / 5 = 2 can be derived from them.
>
>And you said you had checked it with the axioms of arithmetic? So
>you were talking nonsense when you wrote that?

Not unless the conclusions of arithmetic are demonstrably inconsistent
with its axioms.

~v~~