有限wwプギャーm9(^Д^) - ita’s diary

有限wwプギャーm9(^Д^) - ita’s diary

「お前ら公理系作って再帰的に無限の定理を手に入れたと思ってるみたいだけど所詮は有限の脳味噌には有...概要を表示 「お前ら公理系作って再帰的に無限の定理を手に入れたと思ってるみたいだけど所詮は有限の脳味噌には有限のことしか扱えませんからプギャーm9 (^Д^)」 ということですね。分かります。 メタマス!―オメガをめぐる数学の冒険 作者: グレゴリーチャイティン,Gregory Chaitin,黒川利明出版社/メーカー: 白揚社発売日: 2007/09/01メディア: 単行本購入: 7人 クリック: 115回この商品を含むブログ (31件) を見る １：公理系をプログラムに焼直し、推論規則を使って枝分かれを順番に網羅して全ての定理を順番に吐き出すプログラムを作れる。「真理鉱山」自動探索 (グレッグ・イーガン『ディアスポラ』ISBN:4150115311) ２：その定理自動生成プログラムがNビットで書けるとする。そしてたとえばその１００倍の長さの100Nビットのデータすべての集合を考える。そのなかで公理