" Godel argued that his incompleteness theorems implied a weaker, disjunctive conclusion for the effect that both "the intellect cannot be mechanized" or "mathematical fact outstrips the idealized human mind." Others, most notably Lucas and Penrose, have claimed a lot more--they've claimed that the incompleteness theorems really indicate the primary https://accident-liability-suppor35811.blogkoo.com/the-smart-trick-of-idealized-partner-that-no-one-is-discussing-57019776