
Re: This Is a Failed *PROOF* that AD never produces a New Digit Sequence!
Posted:
Dec 30, 2012 8:05 PM


On Dec 31, 8:31 am, George Greene <gree...@email.unc.edu> wrote: > On Dec 29, 10:29 pm, Graham Cooper <grahamcoop...@gmail.com> wrote: > > > If you disagree with a numbered point then which one? > > Everybody disagrees WITH POINT 4, DUMBASS. IT DOESN'T FOLLOW > from anything. YOU CAN'T PROVE IT. We by contrast HAVE EASILY > proved that since for EVERY n, the nth position of the diagonal > DIFFERS from the nth R on the list AT Rn's nth position, > THE ANTIDIAGONAL *IS*NOT*ON* the list. If it WERE on, it would > have to be on it *AT* some row n. But the antidiagonal IS NOT > on the list at row n because Rn DIFFERS from the antidiagonal IN > POSITION n. > > > > > > > > > > > AD METHOD (binary version) > > Choose the number 0.a_1a_2a_3...., where a_i = 1 if the ith > > number in your list had zero in its iposition, a_i = 0 otherwise. > > > LIST > > R1= < <314><15><926><535><8979><323> ... > > > R2= < <27><18281828><459045><235360> ... > > > R3= < <333><333><333><333><333><333> ... > > > R4= < <888888888888888888888><8><88> ... > > > R5= < <0123456789><0123456789><01234 ... > > > R6= < <1><414><21356><2373095><0488> ... > > > .... > > > By breaking each infinite expansion into arbitrary finite length > > segments > > > [3] The antiDiagonal never produces a unique segment > > (all finite segments are computable) > > > [4] The antiDiagonal never produces a unique sequence > > of segments (all segment sequences are computable) > > MOST of the *infinitely*long segment sequences ARE NOT computable. > The fact that all the FINITE ones are DOES NOT IMPLY that the infinite > ones are also. > The mystery is why you would think it would. >
Point 4 inductively follows from point 3.
< <subsegment> <subsegment> <subsegment> >
this sequence of segments.
You opposing argument is that some sequence of sentences cannot be written down and placed on a stack.
INFINITE STACK OF INFINITE ESSAYS OF FINITE VOCABULARY in order to be equivalent to a BASEVOCAB List of infinite strings.
SEGMENT <=> SENTENCE
Herc

