Article View: dk.chat
Article #34233Re: Undtagelsen.
From: Per Abrahamsen
Date: Fri, 21 Feb 1997 00:00
Date: Fri, 21 Feb 1997 00:00
28 lines
1645 bytes
1645 bytes
BertelLH@post3.tele.dk (Bertel Lund Hansen) writes: > Vil du uddybe det? De naturlige tal er et selvrefererende system. Man kan ikke definere de naturlige tal matematisk uden (direkte eller indirekte) at lade de naturlige tal selv indg� i definitionen. Det betyder[0] at i ethvert[1] logisk system hvor de naturlige tal indg�r, vil der v�re udsagn der ikke entydigt er sande eller falske. Disse udsagn er hvad vi kalder paradokser. Det betyder at enten m� vi klare os uden de naturlige tal, eller ogs� m� vi finde os i paradokserne. -- Per Abrahamsen [0] Bevis overledes til den interesserede G�del. [1] Undtagen[2] for logiske systemer hvor Emacs indg�r som et axiom. [2] Hvorved reglen er bekr�ftet[3]. [3] Og cirklen sluttet[1].
Technical Details
Message-ID:
<rjd8tumd7k.fsf@zuse.dina.kvl.dk>Path:
arc1-ca.pugleaf.net!unknown!not-for-mailReferences:
<331d3276.1831157945@gatekeeeper.teledanmark.dk> <330d61da.1775944@news.inet.tele.dk> <330BEC9B.784A@dk-online.dk> <3316efa9.3061080@news.inet.tele.dk> <19970221093632.330e44be@image.dk> <330f9532.1530320@news.inet.tele.dk>Show Full Headers
Complete Article Headers
X-Google-Language: DANISH,ASCII
X-Google-Thread: fa76d,c79df56653d4eec9
X-Google-Attributes: gidfa76d,public
From: Per Abrahamsen <abraham@dina.kvl.dk>
Subject: Re: Undtagelsen.
Date: 1997/02/21
Message-ID: <rjd8tumd7k.fsf@zuse.dina.kvl.dk>
X-Deja-AN: 220428810
t9}`vjmK["dRQC/qGFQq"%u|Q`: 6{"Rz}b(dnl_"3$Jtqimi>|8MBp/
References: <331d3276.1831157945@gatekeeeper.teledanmark.dk> <330d61da.1775944@news.inet.tele.dk> <330BEC9B.784A@dk-online.dk> <3316efa9.3061080@news.inet.tele.dk> <19970221093632.330e44be@image.dk> <330f9532.1530320@news.inet.tele.dk>
Content-Type: text/plain; charset=ISO-8859-1
X-Face: +kRV2]2q}lixHkE{U)mY#+6]{AH=yN~S9@IFiOa@X6?GM<U{B+4e{k79.Ya{~':DblFPCg$
Organization: The Church of Emacs
Mime-Version: 1.0
Newsgroups: dk.chat
@60,BfLv2@SKZ19cMWK0/C'v;tM: |6B'R}U1rp6CL&kN({9<zF/V{:JCg27yC)9oZjeqcQawzKfiNL