Search All of the Math Forum:

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

Topic: Finitely definable reals.
Replies: 52   Last Post: Jan 18, 2013 2:37 PM

 Messages: [ Previous | Next ]
 mueckenh@rz.fh-augsburg.de Posts: 18,076 Registered: 1/29/05
Re: Finitely definable reals.
Posted: Jan 13, 2013 4:47 PM

On 13 Jan., 22:13, Dick <DBatche...@aol.com> wrote:
> On Friday, January 11, 2013 4:16:39 AM UTC-5, zuhair wrote:
> > Lets say that a real r is finitely definable iff there is a predicate P that is describable by a Finitary formula that is uniquely satisfied by r. Formally speaking: r is finitely definable
>
>  I think this would be more helpful if "finitely definable" were defined more carefully.

That is simple. A finitely definable item has a finite definition. A
finite definition is a definition consisting of a natural number of
characters of a finite alphabet of your choice or even of your
construction in a language of your choice or even of your
construction.

No computers or Turing machines required. Everybody can understand the
definition.

Regards, WM