Gödel's Theorem

Re:Gödel's Theorem by ngcc_hk on Thursday January 31, 2019 @05:49AM (#19043876)

Does these include any arithmetic statement? Any recursive self referral statement involved?

If not, Godel theorem is irrelevant

[ Parent | on HN ]

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.

[ Parent | on HN ]