多分これを元に細かいつじつま合わせをすればなんとかなると思うんですけど、そのガッツがないと言うかその前にやることがたくさんというか。それと、recursion theoryの一般的な結果が適用できてあっさり解ける可能性もあるのではというのもあります。大学…

正直なにがどうなってこういう表現になっているのかさっぱりわからないのですが、集合論に対する誤解が広まるのはできれば避けたいので。思想地図vol.5 - hiroyukikojimaの日記の中の話。星野伸明という人の論考に対するとても面白い紹介なのですが、一箇所…

書いていたら死ぬほど長くなっていったのでエントリにしました。プロポーザルの書き方に関して - くるるの数学ノートについていたコメントの話。 プロポーザルに関しては「専門家の細かいアラさがし」という可能性は排除して構わないと思いますよ。 http://d…