Re: ラッセルの逆理が消滅した！

Article View: fj.sci.physics

Article #1488

#1488

From: Shinji KONO
Date: Fri, 03 Nov 2006 23:15

28 lines
2343 bytes

河野真治 @ 琉球大学情報工学です。

In article <urC2h.89$6c.63@news-virt.s-kddi1.home.ne.jp>, "cafea605" <cafea605@hcn.zaq.ne.jp> writes
> 任意のⅡ類集合Ａに対して｛Ａ｝を与えてＡ＝｛Ａ｝とする。

この、PC9801 依存文字は、いまだに読めん。Unicode にも入って
ないので、もう、一生、読めないな。

この問題って、実は、

    環状構造を持つデータ構造を、
    どうやって、depth first 的に処理するか

とか考えることも出来ます。無限ループしたらアウトなわけだね。

コンピュータ科学的には避ける方法は自明。論理学だと、環状構造
を生成しないように頑張ったりします。型理論は、そういう方向
です。

環状構造を生成した後、探し方を工夫するなんていう方法でも Ok 。
しかも、この程度だと、既に論文もたくさん出ているので、いまさ
ら、追求する気にもなれない。

新しいことを探すのが難しい分野だとも言えるな。

---
Shinji KONO @ Information Engineering, University of the Ryukyus
河野真治 @ 琉球大学工学部情報工学科

Technical Details

Message-ID: <3993305news.pl@rananim.ie.u-ryukyu.ac.jp>

Path:

arc1-ca.pugleaf.net!g2news2.google.com!news3.google.com!newsfeed.stanford.edu!newsfeed.news.ucla.edu!newsfeed.media.kyoto-u.ac.jp!oix.u-ryukyu.ac.jp!u-ryukyu.ac.jp!ie.u-ryukyu.ac.jp!not-for-mail

References:

<MGYXg.8$0d.3@news-virt.s-kddi1.home.ne.jp> <3993261news.pl@rananim.ie.u-ryukyu.ac.jp> <urC2h.89$6c.63@news-virt.s-kddi1.home.ne.jp>

Show Full Headers

Complete Article Headers

X-Google-Thread: 114713,34a6d54d94c5611c
X-Google-Attributes: gid114713,public
X-Google-Language: Japanese,JIS
Path: arc1-ca.pugleaf.net!g2news2.google.com!news3.google.com!newsfeed.stanford.edu!newsfeed.news.ucla.edu!newsfeed.media.kyoto-u.ac.jp!oix.u-ryukyu.ac.jp!u-ryukyu.ac.jp!ie.u-ryukyu.ac.jp!not-for-mail
From: kono@ie.u-ryukyu.ac.jp (Shinji KONO)
Newsgroups: fj.sci.physics
Subject: Re: ラッセルの逆理が消滅した！
Date: Fri, 3 Nov 2006 23:15:05 +0000 (UTC)
Organization: Information Engineering, University of the Ryukyus
Lines: 28
Message-ID: <3993305news.pl@rananim.ie.u-ryukyu.ac.jp>
References: <MGYXg.8$0d.3@news-virt.s-kddi1.home.ne.jp> <3993261news.pl@rananim.ie.u-ryukyu.ac.jp>
    <urC2h.89$6c.63@news-virt.s-kddi1.home.ne.jp>
NNTP-Posting-Host: insigna.ie.u-ryukyu.ac.jp
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-2022-jp"
Content-Transfer-Encoding: 7bit
X-Trace: naha.ie.u-ryukyu.ac.jp 1162595705 29707 133.13.48.71 (3 Nov 2006 23:15:05 GMT)
X-Complaints-To: news-admin@ie.u-ryukyu.ac.jp
NNTP-Posting-Date: Fri, 3 Nov 2006 23:15:05 +0000 (UTC)
X-Image-URL: http://www.ie.u-ryukyu.ac.jp/~kono/skono.gif
Fcc: send
X-Newsreader:  news.pl 1.17 2005/05/10 01:26:04 
Content-ID: <19369.1162595633.1@insigna.ie.u-ryukyu.ac.jp>

Reply to Parent Message