Christopher B. Browne <firstname.lastname@example.org> wrote:
| The W3C "HTML editor," Amaya... can only create "valid" HTML.
| Unfortunately, it is almost unusable as such.
| a) Godel's "Incompleteness" theorem.
| I would suggest the connection that it may be *impossible* to create
| an editor that *guarantees* that (for instance) an SGML document is
| valid at every step.
Interesting, but I think your analogy is slightly off. Better might
be to equate the legal steps in the editor to theorems (or maybe even
better, rules of inference) in the proof system. Then you'd get a
statement like this:
While it is certainly possible to create an editor that guarantees
that an initially valid SGML document remains valid after every
subsequent allowed editing step, Godel's Proof suggests that there
will always be some valid SGML documents which it is impossible
to create using such an editor.
Rob Warnock, 8L-855 email@example.com
Applied Networking http://reality.sgi.com/rpw3/
Silicon Graphics, Inc. Phone: 650-933-1673
1600 Amphitheatre Pkwy. FAX: 650-933-0511
Mountain View, CA 94043 PP-ASEL-IA