" Godel argued that his incompleteness theorems implied a weaker, disjunctive conclusion towards the effect that either "the mind cannot be mechanized" or "mathematical truth of the matter outstrips the idealized human intellect." Other people, most notably Lucas and Penrose, have claimed more--they have got claimed the incompleteness theorems basically https://felixqbeel.newsbloger.com/38388184/human-ai-bonding-an-overview