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