LATEX-L Archives

Mailing list for the LaTeX3 project


Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Show All Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Hans Aberg <[log in to unmask]>
Reply To:
Mailing list for the LaTeX3 project <[log in to unmask]>
Tue, 3 Nov 1998 19:02:01 +0100
text/plain (42 lines)
At 10:53 -0600 1998/11/03, Randolph J. Herber wrote:
>        1) TeX does not have to print it.
>           TeX only has to generate dvi that describes it.
>           Providing the necessry dvi semantics for necessary operations
>           is a problem for the dvi language providers.

  The main point is that with the original setup whatsoever, it is not
possible to print such a curve, no matter how you apply the Godel theorem.

>        2) Irrational numbers are not representable by rational numbers.

  Anything that can be described in mathematics can of course be
represented in the computer: Just put the math paper into the computer.
This does not work with a physics paper because QM is not logical, so what
it describes may have no logical representation, even though the
description itself has a logical representation (the paper) of course.

>        3) Goedel permits encoding with arbitary semantics.

  I think this line should read:
    Goedel permits encoding with arbitary logical semantics.

>  Therefore,
>           an encoding for ``non-straight splines'' and for any specific
>           irrational numbers could be established.

  Encoding for splines, or Bezier curves, are of course used by PS, PDF and
such formats.

  So summing it up, even though reasoning with Turing machines and Godel
theorems may be of theoretical interest, it has no practical value when
dealing with a computer system that should perform a particular task.

  Returning to TeX and LaTeX, I think that we will have to wait for
suitable extensions of TeX instead of hoping for an implementation via the
Godel theorem. :-)

  Hans Aberg
                  * Email: Hans Aberg <mailto:[log in to unmask]>
                  * Home Page: <>
                  * AMS member listing: <>