on termination

Eray Ozkural erayo@cs.bilkent.edu.tr
Wed, 14 May 2003 21:53:15 +0300

On Wednesday 14 May 2003 18:10, Sam Moelius wrote:
> I would be interested in seeing this.  Could you elaborate, or point us to
> a link where this is spelled out?

I can't see an immediate diagonalization proof either.

Eray Ozkural (exa) <erayo@cs.bilkent.edu.tr>
Comp. Sci. Dept., Bilkent University, Ankara  KDE Project: http://www.kde.org
www: http://www.cs.bilkent.edu.tr/~erayo  Malfunction: http://mp3.com/ariza
GPG public key fingerprint: 360C 852F 88B0 A745 F31B  EA0F 7C07 AE16 874D 539C