" Godel argued that his incompleteness theorems implied a weaker, disjunctive summary to the result that either "the thoughts can not be mechanized" or "mathematical truth outstrips the idealized human intellect." Other people, most notably Lucas and Penrose, have claimed much more--they've got claimed which the incompleteness theorems actually suggest https://simonkylqx.blog-eye.com/37914576/examine-this-report-on-loneliness-and-technology