Prev: Is this "Fibonacci" fact known?
Next: .EN .TH C4.5 1 .SH NAME .PP c4.5rules \- form production rules from unpruned decision trees .SH SYNOPSIS .PP .B c4.5rules [ \fB-f\fR filestem ] [ \fB-u\fR ] [ \fB-v\fR verb ] [ \fB-F\fR siglevel ] [ \fB-c\fR cf ] [ \fB-r\fR redundancy ] .SH DESCRI
From: Jesse F. Hughes on 9 Jun 2010 17:11
WM <mueckenh(a)rz.fh-augsburg.de> writes:

> There is a list that contains every real number that can be contained
> in a list:
>
> 0
> 1
> 00
> 01
> 10
> 11
> 000
> ...
>
> Some people claim that further real numbers could be defined by
> infinite words (sequences). But that is wrong.
> It is true that a finite definition like "0,111..." or "pi" defines
> every digit of an infinite sequence and hence a real number.
> Finite definition ==> Infinite sequence
> But it is wrong to switch this implcation to
> Infinite sequence ==> Finite definition

But your list doesn't include every real that has a finite definition!

It doesn't include pi, now does it?

--
Jesse F. Hughes
"[M]oving towards development meetings for new release class viewer 5.0
and since [I]'m the only developer, easy to schedule."
--James S. Harris tweets on code development
From: herbzet on 10 Jun 2010 00:19


"Jesse F. Hughes" wrote:
> WM writes:
>
> > There is a list that contains every real number that can be contained
> > in a list:
> >
> > 0
> > 1
> > 00
> > 01
> > 10
> > 11
> > 000
> > ...
> >
> > Some people claim that further real numbers could be defined by
> > infinite words (sequences). But that is wrong.
> > It is true that a finite definition like "0,111..." or "pi" defines
> > every digit of an infinite sequence and hence a real number.
> > Finite definition ==> Infinite sequence
> > But it is wrong to switch this implcation to
> > Infinite sequence ==> Finite definition
>
> But your list doesn't include every real that has a finite definition!
>
> It doesn't include pi, now does it?

That's a keen observation, Jesse.

Please be sane -- don't feed the troll.

--
hz
 | 
Pages: 1
Prev: Is this "Fibonacci" fact known?
Next: .EN .TH C4.5 1 .SH NAME .PP c4.5rules \- form production rules from unpruned decision trees .SH SYNOPSIS .PP .B c4.5rules [ \fB-f\fR filestem ] [ \fB-u\fR ] [ \fB-v\fR verb ] [ \fB-F\fR siglevel ] [ \fB-c\fR cf ] [ \fB-r\fR redundancy ] .SH DESCRI