3 ms·
Does these include any arithmetic statement? Any recursive self referral statement involved? If not, Godel theorem is irrelevant
by ngcc_hk 8y ago
Does these include any arithmetic statement? Any recursive self referral statement involved?
If not, Godel theorem is irrelevant
- duckerude 8y agoIt 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.
- deleted 8y ago[deleted]