Re: text editors
- Date: Mon, 1 Apr 2019 15:37:04 -0000 (UTC)
- From: Curt <curty@xxxxxxx>
- Subject: Re: text editors
On 2019-04-01, Thomas Schmitt <scdbackup@xxxxxxx> wrote:
> 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."
The old, recursive, self-referential dragons eating their own tails
(here in the form of oft-told tales), as it were.
> Have a nice day :)
“Let us again pretend that life is a solid substance, shaped like a globe,
which we turn about in our fingers. Let us pretend that we can make out a plain
and logical story, so that when one matter is despatched--love for instance--
we go on, in an orderly manner, to the next.” - Virginia Woolf, The Waves