Is there a fundamental reason (non apparent to newbs such as my self) that these spec. languages have their current embodiment?
They are formal I guess. Principia Mathematica was already more challenging than a normal chat. But they are also more precise.
It has its virtue. You can't speak of what you can't define.
--
FL