posted 18 years ago
hmmm... i seem to recall something about any language will allow a paradox. you need a 'superset' (my term) language, or a meta-language to resolve them.
but that higher level one will then have paradoxes, so you need a meta-meta-language, and so on.
i think...
There are only two hard things in computer science: cache invalidation, naming things, and off-by-one errors