zlacker

[parent] [thread] 0 comments
1. breule+(OP)[view] [source] 2025-05-06 21:35:32
> I've been contested that the second Gödel incompleteness theorem "can't be applied like this to the brain" but I stubbornly insist yes, the brain implements _some_ formal system and it can't understand how that system works

I would argue that the second incompleteness theorem doesn't have much relevance to the human brain, because it is trying to prove a falsehood. The brain is blatantly not a consistent system. It is, however, paraconsistent: we are perfectly capable of managing a set of inconsistent premises and extracting useful insight from them. That's a good thing.

It's also true that we don't understand how our own brain works, of course.

[go to top]