" Godel argued that his incompleteness theorems implied a weaker, disjunctive summary to the outcome that both "the head cannot be mechanized" or "mathematical truth outstrips the idealized human mind." Some others, most notably Lucas and Penrose, have claimed a lot more--they've got claimed the incompleteness theorems in fact indicate https://devinjxejo.bloggip.com/37799144/how-comanionship-design-can-save-you-time-stress-and-money