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 confusion even further now. That is the courageous attitude

Re: Cantor's Diagonal

2007-12-18 Thread Barry Brent
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, à 19:04, meekerdb (Brent Meeker) wrote: Bruno wrote: Exercise: What is wrong

Re: Brent's answer to Bruno's puzzle

2007-12-17 Thread Barry Brent
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 really just a question for Bruno... Barry (Barry Brent, not Brent Meeker

Re: Cantor's Diagonal

2007-12-16 Thread Barry Brent
in the ordered set. If anyone can find where I've gone wrong, please let me know. Dan Grubbs Dr. Barry Brent [EMAIL PROTECTED] http://home.earthlink.net/~barryb0/ --~--~-~--~~~---~--~~ You received this message because you are subscribed to the Google

Re: Cantor's Diagonal

2007-12-16 Thread Barry Brent
found with this method may actually be in the enumeration, but with an ill-defined index. Dan Dr. Barry Brent [EMAIL PROTECTED] http://home.earthlink.net/~barryb0/ --~--~-~--~~~---~--~~ You received this message because you are subscribed to the Google

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

2007-12-12 Thread Barry Brent
guess, I'll be fine at the beginning of the New Year. Sincerely, Mirek Dr. Barry Brent [EMAIL PROTECTED] http://home.earthlink.net/~barryb0/ --~--~-~--~~~---~--~~ You received this message because you are subscribed to the Google Groups Everything List

elaboration Re: Cantor's Diagonal

2007-11-21 Thread Barry Brent
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 missing sequence. Looks pretty wrong to me. Cantor's proof disqualifies any candidate