Post #4414802

"When all is said and told, the "naturalness" with which we use our native tongues boils down to the ease with which we can use them for making statements the nonsense of which is not obvious." The essay is nonstop bangers. I am firmly on his side. While symbolic language is no guarantee—and any given instance has its strenghts and weaknesses—it is a requirement to be unambiguous and definitive. The exact qualities required when defining a process. Doesn't matter if the process is followed by a machine, a person, or an institution. The language must be specific so that the thinking about it is also specific, and errors are made glaringly obvious, either by analysis or during execution. https://www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD667.html