Web lists-archives.com

Re: text editors

Nicholas Geovanis wrote:
> semantics collapses to syntax. As in mathematics.

Thomas Schmitt writes:
> This view is outdated since nearly 90 years. The attempt to create a
> language where semantical correctness results from syntactical
> correctness was killed by Goedel's incompleteness theorem.

I think that you confound soundness and completeness.
John Hasler 
Elmwood, WI USA