IUTを読むための用語集資料集スレ
■ このスレッドは過去ログ倉庫に格納されています
20200403の記者会見により、望月Inter-universal Teichmuller theory (abbreviated as IUT) （下記）は、新しい局面に入りました。 https://rio2016.5ch.net/test/read.cgi/math/1589806470/ https://rio2016.5ch.net/test/read.cgi/math/1592119272/ https://mainichi.jp/articles/20200403/k00/00m/040/295000c https://www.youtube.com/watch?v=7BnxK_NMwaQ >>711 https://ja.wikipedia.org/wiki/%E6%A5%B5%E9%99%90%E9%A0%86%E5%BA%8F%E6%95%B0 https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0 https://rio2016.5ch.net/test/read.cgi/math/1595034113/ >>711 >>711 https://ja.wikipedia.org/wiki/%E3%83%AC%E3%83%BC%E3%83%B4%E3%82%A7%E3%83%B3%E3%83%8F%E3%82%A4%E3%83%A0%E2%80%93%E3%82%B9%E3%82%B3%E3%83%BC%E3%83%AC%E3%83%A0%E3%81%AE%E5%AE%9A%E7%90%86 >>711 >>711 >>712 >>713-716 でお願いします >>716 は◆yH25M02vWFhP氏が >>711 補足 >>706 )で、”無限公理”を適用して、可算無限集合 つまりは自然数の集合N（順序数ω）が構成できたとする >>706 ）ってことです https://rio2016.5ch.net/test/read.cgi/math/1595034113/ >>711 >>718 IUTに関連するので、少しだけ >>706 の通り） >>720 https://wired.jp/special/2016/shinichi-mochizuki/ https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0 https://ja.wikipedia.org/wiki/%E5%9F%BA%E6%95%B0 >>720 >>720 >>712 )なる集合としてのωの存在 >>723 >>723 >>724 を理解できるまで読み返してください >>723 >>723 は、私の独創でもなんでもない >>706 に書かれていることを >>706 より https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86 https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0 https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0 >>726 >>706 のどこにも「ωはシングルトンになる」とは書いてないですよ https://rio2016.5ch.net/test/read.cgi/math/1604176250/12 >>726 シングルトンの件を、電車と飛行機に喩えましょうか >>702 (>>706 より) https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0 https://ja.wikipedia.org/wiki/%E5%8D%98%E9%9B%86%E5%90%88 https://ja.wikipedia.org/wiki/%E6%A5%B5%E9%99%90%E9%A0%86%E5%BA%8F%E6%95%B0 >>731 >ωの直前の前者の自然数もない。 >>731 補足 >>732-733 https://ja.wikipedia.org/wiki/%E6%A5%B5%E9%99%90%E9%A0%86%E5%BA%8F%E6%95%B0 >>735 訂正と補足 ＞シングルトン（＝単集合）による極限順序数ωなり、時枝なり、 >>735-736 >>735 そもそもωにω－１は存在しません >>738 補足 >>732-733 https://ja.wikipedia.org/wiki/%E6%A5%B5%E9%99%90%E9%A0%86%E5%BA%8F%E6%95%B0 https://ja.wikipedia.org/wiki/%E6%B7%BB%E5%AD%97%E9%9B%86%E5%90%88 >>742 https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%BC%E3%82%B7%E3%83%BC%E5%88%97 https://ja.wikipedia.org/wiki/%E3%83%AA%E3%83%BC%E3%83%9E%E3%83%B3%E7%90%83%E9%9D%A2 https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%B3%E3%83%91%E3%82%AF%E3%83%88%E5%8C%96 （>>718 より、さらに補足） https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0 >>741 >>742 >>742 >>743 >>744 >>744 >>750 https://ja.wikipedia.org/wiki/%E6%A5%B5%E9%99%90%E9%A0%86%E5%BA%8F%E6%95%B0 ＞濃度が１なる集合ωが存在すると考えるだけのこと >>751 >>751 補足 >>731 より） >>754 https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0 https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86 >>754 >正しいZermeloのωは、実は さらにいうと、Zermeloのnはシングルトンでなくてもいい >>758 つまり >>754 http://penguinitis.g1.xrea.com/ http://penguinitis.g1.xrea.com/study/note/number.pdf >>761 タイポ訂正 >>761 >>756 https://rio2016.5ch.net/test/read.cgi/math/1603152453/1 >>761 https://rio2016.5ch.net/test/read.cgi/math/1595034113/7 >>764 >>765 順序数αについて >>765 >>768 順序数αについて ◆yH25M02vWFhPさん >>768 に答えられず沈黙… 一番外側の{}がないんじゃそもそも集合じゃない、って、真っ先に気づかなくちゃ A＝{a1,a2,…}となってたら、Aの要素x（x∈A）は、a1,a2,…のいずれかに限られる これ初歩なｗ あと、A={{a}}だったら、{a}はAの要素だが、aはAの要素ではない これも初歩なｗ 結論：{{},{{}},{{{}}},…}は集合だけど、…{{{}}}…は集合ではない スレチだが https://www.nikkei.com/article/DGXMZO65961740X01C20A1MM0000/ >>765 >>779 >>779 https://en.wikipedia.org/wiki/Transfinite_number >>779 とは逆に >>779 よりはまし 順序数ｘについて、その後者を｛ｘ｝と定義しただけでは {{},{{}},{{{}}},…}（要素が無限個）は基礎の公理を満たします >>784 https://ja.wikipedia.org/wiki/%E6%AD%A3%E5%89%87%E6%80%A7%E5%85%AC%E7%90%86 http://www.math.tsukuba.ac.jp/ ~tsuboi/under.html http://www.math.tsukuba.ac.jp/ ~tsuboi/und/14logic3.pdf https://amonphys.web.fc2.com/ https://amonphys.web.fc2.com/amonfm.pdf >>785 https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0 https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86 >>786 タイポ訂正 >>786 https://www.youtube.com/watch?v=8W1rV-1a1Hw >>779 でいうと、一番外側の{}が存在しないことにあたります >>789 https://ja.wikipedia.org/wiki/%E6%B7%BB%E5%AD%97%E9%9B%86%E5%90%88 https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%BC%E3%82%B7%E3%83%BC%E5%88%97 https://ja.wikipedia.org/wiki/%E5%86%86%E5%91%A8%E7%8E%87 >>790 >>788 >>790 >>791 （転載） https://rio2016.5ch.net/test/read.cgi/math/1595034113/ >>795 >>785 より https://ja.wikipedia.org/wiki/%E6%AD%A3%E5%89%87%E6%80%A7%E5%85%AC%E7%90%86 http://www.math.tsukuba.ac.jp/ ~tsuboi/under.html http://www.math.tsukuba.ac.jp/ ~tsuboi/und/14logic3.pdf >>795 >>795 >>794 >>795 のように、”lim n→∞ xn =ω”と書くとき >>795 に書いたけれど、Zermeloのシングルトンによる自然数の構成だと、歴史的に批判されたらしいが、順序数の構成は良いけど、基数はどうするの？ と >>799 https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86 https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0 https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90%E5%85%AC%E7%90%86 >>798 https://rio2016.5ch.net/test/read.cgi/math/1603152453/1 >>799 タイポ訂正他 >>800 で https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90%E5%85%AC%E7%90%86 >>799 の https://ja.wikipedia.org/wiki/%E9%80%86%E6%95%B0%E5%AD%A6 >>799 >>802 >>802 >>800 より)） >>805 >>805 >>795 >>795 >>806 まとめ ■ このスレッドは過去ログ倉庫に格納されています
