heqdvd

Have you read
"Godel, Eshcer, Bach"

A lot of these issues are dealt with there...


here's a related thread about computers -

http://nl.ijs.si/~damjan/g-m-c.html