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: fom - 01 - preface
Replies: 35   Last Post: Dec 16, 2012 12:20 AM

 Messages: [ Previous | Next ]
 Virgil Posts: 8,833 Registered: 1/6/11
Re: fom - 01 - preface
Posted: Dec 8, 2012 5:42 PM

In article
WM <mueckenh@rz.fh-augsburg.de> wrote:

> On 8 Dez., 19:16, fom <fomJ...@nyms.net> wrote:
> > On 12/8/2012 9:08 AM, WM wrote:
> >
> > There are certain ongoing investigations
> > into the structure of mathematical proofs
> > that interpret the linguistic usage differently
> > from "mathematical logic".  You would be
> > looking for various discussions of
> > context-dependent quantification where it
> > is being related to mathematical usage.
> >
> > You will find that a statment such as
> >
> > "Fix x"
> >
> > followed by
> >
> > "Let y be chosen distinct from x"
> >
> > is interpreted relative to two
> > different domains of discourse.
> >
> > This is just how one would imagine
> > traversing from the bottom of a
> > partition lattice.

>
> A question: Do you believe that there are more than countably many
> finite words?

Only if words can be built from infinite alphabets.

> Do you believe that you can use infinite words (not finite
> descriptions of infinite sequences).

If an infinite word can be finitely referenced, just as so many infinite
decimals are finitely referenced, why not?

> Do you believe that you can put in order what you cannot distinguish?

Given any pair of decimal numerals, they can be correctly ordered in
finite time. Which requires, among other things, distinguishing them.
--

Date Subject Author
12/7/12 fom
12/8/12 Zaljohar@gmail.com
12/8/12 mueckenh@rz.fh-augsburg.de
12/8/12 fom
12/8/12 mueckenh@rz.fh-augsburg.de
12/8/12 Virgil
12/9/12 mueckenh@rz.fh-augsburg.de
12/9/12 Virgil
12/8/12 fom
12/8/12 ross.finlayson@gmail.com
12/9/12 fom
12/9/12 mueckenh@rz.fh-augsburg.de
12/9/12 fom
12/9/12 mueckenh@rz.fh-augsburg.de
12/9/12 fom
12/10/12 mueckenh@rz.fh-augsburg.de
12/10/12 Virgil
12/10/12 fom
12/10/12 ross.finlayson@gmail.com
12/11/12 fom
12/12/12 ross.finlayson@gmail.com
12/12/12 Virgil
12/16/12
12/9/12 ross.finlayson@gmail.com
12/9/12 fom
12/9/12 ross.finlayson@gmail.com
12/9/12
12/10/12 fom
12/9/12 mueckenh@rz.fh-augsburg.de
12/8/12 Virgil
12/9/12 mueckenh@rz.fh-augsburg.de
12/9/12 Virgil
12/9/12 Zaljohar@gmail.com
12/9/12 mueckenh@rz.fh-augsburg.de
12/10/12 Dan Christensen
12/11/12 fom