Risto

“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

Email Me

Risto Juola, 1975 to 2013

Images are copyright. Text may be copyright, if not mine.

The rest of my content is open for share and remix under CC BY-SA.

All quotations come from free online sources, available at the time they were used on this site.

Last Modified 2013-05-01 10:10:23