" Godel argued that his incompleteness theorems implied a weaker, disjunctive summary into the result that both "the brain cannot be mechanized" or "mathematical reality outstrips the idealized human brain." Other folks, most notably Lucas and Penrose, have claimed more--they have claimed the incompleteness theorems essentially suggest the first disjunct. https://eduardovwkqf.pages10.com/human-ai-bonding-no-further-a-mystery-72977020