« 前のひとこと | トップページ | 次のひとこと »

aboutme:88497

可能世界を刈り込んでいるというのは、どう集合論的に「図示」できるのだろう?見本空間というのは、そこだけ違っているものが同じだけあるということで、拡張できて…。コペルニクス原理に対照させて…。型理論を使うのかなぁ。

JRF 2008年11月26日 (水)

« 前のひとこと | トップページ | 次のひとこと »

トラックバック

この記事のトラックバックURL:
http://app.cocolog-nifty.com/t/trackback/93568/51547454

トラックバックのポリシー

他サイトなどからこの記事に自薦された関連記事(トラックバック)はまだありません。

このころのニュース