18/10/02 00:09:52.82 kxUsxORE.net
>>643
本来は抽象的・不定で確かな対象になっていないものを、アルゴリズムを用いて対象を特徴づけ組み込む、
などということは基礎論でも特に論じられたことがない
「宇宙際対象」と「絶対ガロア群によるアルゴリズム」のセットに対応するような事例は過去にない
わざわざ最終セクションを書いた理由は何か。望月が過去にトポスのエレファントを参考文献に入れてる
にも関わらずそれをそんなに使ってないってことは、自覚があったんでしょう
本人的には「圏論的な構造と集合論的な識別の原理に基づき少し拡張しただけ」という意識があると思う
今のところ、当面は通常の数学ではやはり受け入れられないが、最終的には理解される気はしている
Bが言っていたような感じで