Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site lanl.ARPA
Path: utzoo!linus!philabs!cmcl2!lanl!dxm
From: dxm@lanl.ARPA
Newsgroups: net.startrek
Subject: Re : I Mudd  ( Norman and the Gang )
Message-ID: <24664@lanl.ARPA>
Date: Wed, 17-Apr-85 20:48:19 EST
Article-I.D.: lanl.24664
Posted: Wed Apr 17 20:48:19 1985
Date-Received: Sat, 20-Apr-85 02:48:33 EST
Sender: newsreader@lanl.ARPA
Distribution: net
Organization: Los Alamos National Laboratory
Lines: 16

led
    a "strange loop" by Douglas Hofstatder, who wrote a *very* good 
    book called _Godel, Escher, Bach: An Eternal Golden Braid_ that 
    discusses such things in depth.  It is very readable, and utterly
    fascinating ( couldn't resist a plug here, I love this book ).
    Anyway, it turns out that you need a meta-language to handle
    paradoxes; that is, a language that refers to the language in
    which the paradox exists.  Of course, paradoxes in the meta-
    language are resolved with meta-meta-languages, etc.

                                          Doug Miller

dxm@lanl
....!ihnp4!lanl!dxm
US Mail 
Los Alamos National Laboratory,  P.O.B 1663 MS J960,  Los Alamos, NM 87545