:: 5 results
:: Code Blue
FSF :: TOR :: Start Page :: Nuclear Files :: OLL :: FB :: Parecon :: Democracy Now! :: Jeremy :: Nat
“If indeed we truly have the intuitions that we do, then it is impossible for us to formalize (or mechanize) all of our mathematical intuitions, which means that we truly are not machines. Of course there is no proof that we know all that we think we know, since all that we think we know can't be formalized; that, after all, is incompleteness. This is why we can't rigorously prove that we're not machines. The incompleteness theorem, by showing the limits of formalization, both suggests that our minds transcend machines and makes it impossible to prove that our minds transcend machines.”
-- Rebecca Goldstein
