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

aboutme:88497

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

JRF 2008年11月26日 (水)

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

トラックバック


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

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