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.
