2020-04-04

ABC予想証明ギャップがあるというのが分からない

望月新一証明圏論用語をよく使う一方で、同型な複数オブジェクトに異なるラベルをつけて区別して議論している。

ピーターショルツとジェイコブスティックスは圏論常識的な考え方として同型なオブジェクトは同一視すべきだと主張して

同型なオブジェクトを同一視した場合望月新一議論破綻する事を指摘した。

望月新一は同型な複数オブジェクトを同一視すべきでない例をあげて反論している。

同一視しなければいいのでは?

  • 門外漢だけど、オブジェクト指向プログラミングでは同型であってもそれぞれインスタンス化されたら別オブジェクト扱いになるので、同型のオブジェクトは全て同一視しろという意見...

    • 数学には便利に使われるアーベル圏という概念があるけど 計算モデルをアーベル圏として扱おうとするとアーベル圏で仮定される幾つかの条件が邪魔… なんて話もあるようだし、情報学...

      • 圏とアーベル圏についてざっくり調べてみたけどわからんな(当たり前だが)。この後はわかってない人間の勘違いを多分に含んだ与太話だ。 でも多分計算機は群と関数の集まりだとみ...

        • 確かに計算機を圏論として考える場合に計算量を無視してしまう事が多いのが現状です 細かな計算量の違いを反映した圏を構成しようとしている研究者もいるけど そこまで具体的な成果...

          • フロベニオイドとやらも調べた。 幾何学(多分代数的位相幾何学ってヤツ)をさらに拡張したよう分からん何かということだけ分かった。 確かに計算機科学には応用が効かなさそうな感...

記事への反応(ブックマークコメント)

ログイン ユーザー登録
ようこそ ゲスト さん