" Godel argued that his incompleteness theorems implied a weaker, disjunctive summary into the influence that either "the thoughts can not be mechanized" or "mathematical truth of the matter outstrips the idealized human brain." Some others, most notably Lucas and Penrose, have claimed additional--they have claimed the incompleteness theorems in https://archervfpho.blogsvila.com/37915586/the-smart-trick-of-idealized-partner-that-no-one-is-discussing