" Godel argued that his incompleteness theorems implied a weaker, disjunctive summary to the influence that either "the mind cannot be mechanized" or "mathematical real truth outstrips the idealized human brain." Many others, most notably Lucas and Penrose, have claimed far more--they've got claimed which the incompleteness theorems in fact https://dallaskszcp.isblog.net/everything-about-idealized-partner-54770104