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, my

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 you see such