Re: SUMMARY

2008-01-31 Thread Mirek Dobsicek
> Time for the Kleene diagonal argument. Opps, a language L that I dreamt > of does not exist. I have to relax from the condition that M on E_i > always return a number in a finite time. Well, what to return if not a > number ... nothing -> M experiences an infinite loop. > > What a world, ok

Re: SUMMARY

2008-01-31 Thread Bruno Marchal
Hi Mirek, Le 30-janv.-08, à 13:42, Mirek Dobsicek a écrit : > > > Hi Bruno and everybody, > >>> I >>> hope to send my comments and/or 'OK' sign :-) on Monday. >> >> Take it easy. There is no deadline on the list. > > Making a declaration helps me to get things done. Yet I'm late. > Whenever >