On Oct 30, 4:01 pm, "Peter Webb" <webbfamilyDIEspam...@optusnet.com.au> wrote: > Graham Cooper wrote: > > On Oct 30, 1:51 pm, "Peter Webb" > > <webbfamilyDIEspam...@optusnet.com.au> wrote: > > > > No. > > > > Do you claim to have a list of all Reals? > > > I have a listable set of all Reals. > > Great. Send it to me. I will tell you at least one missing Real. > > > Do you claim to be able to examine infinite lists? > > No, I claim to be able to examine rules which apply to infinite > sequences. For example, I can tell you the sequence of Reals 1, 2, 3, > ... where the Real in position n is n interpreted as a Real number ... > does not contain 0.5, without explicitly examining every element in the > list. > > > If so, specify the infinite stream protocol of your choice. > > > Herc > > Not needed. > > Just tell us which Real appears in position n for all n. >
You want me to 'tell you' an infinite sequence?
I told you which digit appears in position 1,2,3,4,5 & 6 for reals in positions