nuc https://blog.hatena.ne.jp/nuc/ 白のカピバラの逆極限 S.144-3 https://nuc.hatenadiary.org/ 対角線論法で郡司ペギオ幸夫さんの対角線論法の話が怪しいと書いてしまったが、読み直したら読み違いだったっぽい。 「isbn:4130100971原生計算と存在論的観測―生命と時間、そして原生」付録に圏論の話が載っていて、米田の lemma もでてきますよ(顔。 ただ、付録4で、Object が集合なカルテシアン閉圏を仮定して、自己言及的特性をもつことを が全射であることと定義して、そんなものはないことを示しているが、それって定義しただけのようにも。 さて、野矢茂樹さんも対角線論法は「無限論の教室」isbn:4061494201という本の中で駄目だといっていた。初めは、背理法、つまり矛盾の定義 に… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fnuc.hatenadiary.org%2Fentry%2F20060608%2Fp3" title="野矢茂樹と郡司ペギオ幸夫 - 白のカピバラの逆極限 S.144-3" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2006-06-08 00:00:02 rich https://nuc.hatenadiary.org/entry/20060608/p3 1.0 100%