[mkyc]

A lot of people make the mistake of thinking that Godel's result suggests a superiority of human over machine, or something of the sort. There is, however, no reason to believe humans aren't themselves subject to Godel's theorem. Formalizing knowledge into a simple elegant system is very difficult, but this isn't a matter for Godel.