[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
827(2): 2022/04/30(土)17:49 ID:vde4VtIl(1) AAS
>>823
>>753での
ショルツェが ＞証明が可読でない、からの流れだよ。
＞いや、いろいろ公開あるよ
＞下記をご参照
は、フェセンコのレポートを、もう少しゆっくり読んでみましょう。
>>770で、
＞ドイツの数学者は自分たちのレポートをオンラインで利用できるようにするつもりでしたが、
IUTの著者の包括的なレポート20とこれらのコメント21を読んだ後、彼らは考えを変え、
その時点で自分のレポートを投稿する計画を断念しました。
省8
828(1): 2022/04/30(土)19:53 ID:Vf6bDvV+(21/26) AAS
>>813
>いや
>・プログラムの検証ですよ
>・プログラムのバグとりもできたらいいですね
>・プログラムの説明はその後のことですよ
>プログラムにもなんにもなってない記述に
>説明もヘッタクレもないですから
あなたは、数学あんまし出来ないんじゃない？
事態を、抽象化して、その後に 個別具体的事象に当て嵌めるって
そういう操作が苦手なのかな？
省7
829(2): 2022/04/30(土)19:54 ID:Vf6bDvV+(22/26) AAS
>>828
つづき
・通常の数学論文では、IUTほど「可読性」が問題になることは少ない
（皆無ではない。古くはガロアの第一論文とか、カントールの非可算無限集合論とかがある）
・そこで、プログラムに例えると
1）プログラムの設計と書き方
2）プログラムの検証
3）プログラムの可読性
に分けて考えることが出来る
・「プログラムの設計と書き方」は、C言語を使うとか、サブルーチンと本体プログラムとの関係とか
省15
830: 2022/04/30(土)19:56 ID:Vf6bDvV+(23/26) AAS
>>827
＞その流れを考えると、ショルツェが ＞証明が可読でない。
どうもです
そうかも、きっとそうかも ですね
831: 2022/04/30(土)21:07 AAS
>>827
＞あなたは、数学あんまし出来ないんじゃない？
中卒下げマスにはいわれたくねえなあｗ
下げマスはそもそも
・定義が読めない
・公理の論理的意味が理解できない
・定理の証明の論理が理解できない
それじゃ大学数学は初歩から無理だわｗ
＞専門の論文の可読性は、読み手のレベル問題もあるのです
ＩＵＴの件に関してはそれウソな
省3
832: 2022/04/30(土)21:22 AAS
>>829
＞（証明を）プログラムに例えると
＞ 1）プログラムの設計と書き方
＞ 2）プログラムの検証
＞ 3）プログラムの可読性
＞ に分けて考えることが出来る
ほんまけ？
＞・「プログラムの設計と書き方」は、
＞ C言語を使うとか、サブルーチンと本体プログラムとの関係とか
＞ 「プログラムの検証」は、論文の査読に相当する
省31
833: 2022/04/30(土)21:35 AAS
>>829
＞玉川先生など、IUTの検証は終わったと言っている
＞（これを正当と認めるか否かの議論は別として）
別とするのが卑怯卑劣なネトウヨｗ
そもそも検証なんか全然してないのに査読しました
とかいうことが不当だといってるわけ
日本人は卑怯卑劣嘘つきだと馬鹿にされてるわけ
ニホンザルのネトウヨ 下げマスは
「卑怯卑劣で何が悪い 嘘でもなんでも勝てば官軍！」
と野蛮なこといってるわけ 実に不快なわけ 分かる？ｗ
省32
834(1): 2022/04/30(土)22:09 ID:EqjUIJse(1) AAS
千葉雅也『現代思想入門』発売@masayachiba 2時間
望月新一氏の宇宙際タイヒミュラー理論に関するNHKの番組を観た。面白かった。
一般向け説明を聞いただけなのだが、数学全体を一つの宇宙にして、
全体をデュプリケートして二宇宙の関係を考えるという発想自体に猛反発、とのこと。
うーん。可能世界論と似てる気がするけど、でも、全く同じクローン世界同士で操作するのは哲学的可能世界論にもないことか。
あとこういうこと言うと、また千葉がテキトーな、と言われるに決まってるが、
ちょっとラリュエルっぽさがある気がした。むしろラリュエルについて考えたくなった。
と言ってもわかる人がほぼいないわけだが。ラリュエルの論理構造をある程度読んでる人は日本に数人しかいないと思うので。
数学にはその正しさの承認があるから、世紀の大理論が公共的に認められるけど、哲学だと曖昧になってしまう。
デリダによる脱構築の発明とかって、数学者の大理論に匹敵すると思うが、そういう扱いは受けない。
省2
835(1): 2022/04/30(土)23:14 ID:Vf6bDvV+(24/26) AAS
>>834
ありがとうございます
その話は面白いね
フランスは哲学が盛んなんだね
数学者のヴェイユの妹が、哲学者だったかな
外部ﾘﾝｸ:ja.wikipedia.org
シモーヌ・ヴェイユ（ヴェーユ、Simone Weil, 1909年2月3日 - 1943年8月24日）は、フランスの哲学者である。父はユダヤ系の医師で、数学者のアンドレ・ヴェイユは兄である。
ヴェイユは第二次世界大戦中に英国アシュフォード（ケント）でほぼ無名のまま客死した（享年34）。戦後、知人に託されていたノート(カイエ)を編集した箴言集『重力と恩寵』が出版され、ベストセラーとなった。その後もあちこちに残されていた膨大な原稿・手紙・ノート類を、知人やヴェイユの思想に感銘を受けたカミュが編集・出版するにつれてその深い思索への評価は高まり、多言語で翻訳されるようになった。遺稿は政治思想、歴史論、神学思想、労働哲学、人生論、詩、未完の戯曲、日記、手紙など多岐に渡る。
外部ﾘﾝｸ:ja.wikipedia.org
千葉 雅也（ちば まさや、1978年12月14日 - ）は、日本の哲学者、小説家。 研究分野は哲学および表象文化論。学位は博士（学術）（東京大学・課程博士[2]・2012年）。立命館大学大学院先端総合学術研究科、同大学衣笠総合研究機構生存学研究所教授。栃木県宇都宮市出身。
省7
836(2): 2022/04/30(土)23:15 ID:Vf6bDvV+(25/26) AAS
>>835
つづき
外部ﾘﾝｸ:ja.wikipedia.org
フランソワ・ラリュエル（Francois Laruelle, 1937年8月22日 - ）は、フランスの哲学者。国際哲学コレージュとパリ第10大学ナンテールで教鞭を執った。1970年代初頭から執筆活動を開始し、これまでに約20冊の著作を発表している。高等師範学校の卒業生であるラリュエルは、非哲学（non-philosophy）という概念を提唱したことで知られる。
外部ﾘﾝｸ:ja.wikipedia.org
非哲学 (フランス語: non-philosophie）は、フランスの大陸哲学者フランソワ・ラリュエル（元国際哲学コレージュおよびパリ第十大学：ナンテール）が展開した概念である。
ラリュエルによる非哲学
ラリュエルは、（古代哲学から分析哲学、脱構築などに至る）あらゆる形態の哲学は、ある先行する決定を中心に構造化されているが、この決定に対して構成的に盲目のままであると主張する。ラリュエルがここで念頭に置いている「決定」は、世界を哲学的に把握するためになされる世界の弁証法的分割である。
(引用終り)
以上
837(1): 2022/04/30(土)23:42 ID:Vf6bDvV+(26/26) AAS
>>836
＞ラリュエルによる非哲学
「ラリュエルによる非哲学」は、哲学か？
もし、Yesなら、”「ラリュエルによる非哲学」は哲学”となり矛盾
”「ラリュエルによる非哲学」は、哲学ではない”？ では、それは何か？ きっと それを哲学的に考察する必要があるなｗ
まあ、冗談ですが
>望月新一氏の宇宙際タイヒミュラー理論に関するNHKの番組を観た。面白かった。
>一般向け説明を聞いただけなのだが、数学全体を一つの宇宙にして、
>全体をデュプリケートして二宇宙の関係を考えるという発想自体に猛反発、とのこと。
望月IUTの”二宇宙”とかは、用語”宇宙”の使用については、完全に望月先生の個人趣味で、世間一般の数学の用語の使い方からズレていると思います
省12
838(1): 2022/05/01(日)00:02 ID:txhCGf0/(1/7) AAS
>>836
>ラリュエルによる非哲学
「ラリュエルによる非哲学」は、哲学か？
もし、Yesなら、”「ラリュエルによる非哲学」は哲学”となり矛盾
”「ラリュエルによる非哲学」は、哲学ではない”？ では、それは何か？ きっと それを哲学的に考察する必要があるなｗ
まあ、冗談ですが
>望月新一氏の宇宙際タイヒミュラー理論に関するNHKの番組を観た。面白かった。
>一般向け説明を聞いただけなのだが、数学全体を一つの宇宙にして、
>全体をデュプリケートして二宇宙の関係を考えるという発想自体に猛反発、とのこと。
望月IUTの”二宇宙”とかは、用語”宇宙”の使用については、完全に望月先生の個人趣味で、世間一般の数学の用語の使い方からズレていると思います
省7
839: 2022/05/01(日)00:25 ID:txhCGf0/(2/7) AAS
>>837 追加
(参考)
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
[17] 宇宙際タイヒミューラー理論への誘（いざな）い （2015-02） （京都大学数理解析研究所 2015年02月） PDF
P16
§4. 宇宙際性と遠アーベル幾何
主定理: O-link の 左辺に対して、軽微な不定性を除いて、右辺の「異質」な環構造しか用いない言葉により、 明示的なアルゴリズムによる記述を与えることができる。解釈:「狭いパイプ」でしか繋がっていないような状況(=例えば、 宇宙船にいる宇宙飛行士や地下の鉱山で働く作業員等)において、 限られた情報を賢く利用することによって「向こう側」の状況を復元し、 把握することができる。
P18
宇宙=集合に対するラベル付けの仕組み の変換
(引用終り)
省2
840: 2022/05/01(日)02:38 ID:6LpCNPT7(1) AAS
>>703
判決前例を知らないの？故意にしろテメェで曝した個人情報はテメェの責任でしかなくなる事が示され済み｡
しっかし、だから、女みたいな口調で書くなって言っとるじゃろ｡
しっかし、何ぞ？女の悪い所を煮詰めた様な雰囲気を滲み出させるほどの悪化が見受けられる、そのフェミニン口調は？
知っとるか？男のド腐れは「桁違いの違う仕打ち」で治してやる事が出来るが
昭和の死語『女の腐ったのより酷い』奴は、『立場を落としつつ桁違いどころか次元が違う仕打ち』でないと治せん事を｡
何故かは知らんが、育ちの男女差に理由がある様じゃ。外遊びしてる人間ほど空間認識能力や危機感が育つ事が
最近は言われとるが、そこに付け加え親が厳しく叱る時の男児女児の差にもある事は誰の目にも明らかじゃろう｡
つまりこれは男女差別的な評価ではあるが不当曲解評価ではなく正当事実評価である｡
841: 2022/05/01(日)07:14 AAS
中卒下げマス
「必要なのは、プログラムのコメントではなくプログラム自体」
に全く反論できず、フランス現代哲学とかいうホラ話に逃避
ほんとこいつ日本人失格のニホンザルだなｗ
842: 2022/05/01(日)07:29 AAS
外部ﾘﾝｸ:ja.wikipedia.org
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
ラリュエルは、哲学の決定的構造は非哲学的にしか把握できないと主張している。
この意味で、非哲学は哲学についての科学である。
しかし、非哲学はメタ哲学ではない。
というのも、ラリュエル研究者のレイ・ブラシエが述べているように、
「哲学は既にその構成的な再帰性を通してメタ哲学的」だからである。
ブラシエはまた、非哲学を
「超越論的な公理を経て進行し、哲学的に解釈不可能な定理を生み出す
哲学の理論的実践」と定義している。
省21
843(1): 2022/05/01(日)07:35 AAS
ところで、推移律的な考えで接続していって
元のところに戻ってきたつもりが実はズレていた
というのはまさにモノドロミーであるｗ
対数関数のリーマン面もらせん面状であり
原点のまわりを一周してもどってくると
２πｉだけズレるのである
ここで望月新一のトリックとショルツの指摘が
つながっちゃうのである
したがって望月新一はショルツの
「モノドロミー、どうすんの？」
省6
844(1): 2022/05/01(日)07:39 AAS
テレンス・タオじゃないけど
「ABC予想が解けたっていうのに
任意のε＞０に対して
c > d^(1+ε)
（ｄは積 abc の互いに異なる素因数の積）
を満たす組 (a, b, c) の個数やらｃの上限やらについて
何の情報も得られないってなんか胡散臭くね？」
とは思う
845(3): 2022/05/01(日)09:24 ID:txhCGf0/(3/7) AAS
>>843
(引用開始)
ところで、推移律的な考えで接続していって
元のところに戻ってきたつもりが実はズレていた
というのはまさにモノドロミーであるｗ
対数関数のリーマン面もらせん面状であり
原点のまわりを一周してもどってくると
２πｉだけズレるのである
ここで望月新一のトリックとショルツの指摘が
つながっちゃうのである
省17
846(1): 2022/05/01(日)09:24 ID:txhCGf0/(4/7) AAS
>>845
つづき
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
リーマン面
全てのリーマン面は向きづけ可能な実 2 次元の実解析的多様体（従って曲面）であって、正則関数を一義的に定義するために必要な追加的構造（特に複素構造）を含む。
リーマン面は、でき得る限り良い特性を有しているという幾何学的事実から、他の曲線、多様体または代数多様体に対し一般化の直感および動機をしばしばもたらす。リーマン・ロッホの定理は、この影響の第一の例である。
外部ﾘﾝｸ:ja.wikipedia.org
楕円曲線（だえんきょくせん、英: elliptic curve）とは種数 1 の非特異な射影代数曲線、さらに一般的には、特定の基点 O を持つ種数 1 の代数曲線を言う[1]。
楕円関数論を使い、複素数上で定義された楕円曲線はトーラスの複素射影平面（英語版）への埋め込みに対応することを示すことができる。トーラスもアーベル群で、実はこの対応は群同型かつ位相的に同相にもなっている。したがって、位相的には複素楕円曲線はトーラスである。
省4
上下前次1-新書関写板覧索設栞歴
あと 156 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.025s