on termination

Sam Moelius smoelius@mcs.drexel.edu
Wed, 14 May 2003 11:10:22 -0400 (EDT)

C T McBride wrote:
> a simple diagonalization argument shows
> that the system's own normalization function (terminating, by definition)
> cannot be coded within the system itself.

I would be interested in seeing this.  Could you elaborate, or point us to a 
link where this is spelled out?

Sam Moelius