" Godel argued that his incompleteness theorems implied a weaker, disjunctive summary towards the result that both "the head can't be mechanized" or "mathematical reality outstrips the idealized human mind." Some others, most notably Lucas and Penrose, have claimed far more--they may have claimed which the incompleteness theorems truly imply https://thcactivationandeffects65742.dbblog.net/10801379/idealized-partner-an-overview