[ha292]

"That is, the more expressive a language or system is, the less we can reason about it, and vice versa. The more capable the system, the less comprehensible it is."

What makes these assertions true? Research/data/polls etc would be helpful. It is hard to accept such wide-ranging claims without some proof.

Also, could someone please post the effective definitions of "expressiveness" and "capability" as used in the post ?

Thanks.

[AnimalMuppet]

> What makes these assertions true? Research/data/polls etc would be helpful. It is hard to accept such wide-ranging claims without some proof.

Well, the article gave 10 or 20 examples. That's not proof, but it is data...