[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: alternative spec. langs compiling to TLA+

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.