Re: G"odel --- Incompleteness Theorem

Article View: fj.books

Article #304

#304

From: Kim Tong Ho
Date: Sat, 23 Jan 1993 11:21

8 lines
792 bytes

f51323@sakura.kudpc.kyoto-u.ac.jp (inoue kouichi) writes:

>  $B$G$b$^$"!"?95#$h$j$O$^$7$+$bCN$l$^$;$s$h!#!J%8%c%s%k$,0c$&$+!K(J

$B?95#;a$NCx:n$K!"4N?4$NDj5A$,0c$C$F$k$?$0$$$N$b$N$,$"$k$N$G(J$B$9$+(J?

--
$B6b(J $BEl8W(J

Technical Details

Message-ID: <1993Jan23.112109.6428@gssm.otsuka.tsukuba.ac.jp>

Path: arc1-ca.pugleaf.net!sparky!uunet!stanford.edu!sun-barr!sh.wide!wnoc-kyo!kyu-cs!lab!utogw!kim

References: <1993Jan13.142803.16006@naragw.nara-wu.ac.jp> <1993Jan20.021034.5211@kudpc.kyoto-u.ac.jp>

Show Full Headers

Complete Article Headers

Newsgroups: fj.books,fj.sci.math
Path: arc1-ca.pugleaf.net!sparky!uunet!stanford.edu!sun-barr!sh.wide!wnoc-kyo!kyu-cs!lab!utogw!kim
From: kim@gssm.otsuka.tsukuba.ac.jp (Kim Tong Ho)
Subject: Re: G"odel --- Incompleteness Theorem
Message-ID: <1993Jan23.112109.6428@gssm.otsuka.tsukuba.ac.jp>
Keywords: Mori Tsuyoshi
Sender: news@gssm.otsuka.tsukuba.ac.jp
Organization: GSSM Otsuka, Univ. of TSUKUBA, Tokyo, Japan
References: <1993Jan13.142803.16006@naragw.nara-wu.ac.jp> <1993Jan20.021034.5211@kudpc.kyoto-u.ac.jp>
Date: Sat, 23 Jan 1993 11:21:09 GMT
Lines: 8

Reply to Parent Message