Embed Notice

@iacore
Thank you for your wonderful and lucid, if far-ranging, greeting.

I was reminded that there are two books on my crowded reading list. For one, I think Hofstadter's autobiography was called I Am A Strange Loop.
Further in the lisp vane, I think there was a book identifying the problem of the halting problem as probably being more general; that there are important features of computation that aren't amenable to proof. I will look up the title.

You've read me read Sandewall I think
@a