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
