Гёдель
Так вот, об этой самой неполноте.
Философам не нравится эта теорема, потому что из неё следует, что мир непознаваем.
Но кто вам сказал, что теория должна быть эффективно аксиоматизируема?
Скорее уж это критика компьютеров и искуcственного интеллекта, чем человеческого разума и возможностей.