Godel's Incompleteness Theorems: Interesting Question

[samijiben]

Hello fellow member of the actualized forum, I am new here and for some reason there isn't a science/geek topic that seems appropriate for this question so I have decided to put it under self actualization. 

For any of you that know a thing or two about Kurt Godel and his work on systems that are capable of self-reference (as I am sure there are some, because Leo has done videos on this topic), what do you think about the prospect of a computer?  Obviously, such complex systems did not exist back in Godel's time, so I suppose my question is, does the incompleteness theorem extend to a artificially intelligent computer? Will it truly be inconsistent and partial when self-referencing itself, or can it be accurate? (and if so, to what extent?)

[JosephKnecht]

Yes. The incompleteness theorem extends to every system, including computers. 

Intelligence is simply an ability to recognize patterns. The more intelligent one is, the more patterns (and more abstract) patterns one is able to recognize. Computers can already recognize and process patterns better than humans (automated driving, image analysis, etc). However, computers are not yet able to solve the problem of self-reference.

If computers are able to solve the problem of self-reference by themselves, in few decades computers will become much more intelligent than average humans.

If self-reference gets programmed into them by humans, we will be able to control their behavior for the foreseeable future.  

[Someone here]

No matter how intelligent the system is its only up to the limitations of the design and the designer. It can't reach outside itself and grasp itself like you can know the content of existence forever but you can't grasp existence itself because you are it.