Web lists-archives.com

Re: text editors

On Mon, Apr 1, 2019 at 9:22 AM 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.

Thomas, Guten Morgen. 
That is correct in the correct context/Das ist ja richtig, aber im richtigen Kontext: 
I used the phrase "collapses to". I shunned the word "attains".
Does that make sense? <<Erreichung>> statt << Zusammenbruch >>.
In other words, a process not an achievement.

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."

Yet at the very least Aristotle began the development of modal and temporal
logics. This is well recognized today. From the beginning of classical formal logic, 
there also began the development of "non-classical" logics :-) The automation of
logics of belief and contingency is underway for some time.
This is particularly strong in the Chicago area due to Argonne National
Laboratory in the southwestern suburbs, where Robinson worked after his
PhD. Also Overbeek, Wos, Winker (who I knew at uni), usw.
Have a nice day :)

Gruß Gott ;-) Nikko Geovanis/Τζοβανeσ