Re: Cantor's Diagonal

2007-11-20 Thread Barry Brent
by saying, "well, here's another candidate!" But Cantor's procedure disqualified *any*, repeat *any* candidate enumeration. Barry Brent On Nov 20, 2007, at 11:42 AM, Torgny Tholerus wrote: > Bruno Marchal skrev: >> But then the complementary sequence (with the 0 an

Re: Cantor's Diagonal

2007-11-21 Thread Barry Brent
That isn't a bijection. Barry On Nov 21, 2007, at 10:33 AM, Torgny Tholerus wrote: > Bruno Marchal skrev: >> Le 20-nov.-07, à 23:39, Barry Brent wrote : >>> You're saying that, just because you can *write down* the missing >>> sequence (at the beginning

elaboration Re: Cantor's Diagonal

2007-11-21 Thread Barry Brent
lerus wrote: > Bruno Marchal skrev: >> Le 20-nov.-07, à 23:39, Barry Brent wrote : >>> You're saying that, just because you can *write down* the missing >>> sequence (at the beginning, middle or anywhere else in the list), >>> it follows that there *is* no m

Re: Key Post 1, toward Church Thesis and Lobian machine

2007-12-12 Thread Barry Brent
y phd thesis (study and simulations > of a certain two-qubit procedure, a sort of benchmark). > > I guess, I'll be fine at the beginning of the New Year. > > Sincerely, > Mirek > > > > Dr. Barry Brent [EMAIL PROTECTED] http://home.earthlink.net/~barryb0/

Re: Cantor's Diagonal

2007-12-16 Thread Barry Brent
rs in the set. Thus, > D = 0,0,0,0,... > But this is the number 1 which we know was in the set to begin > with. What happened to it? > > I would suggest that the diagonal method does not find a number > which is different from all the members of a set, but rather finds

Re: Cantor's Diagonal

2007-12-16 Thread Barry Brent
e process. > They must still be in there, with definite positions, despite the > fact that their indices are now infinite and ill-defined. > > If the diagonalization process does not produce the proffered > result in this case

Re: Brent's answer to Bruno's puzzle

2007-12-17 Thread Barry Brent
g is not written in a formal language--it's written in English. The fact that this English language description is finite doesn't prove that g is computable with regard to L, ie, doesn't prove that g is one of the f_n. I'm an amateur at this--this "solution" is reall

Re: Cantor's Diagonal

2007-12-18 Thread Barry Brent
tle while, and I made my (sketchy) acquaintance with these ideas a very long time ago. Sorry if I'm way off topic. Tell me to go look it up somewhere, or stop wasting time, if you want to... Barry Brent On Dec 18, 2007, at 8:49 AM, Bruno Marchal wrote: > > > Le 17-déc.-07,

Re: Cantor's Diagonal

2007-12-19 Thread Barry Brent
Excellent, Bruno, Thanks! Barry On Dec 19, 2007, at 7:57 AM, Bruno Marchal wrote: > > Hi Barry, > > > Le 18-déc.-07, à 18:52, Barry Brent a écrit : > >> >> Bruno-- >> >> Ahh, my amateur status is nakedly exposed. I'm going to expose my &