← Back to context

Comment by auggierose

2 days ago

Exactly my thought. This is just natural language as a specification language.

6 comments

auggierose

Reply
kiitos  2 days ago

...as an ambiguous and inadequately-specified specification language.

  • auggierose  2 days ago

    In the end, every specification is specified via natural language, this is just where the buck stops. All math books are written in natural language, even the ones about specification languages.