[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: text editors



Hi,

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 :)

Thomas


Reply to: