" Godel argued that his incompleteness theorems implied a weaker, disjunctive conclusion to the effect that both "the intellect can't be mechanized" or "mathematical fact outstrips the idealized human head." Other people, most notably Lucas and Penrose, have claimed much more--they've claimed which the incompleteness theorems really suggest the 1st https://waylonognta.creacionblog.com/37467678/the-definitive-guide-to-online-identity