[過去ﾛｸﾞ] Interｰuniversal geometryとABC予想(応用スレ)51 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
669: 2021/02/18(木)10:13:11.86 ID:yMZvubyN(9/9) AAS
>>655
>> 数学じゃないのかい？
まさか数学の証明を証明プログラミング言語で可能なことや、かつ海の向こうでいくつもプロジェクト始めているされていること知らんはずはないよな？
老害も程々にしてくれ。
（紙と鉛筆は重要だという点に同意するが、実際ましんの設計にいる。それに固執した論点ずらしのないように）
726(1): 2021/02/19(金)14:09:30.86 ID:46Fge3L7(13/101) AAS
そもそも圏論の言葉を振り回しても中身は生まれない
779: 2021/02/19(金)15:26:14.86 ID:46Fge3L7(39/101) AAS
>>778
この程度の説明なら数セミの記事にもあるだろ
ま、上の説明は誰かの受け売りではないから、
全く同じものは探しても見つからない
日本と西ヨーロッパの違いは、言語の違いではない
数学における発見の積み重ねと、知識の伝承の違い
表に出ないから気づかれないだけ
ところでチャーンは中国人 知ってたか？
951(3): 2021/02/20(土)10:55:52.86 ID:+Wu9Px2F(1/21) AAS
>>921
ワレ（あんた）のような若い天才肌は、
然るべき訓練をしなければ、本当に才能の無駄遣いとなる。と思う。
俺は複素解析で、線形系の計算をしたこともない。（複素数は代数閉であるから、解の上に、線形であることは理解できるし、渦が解の重複度とともに発生していることなど容易に想像できる。この話は、永田の初学者のための代数幾何を読めば良いだろう）
複素解析厨は、間違いなく数学者で、このあたりの計算をしっかりとやっており、
複素解析についてかなりの理解があると昨日話をして思った。俺は圏の威力を借りてスキームを少しばかり見ているが、やつが真にスキームなどをはじめれば、
俺より数倍厳密に、見るだろうことは想像できる。（あるいは見ているかもしれない）
複素解析は、そういう意味で、「圏より重要だ」という彼の言い分に大いに同意する。
IUT には、懐疑的であるが、p進タイヒミュラー理論あたりまでは、非常に興味がある。これらをIUT の枠組み（これには宇宙の設定に選択公理と同様のチートがあるのではないかと考える、したがって適切な例がない。よく知らんが。）ではなく、グロタンディークやルーリエの枠組で、再構成すると、ABC は解けなくなってしまうかもしれないが、試してみる価値はあると考えている。
省2
956: 2021/02/20(土)11:08:22.86 ID:c8yOLip1(40/65) AAS
>>951
＞コンピュータサイエンスと密接に結びついた数学では、
＞プレスバーガー算術をもちいるが、
決定可能だからね 限量子消去法を用いるとか
具体的な方法は勉強してないから知らないけど
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s