X-VM-v5-Data: ([nil nil nil nil nil nil nil nil nil] ["1845" "Tue" "3" "November" "1998" "19:02:01" "+0100" "Hans Aberg" "haberg@MATEMATIK.SU.SE" nil "41" "Re: Quotes and punctuation" "^Date:" nil nil "11" nil nil nil nil nil] nil) Received: from listserv.gmd.de (listserv.gmd.de [192.88.97.1]) by mail.Uni-Mainz.DE (8.8.8/8.8.8) with ESMTP id TAA20456; Tue, 3 Nov 1998 19:02:57 +0100 (MET) Received: from lsv1.listserv.gmd.de (192.88.97.2) by listserv.gmd.de (LSMTP for OpenVMS v1.1a) with SMTP id <2.00F3FBC9@listserv.gmd.de>; Tue, 3 Nov 1998 19:02:45 +0100 Received: from RELAY.URZ.UNI-HEIDELBERG.DE by RELAY.URZ.UNI-HEIDELBERG.DE (LISTSERV-TCP/IP release 1.8b) with spool id 407775 for LATEX-L@RELAY.URZ.UNI-HEIDELBERG.DE; Tue, 3 Nov 1998 19:02:40 +0100 Received: from mail0.nada.kth.se (mail0.nada.kth.se [130.237.222.70]) by relay.urz.uni-heidelberg.de (8.8.8/8.8.8) with ESMTP id TAA03330 for ; Tue, 3 Nov 1998 19:02:24 +0100 (MET) Received: from [130.237.37.110] (sl84.modempool.kth.se [130.237.37.110]) by mail0.nada.kth.se (8.8.7/8.8.7) with ESMTP id TAA12913 for ; Tue, 3 Nov 1998 19:02:19 +0100 (MET) X-Sender: su95-hab@mail.nada.kth.se References: <199811030953.JAA04308@nag.co.uk> <98102213123551@man.ac.uk>, <199811030953.JAA04308@nag.co.uk> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Message-ID: Reply-To: Mailing list for the LaTeX3 project In-Reply-To: <199811031653.KAA12001@dcdrjh.fnal.gov> Date: Tue, 3 Nov 1998 19:02:01 +0100 From: Hans Aberg Sender: Mailing list for the LaTeX3 project To: Multiple recipients of list LATEX-L Subject: Re: Quotes and punctuation Status: R X-Status: X-Keywords: X-UID: 2726 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 * Home Page: * AMS member listing: