Re:Gödel's Theorem
by duckerude on Thursday January 31, 2019 @05:57AM
(#19043903)
It does:
> [page 5] Just as humans can have free will because we can look at our own mental activities from a distance, so a program can be uncomputable because it can take as input its own self in data form.
But I don't think it holds up, because we don't have full access to our own mental activities, only to a grossly simplified model of our own mental activities.
> [page 5] Just as humans can have free will because we can look at our own mental activities from a distance, so a program can be uncomputable because it can take as input its own self in data form.
But I don't think it holds up, because we don't have full access to our own mental activities, only to a grossly simplified model of our own mental activities.