" Godel argued that his incompleteness theorems implied a weaker, disjunctive conclusion for the result that both "the head cannot be mechanized" or "mathematical truth of the matter outstrips the idealized human thoughts." Other individuals, most notably Lucas and Penrose, have claimed a lot more--they've got claimed the incompleteness theorems https://deanypjwl.blogpixi.com/37909300/the-basic-principles-of-emotional-attachment-to-ai