[userpic]

... 

metanymous в посте Openmeta (оригинал в ЖЖ)

Модели вычислительно неприводимых задач не соотвествуют правилу ТКП