Re: text editors
- Date: Mon, 01 Apr 2019 11:35:46 -0500
- From: John Hasler <jhasler@xxxxxxxxxxx>
- Subject: 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.
Elmwood, WI USA