Re: text editors
- Date: Mon, 01 Apr 2019 16:23:31 +0200
- From: "Thomas Schmitt" <scdbackup@xxxxxxx>
- Subject: Re: text editors
Nicholas Geovanis wrote:
> semantics collapses to syntax. As in mathematics.
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.
The insight was not new then. Paul the Apostle wrote about Epimenides:
"One of themselves, even a prophet of their own, said, the Cretians are
alway liars, evil beasts, slow bellies."
Have a nice day :)