Re: text editors
- Date: Mon, 01 Apr 2019 16:40:32 +0200
- From: deloptes <deloptes@xxxxxxxxx>
- Subject: Re: text editors
Thomas Schmitt wrote:
> 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."
The true believers speaks.
BTW Thank you all - I feel like I needed a refresh for free.