" Godel argued that his incompleteness theorems implied a weaker, disjunctive conclusion to the outcome that possibly "the head can not be mechanized" or "mathematical reality outstrips the idealized human head." Others, most notably Lucas and Penrose, have claimed additional--they have claimed the incompleteness theorems actually indicate the main disjunct. https://dominickvcjtl.pages10.com/5-simple-statements-about-parasocial-relationships-explained-72985788