On Formally Undecidable Traits of Intelligent Machines