| Russell's paradox speaks of logical contradictions. Language is full of logical contradictions, but it's fine to us (not to logicians though). Similarly Gödel speaks of consistent proofs in logical systems. His incompleteness theorem talks about either a system has statements it cannot prove (but they can expressed!), or is inconsistent. Since natural language is probably not that consistent, the whole issue is moot. It should be possible to show under some loose conditions that all natural languages are "Turing complete". Even the halting problem does not impose a problem -- we're really not interested in telling whether long-running computation halts in natural language. The expressivity is guaranteed by not insisting on strict consistency in language. (PS: the situation changes where there is a mandate to only speak things that are "correct", for example, censorship. Now you get into the realm where something might be technically "correct" but the decision algorithm is imperfect and does not allow you to speak that truth) > is there any possibility for the "existence" of a concept that could not be successfully communicated at all, say between a human adult and a 5 year old child, or the the adult and an advanced alien being? I don't think so as long as the concept is constructed from physical objects or shared emotions/feelings. There is a problem with something that can only be subjectively felt though. Let's say some alien can see the X-ray spectrum. How does the alien communicate to humans what the colors look and feel like? But this is kinda off-topic. |
This is the kind of thing I'm thinking of, it's an old philosophical chestnut in epistemology.
Godel and Russell are relevant because we can always look for meaningful statements that can be well formed under wone system but not under another.
> But this is kinda off-topic.
I had theory about that. It's so _on topic_ to be discussing the nature of language itself in a time when the biggest festival in town is "Large Language Models". Nobody so violently attacks a comment unless it hits a nerve, And I don't want to believe that my fellow HN commenters are simple racists. I think some people worry about basing the computing work on something as precarious and pluralistic as language. And they'd be right to.