Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Answer to Dik T. Winter
Replies: 441   Last Post: Feb 5, 2013 6:25 AM

 Messages: [ Previous | Next ]
 Dik T. Winter Posts: 7,899 Registered: 12/6/04
Re: Answer to Dik T. Winter
Posted: Jun 22, 2009 9:11 AM

In article <9861b377-6571-4ca1-850a-2d8dd3473a20@z5g2000vba.googlegroups.com> WM <mueckenh@rz.fh-augsburg.de> writes:
> On 19 Jun., 16:18, "Dik T. Winter" <Dik.Win...@cwi.nl> wrote:
...
> > > No. I mean exactly that: The set of finite words over a finite
> > > alphabet is countable.

> >
> > Right.
> >

> > > The set of meanings of these words, i.e., the
> > > set of languages, is countable.

> >
> > Is it? I would state that the set of meanings of each of those words can
> > indeed be countable (I do not know), nothing more.

>
> Every meaning of every word is defined by a language.
> Every language is a finite definition.
> The number of finite definitions is countable.

For each word the meaning can indeed be countable. But that does not mean
that the set of meanings for all the words in a language is countable.

> > > The set of finite alphabets is
> > > countable.

> >
> > Is it? I would state that a finite alphabet consists of a finite number
> > of disctinct symbols. Now you are actually stating that the number of
> > symbols is countable.

>
> Every symbol is finite and is defined by a finite word. Therefore the
> number of symbols and the number of finite sets of symbols is
> counatble.

I did not know that every symbol is defined by a finite word. Can you show
where I can find that result?

> > > The logic is obtained from physical objects. How else should it have
> > > come into being? Remember, even brains are physical objects.

> >
> > Yeah, I know that you have a very liberal view on what is part of physics
> > and what not. As you once wrote: that we use computers to do cryptography
> > means that we use physical objects to do cryptography, and so it is part
> > of physics...

>
> Every set of linear sets in physics is finite and has a last element.
> Therefore logic, that is obtained from physics, requires for finite
> linear sets:
> AnEm <==> EmAn..

Yeah, I know that you have a very liberal view on what is part of physics
and what not. The mathematicians have a different view.
--
dik t. winter, cwi, science park 123, 1098 xg amsterdam, nederland, +31205924131
home: bovenover 215, 1025 jn amsterdam, nederland; http://www.cwi.nl/~dik/

Date Subject Author
5/27/09 mueckenh@rz.fh-augsburg.de
5/27/09 Dik T. Winter
5/27/09 mueckenh@rz.fh-augsburg.de
5/27/09 mueckenh@rz.fh-augsburg.de
5/27/09 Virgil
5/27/09 mueckenh@rz.fh-augsburg.de
5/27/09 Virgil
5/27/09 Virgil
5/28/09 mueckenh@rz.fh-augsburg.de
5/28/09 Virgil
5/28/09 Dik T. Winter
5/28/09 G. Frege
5/28/09 Jesse F. Hughes
5/29/09 Dik T. Winter
5/29/09 G. Frege
5/29/09 Dik T. Winter
5/30/09 G. Frege
5/30/09 Jesse F. Hughes
6/2/09 Dik T. Winter
5/30/09 Jesse F. Hughes
6/1/09 mueckenh@rz.fh-augsburg.de
6/1/09 Jesse F. Hughes
6/1/09 Virgil
6/2/09 george
6/2/09 Denis Feldmann
6/2/09 Dik T. Winter
6/11/09 mueckenh@rz.fh-augsburg.de
6/11/09 Virgil
6/11/09 William Hughes
6/11/09 mueckenh@rz.fh-augsburg.de
6/11/09 Virgil
6/11/09 William Hughes
6/11/09 Guest
6/11/09 mueckenh@rz.fh-augsburg.de
6/11/09 Virgil
6/11/09 William Hughes
6/12/09 mueckenh@rz.fh-augsburg.de
6/12/09 Virgil
6/12/09 William Hughes
6/12/09 mueckenh@rz.fh-augsburg.de
6/12/09 Virgil
6/12/09 William Hughes
6/12/09 mueckenh@rz.fh-augsburg.de
6/12/09 Virgil
6/12/09 William Hughes
6/12/09 mueckenh@rz.fh-augsburg.de
6/12/09 Virgil
6/12/09 William Hughes
6/12/09 mueckenh@rz.fh-augsburg.de
6/12/09 Virgil
6/12/09 mueckenh@rz.fh-augsburg.de
6/12/09 Virgil
6/12/09 William Hughes
6/13/09 mueckenh@rz.fh-augsburg.de
6/13/09 Virgil
6/13/09 mueckenh@rz.fh-augsburg.de
6/13/09 Virgil
6/13/09 mueckenh@rz.fh-augsburg.de
6/13/09 Virgil
6/13/09 William Hughes
6/13/09 mueckenh@rz.fh-augsburg.de
6/13/09 Virgil
6/13/09 William Hughes
6/13/09 mueckenh@rz.fh-augsburg.de
6/13/09 Virgil
6/13/09 William Hughes
6/13/09 mueckenh@rz.fh-augsburg.de
6/13/09 Virgil
6/13/09 William Hughes
6/13/09 mueckenh@rz.fh-augsburg.de
6/13/09 Virgil
6/14/09 Owen Jacobson
6/14/09 Virgil
6/13/09 mueckenh@rz.fh-augsburg.de
6/13/09 Virgil
6/13/09 William Hughes
6/13/09 mueckenh@rz.fh-augsburg.de
6/13/09 Virgil
6/13/09 William Hughes
6/14/09 mueckenh@rz.fh-augsburg.de
6/14/09 Virgil
6/14/09 William Hughes
6/14/09 mueckenh@rz.fh-augsburg.de
6/14/09 Virgil
6/14/09 William Hughes
6/14/09 mueckenh@rz.fh-augsburg.de
6/14/09 Virgil
6/14/09 William Hughes
6/14/09 mueckenh@rz.fh-augsburg.de
6/14/09 Virgil
6/14/09 mueckenh@rz.fh-augsburg.de
6/14/09 Virgil
6/14/09 William Hughes
6/14/09 mueckenh@rz.fh-augsburg.de
6/14/09 Virgil
6/14/09 William Hughes
6/15/09 mueckenh@rz.fh-augsburg.de
6/15/09 Virgil
6/15/09 William Hughes
6/15/09 mueckenh@rz.fh-augsburg.de
6/15/09 Virgil
6/15/09 William Hughes
6/15/09 mueckenh@rz.fh-augsburg.de
6/15/09 Virgil
6/15/09 mueckenh@rz.fh-augsburg.de
6/15/09 Virgil
6/15/09 William Hughes
6/15/09 mueckenh@rz.fh-augsburg.de
6/16/09 Virgil
6/16/09 mueckenh@rz.fh-augsburg.de
6/16/09 Virgil
2/5/13
6/16/09 William Hughes
6/16/09 mueckenh@rz.fh-augsburg.de
6/16/09 Virgil
6/16/09 William Hughes
6/16/09 mueckenh@rz.fh-augsburg.de
6/16/09 Virgil
6/16/09 mueckenh@rz.fh-augsburg.de
6/16/09 Virgil
6/16/09 William Hughes
6/17/09 mueckenh@rz.fh-augsburg.de
6/17/09 Virgil
6/17/09 mueckenh@rz.fh-augsburg.de
6/17/09 Virgil
6/17/09 William Hughes
6/17/09 mueckenh@rz.fh-augsburg.de
6/17/09 Virgil
6/17/09 William Hughes
6/17/09 mueckenh@rz.fh-augsburg.de
6/17/09 Virgil
6/17/09 William Hughes
6/17/09 mueckenh@rz.fh-augsburg.de
6/17/09 Virgil
7/17/09 scriber77@yahoo.com
6/17/09 William Hughes
6/17/09 mueckenh@rz.fh-augsburg.de
6/17/09 Virgil
6/17/09 William Hughes
6/17/09 mueckenh@rz.fh-augsburg.de
6/17/09 Virgil
6/17/09 mueckenh@rz.fh-augsburg.de
6/17/09 Owen Jacobson
6/17/09 Virgil
6/17/09 William Hughes
6/18/09 mueckenh@rz.fh-augsburg.de
6/18/09 Virgil
6/18/09 William Hughes
6/18/09 mueckenh@rz.fh-augsburg.de
6/18/09 Virgil
6/18/09 William Hughes
6/19/09 mueckenh@rz.fh-augsburg.de
6/19/09 Virgil
6/19/09 mueckenh@rz.fh-augsburg.de
6/19/09 Virgil
6/19/09 William Hughes
6/19/09 mueckenh@rz.fh-augsburg.de
6/19/09 Virgil
6/19/09 William Hughes
6/19/09 mueckenh@rz.fh-augsburg.de
6/19/09 Virgil
6/19/09 William Hughes
6/19/09 mueckenh@rz.fh-augsburg.de
6/19/09 Virgil
6/19/09 William Hughes
6/20/09 mueckenh@rz.fh-augsburg.de
6/20/09 Virgil
6/20/09 William Hughes
6/20/09 mueckenh@rz.fh-augsburg.de
6/20/09 Virgil
6/20/09 William Hughes
6/20/09 mueckenh@rz.fh-augsburg.de
6/20/09 Virgil
6/20/09 William Hughes
6/20/09 george
6/20/09 george
6/20/09 Virgil
6/20/09 george
6/2/09 george
6/2/09 Jesse F. Hughes
6/3/09 george
6/3/09 mueckenh@rz.fh-augsburg.de
6/3/09 george
6/3/09 Virgil
6/3/09 Guest
6/3/09 Marshall
6/3/09 Jack Markan
6/3/09 Dik T. Winter
6/3/09 Guest
6/7/09 mueckenh@rz.fh-augsburg.de
6/7/09 Virgil
6/7/09 mueckenh@rz.fh-augsburg.de
6/7/09 Virgil
6/8/09 mueckenh@rz.fh-augsburg.de
6/8/09 Virgil
6/9/09 mueckenh@rz.fh-augsburg.de
6/9/09 Virgil
6/9/09 William Hughes
6/9/09 Virgil
6/10/09 mueckenh@rz.fh-augsburg.de
6/10/09 Virgil
6/10/09 mueckenh@rz.fh-augsburg.de
6/10/09 Virgil
6/10/09 mueckenh@rz.fh-augsburg.de
6/10/09 William Hughes
6/11/09 mueckenh@rz.fh-augsburg.de
6/11/09 Virgil
6/11/09 William Hughes
6/11/09 mueckenh@rz.fh-augsburg.de
6/11/09 Rainer Rosenthal
6/11/09 Virgil
6/11/09 mueckenh@rz.fh-augsburg.de
6/11/09 Virgil
6/11/09 Dik T. Winter
6/11/09 William Hughes
6/11/09 mueckenh@rz.fh-augsburg.de
6/11/09 Virgil
6/11/09 Dik T. Winter
6/12/09 mueckenh@rz.fh-augsburg.de
6/12/09 Virgil
6/19/09 Dik T. Winter
6/19/09 mueckenh@rz.fh-augsburg.de
6/19/09 Virgil
6/19/09 Virgil
6/22/09 Dik T. Winter
6/25/09 mueckenh@rz.fh-augsburg.de
6/25/09 Virgil
6/30/09 Dik T. Winter
6/30/09 mueckenh@rz.fh-augsburg.de
7/1/09 Dik T. Winter
7/1/09 Guest
7/2/09 mueckenh@rz.fh-augsburg.de
7/2/09 Virgil
6/12/09 mueckenh@rz.fh-augsburg.de
6/12/09 Rainer Rosenthal
6/12/09 Virgil
6/12/09 mueckenh@rz.fh-augsburg.de
6/12/09 Guest
6/12/09 Rainer Rosenthal
6/12/09 Virgil
6/3/09 george
6/3/09 Dik T. Winter
5/28/09 William Hughes
5/29/09 mueckenh@rz.fh-augsburg.de
5/29/09 Virgil
5/30/09 mueckenh@rz.fh-augsburg.de
5/30/09 Virgil
5/31/09 mueckenh@rz.fh-augsburg.de
5/31/09 Virgil
6/2/09 Dik T. Winter
6/2/09 Virgil
6/3/09 mueckenh@rz.fh-augsburg.de
6/3/09 Virgil
6/7/09 mueckenh@rz.fh-augsburg.de
6/7/09 Virgil
6/3/09 mueckenh@rz.fh-augsburg.de
6/3/09 Virgil
6/3/09 Dik T. Winter
6/7/09 mueckenh@rz.fh-augsburg.de
6/7/09 Virgil
6/11/09 Dik T. Winter
6/11/09 mueckenh@rz.fh-augsburg.de
6/11/09 Virgil
6/11/09 Dik T. Winter
6/12/09 mueckenh@rz.fh-augsburg.de
6/12/09 Virgil
6/19/09 Dik T. Winter
6/19/09 mueckenh@rz.fh-augsburg.de
6/19/09 Virgil
6/22/09 Dik T. Winter
6/25/09 mueckenh@rz.fh-augsburg.de
6/25/09 Virgil
6/30/09 Dik T. Winter
6/30/09 mueckenh@rz.fh-augsburg.de
6/30/09 MeAmI.org
6/30/09 Virgil
7/1/09 Dik T. Winter
7/2/09 G. Frege
7/2/09 Dik T. Winter
7/2/09 herb z
7/2/09 Dik T. Winter
7/2/09 herb z
7/2/09 G. Frege
7/3/09 Aatu Koskensilta
7/3/09 Daryl McCullough
7/2/09 G. Frege
7/2/09 G. Frege
7/2/09 G. Frege
7/2/09 Jack Markan
7/2/09 G. Frege
7/2/09 Jack Markan
7/2/09 G. Frege
7/2/09 Jack Markan
7/3/09 Dik T. Winter
7/3/09 G. Frege
7/3/09 Dik T. Winter
7/3/09 G. Frege
7/4/09 Aatu Koskensilta
7/6/09 Dik T. Winter
7/6/09 G. Frege
7/6/09 Dik T. Winter
7/6/09 Jesse F. Hughes
7/3/09 mueckenh@rz.fh-augsburg.de
7/3/09 Virgil
7/2/09 G. Frege
7/2/09 Virgil
7/2/09 mueckenh@rz.fh-augsburg.de
7/2/09 ross.finlayson@gmail.com
7/2/09 mueckenh@rz.fh-augsburg.de
7/2/09 Jack Markan
7/2/09 Jack Markan
7/2/09 Virgil
7/2/09 ross.finlayson@gmail.com
7/2/09 Jack Markan
7/2/09 ross.finlayson@gmail.com
7/6/09 Jack Markan
7/6/09 ross.finlayson@gmail.com
7/6/09 Jack Markan
7/6/09 ross.finlayson@gmail.com
7/6/09 Jack Markan
6/8/09 mueckenh@rz.fh-augsburg.de
6/8/09 Virgil
6/9/09 Jack Markan
6/9/09 Jack Markan
6/9/09 Virgil
6/11/09 mueckenh@rz.fh-augsburg.de
6/11/09 Virgil
6/11/09 William Hughes
6/11/09 Virgil
6/11/09 mueckenh@rz.fh-augsburg.de
6/11/09 Virgil
6/11/09 mueckenh@rz.fh-augsburg.de
6/11/09 mueckenh@rz.fh-augsburg.de
6/11/09 Virgil
6/11/09 mueckenh@rz.fh-augsburg.de
6/11/09 Virgil
6/12/09 herb z
6/12/09 Virgil
6/12/09 Owen Jacobson
6/12/09 Virgil
6/12/09 mueckenh@rz.fh-augsburg.de
6/12/09 Virgil
6/11/09 Virgil
6/11/09 Dik T. Winter
6/11/09 William Hughes
6/11/09 mueckenh@rz.fh-augsburg.de
6/11/09 YBM
6/11/09 Virgil
6/11/09 Dik T. Winter
6/12/09 mueckenh@rz.fh-augsburg.de
6/12/09 Virgil
6/12/09 mueckenh@rz.fh-augsburg.de
6/12/09 Virgil
6/19/09 Dik T. Winter
6/19/09 mueckenh@rz.fh-augsburg.de
6/19/09 Virgil
6/22/09 Dik T. Winter
6/25/09 mueckenh@rz.fh-augsburg.de
6/25/09 Virgil
6/30/09 Dik T. Winter
6/30/09 Virgil
6/30/09 Guest
6/30/09 mueckenh@rz.fh-augsburg.de
7/1/09 Dik T. Winter
6/11/09 mueckenh@rz.fh-augsburg.de
6/11/09 Virgil
6/3/09 mueckenh@rz.fh-augsburg.de
6/3/09 Virgil
6/3/09 Dik T. Winter
6/7/09 mueckenh@rz.fh-augsburg.de
6/7/09 Virgil
6/11/09 Dik T. Winter
6/3/09 george
5/29/09 mueckenh@rz.fh-augsburg.de
5/29/09 Virgil
5/30/09 mueckenh@rz.fh-augsburg.de
5/30/09 Virgil
5/31/09 mueckenh@rz.fh-augsburg.de
5/31/09 Virgil
5/31/09 Guest
5/27/09 Virgil
5/28/09 mueckenh@rz.fh-augsburg.de
5/28/09 Virgil
5/30/09 mueckenh@rz.fh-augsburg.de
5/30/09 Virgil
5/30/09 Virgil
5/30/09 Virgil
5/30/09 Virgil
5/27/09 mueckenh@rz.fh-augsburg.de
5/27/09 David C. Ullrich
5/27/09 Virgil
5/27/09 Guest
5/27/09 mueckenh@rz.fh-augsburg.de
5/28/09 mueckenh@rz.fh-augsburg.de
5/28/09 Virgil
5/29/09 Peter Webb
5/29/09 Virgil
5/29/09 mueckenh@rz.fh-augsburg.de
5/29/09 Virgil
5/29/09 Peter Webb
5/30/09 mueckenh@rz.fh-augsburg.de
5/30/09 Virgil
5/30/09 Peter Webb
5/31/09 mueckenh@rz.fh-augsburg.de
5/31/09 Virgil
5/31/09 mueckenh@rz.fh-augsburg.de
5/31/09 Peter Webb
5/31/09 Virgil
6/1/09 mueckenh@rz.fh-augsburg.de
6/1/09 David Bernier
6/1/09 Jack Markan
6/1/09 Virgil
6/2/09 george
6/1/09 mueckenh@rz.fh-augsburg.de
6/1/09 Virgil
6/2/09 george
6/2/09 george
6/2/09 george
6/3/09 george
6/12/09 Guest
2/5/13
6/14/09 mueckenh@rz.fh-augsburg.de
6/14/09 Virgil
6/14/09 mueckenh@rz.fh-augsburg.de
6/14/09 Virgil
6/15/09 Owen Jacobson
6/15/09 Virgil
6/15/09 mueckenh@rz.fh-augsburg.de
6/15/09 Owen Jacobson
6/15/09 Virgil
6/15/09 Virgil
6/16/09 MeAmI.org
6/16/09 mueckenh@rz.fh-augsburg.de
6/16/09 Virgil
6/18/09 mueckenh@rz.fh-augsburg.de
6/18/09 Virgil
6/20/09 Guest