|
20080511～
13と7と11の倍数の論理積は13と7と11の積の倍数である。
和ァ・・・
数学が無矛盾であれば、自身の無矛盾性を証明できない
僕の理解が中途半端でアレですが ゲーデルの不完全性定理は確か、こんな感じの話だったかと記憶してます。 もう80年も前(1930年)の定理です。 これっていわゆるシュタゲの1話に出てくるダルが言ってたシミュレーテッドリアリティっぽいメタな話の 「僕たちが仮にモニタの中の存在だとしたら、それを見極める術はあると思う？」「ないな」「そくようかよ！」 って流れですよね。 ところで ふとこないだ、懐かしんで見たアニメ「アリス探偵局('95)」でメタっぽい話を見つけたときはひっくり返るところでした。 こういうメタな話を取り込んだアニメは今でこそごっそりありますが 一体いつからあったんでしょうね っていったらキリがないですかね じゃあ主流になってきたのはいつなんでしょうね。 って、問題を変えたところで答えられるわけじゃないですが＾＾； シミュレーテッドリアリティを扱ったフィクションを見てみますと ほとんどがゲーデルの定理よりあと('59)なんですよね。 それどころかコンピュータの歴史自体、ゲーデルの定理よりほとんどあと('52くらい)なんですよね。 つまりゲーデルさんはほとんどコンピュータを使わずに、概念だけでこういう話を想像したことになるわけで コンピュータが出来てからそういう議論が出てきても別に困りはしないのに実は順番が逆で 想像力豊かな人もいたもんだなあと思いますよ。 げえ＞д＜  にほんブログ村
PR 
|
カレンダー
カテゴリー
ブログランキング
ブログランキング参戦中
よかったらポチッとお願いします＾＾
最新CM
[12/30 buy steroids credit card]
[09/26 Rositawok]
[03/24 hydraTep]
[03/18 Thomaniveigo]
[03/17 Robertaverm]
最新記事
(01/01)
(09/23)
(09/23)
(02/11)
(05/30)
(05/28)
(05/28)
(05/27)
(08/04)
(10/24)
(06/08)
(05/22)
(01/13)
(11/04)
(11/02)
最新TB
プロフィール
ＨＮ：
量子きのこ
年齢：
43
ＨＰ：
性別：
男性
誕生日：
1981/04/04
職業：
WinDOS.N臣T
趣味：
妄想・計算・測定・アニメ
自己紹介：
日記タイトルの頭についてるアルファベットは日記の番号です
26進数を右から読みます 例：H→7番目、XP→15(P)×26＋23(X)=413番目。 A=0とする仕様につき一番右の桁はAにできませんのでご了承くださいｽﾞｺｰ
バーコード
ブログ内検索
アーカイブ
最古記事
(05/11)
(05/11)
(05/13)
(05/13)
(05/13)
(05/13)
(05/13)
(05/13)
(05/14)
(05/14)
(05/14)
(05/14)
(05/16)
(05/16)
(05/16)
アクセス解析
|
