Inter-universal geometry と ABC予想 (応援スレ) 65

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

806: １３２人目の素数さん [] 2022/04/30(土) 13:13:52.14 ID:Vf6bDvV+

>>800
>思いっきり「昭和」だな…
>ボクが大学の研究室に入ったときに
>教授から最初に教わったのは以下
>「フローチャートはプログラムの構造化の役には立ちません
>　思いっきりスパゲッティ化されたフローが書けるから」

ああ、昭和かなｗ
あなたの議論は、「構造化プログラミング」（“goto”レス）ってやつでしょ？
（あるいは、トップダウンプログラミング開発とか）

だけど、いま言っているのは、「出来ているプログラミングを、他人が読んで、どう理解し、改善とか不具合があれば直すのか？」とか
そのためには、「フローチャートや、中にコメントが入っていたら、良いよね」って話ですよ

(参考)
https://e-words.jp/w/%E6%A7%8B%E9%80%A0%E5%8C%96%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0.html#:~:text=%E6%A7%8B%E9%80%A0%E5%8C%96%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0%E3%81%A8%E3%81%AF,%E3%81%A8%E7%90%86%E8%A7%A3%E3%81%95%E3%82%8C%E3%81%A6%E3%81%84%E3%82%8B%E3%80%82
構造化プログラミング 【structured programming】 構造化手法
今日一般的に言われる構造化プログラミングとは、プログラム中のコードの実行順の制御を、記述した順番に実行する「順接」あるいは「順次」（sequence）、指定された条件が成り立つ間繰り返す「反復」あるいは「繰り返し」（iteration）、指定された条件を満たすか否かによって枝分かれする「分岐」あるいは「選択」（selection）の三つのみを組み合わせて記述することとされる。

特に、実行順の制御をこの三つに限定することにより、かつてのプログラミングで多用されていた、指定した任意の位置に無条件に移動する “goto” 文を排除し、処理の流れがあちこちへ飛んで見通しが悪くなるのを防ぐことが重要であると説明される。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1644632425/806

814: sage [] 2022/04/30(土) 14:37:29.72 ID:QdWl7JVy

>>762
>>770
SS文書の誤りについて、フェセンコ指摘の対訳ありがとう。

思い出した。
SS文書は２個あって、１個めが５月で、２個めが９月だったけど、
いま公開されて残っているのは９月の文書だね。

下記ので５月の方は、
＞これらのコメント21を読んだ後、彼らは考えを変え、その時点で自分のレポートを投稿する計画を断念しました
は、望月に送られた文書と回答がブログに載って、望月の回答文章にSSへの質問があったけど、無回答だったね。
初心者レベルだと望月に指摘されたのは、５月のSS文書の方だった。

その後の９月のSS文書だけが公開で残っているけど、
あの５月のSS文書への望月質問の回答は、確かに答えないままだが、どうなったのだろう。

＞The German mathematicians intended to make their report available online, however, after reading the comprehensive report20 of the author of IUT on their report and these comments21, they changed their mind and abandoned plans to post their own report at that time. In his comprehensive report on their report the author of IUT formulated few questions to the German mathematicians which may have helped them to appreciate their mistakes.22 However, the second version of their report failed to address those questions.
＞Moreover, it included new incorrect statements demonstrating lack of basic knowledge of more classical areas such as height theory and one of the Faltings papers.

＞ドイツの数学者は自分たちのレポートをオンラインで利用できるようにするつもりでしたが、IUTの著者の包括的なレポート20とこれらのコメント21を読んだ後、彼らは考えを変え、その時点で自分のレポートを投稿する計画を断念しました。 彼らの報告に関する彼の包括的な報告の中で、IUTの著者はドイツの数学者に彼らの過ちを理解するのを助けたかもしれないいくつかの質問を作成しました22。しかし、彼らの報告の第2版はそれらの質問に対処できませんでした。
＞さらに、高さ理論やファルティングスの論文の1つなど、より古典的な分野の基本的な知識が不足していることを示す新しい誤った記述が含まれていました。

http://rio2016.5ch.net/test/read.cgi/math/1644632425/814

832: １３２人目の素数さん [sage] 2022/04/30(土) 21:22:50.15

>>829
＞（証明を）プログラムに例えると
＞　1）プログラムの設計と書き方
＞　2）プログラムの検証
＞　3）プログラムの可読性
＞　に分けて考えることが出来る

ほんまけ？

＞・「プログラムの設計と書き方」は、
＞　C言語を使うとか、サブルーチンと本体プログラムとの関係とか
＞　「プログラムの検証」は、論文の査読に相当する
＞　「プログラムの可読性」は、メンテナンスも考えると、
＞　作者と別の人が読めるように、どの言語を使ったとか、
＞　フローチャートを作るとか、コメントを入れて
＞　変数の意味づけやサブルーチンの意図を書いておくとか

下げマス　システム設計したこと全然ないやろｗ

「プログラムの検証」とはプログラムが仕様を満たすことの証明
ここで仕様は当然論理式で記述する
プログラムの各ステートメントは
実行前の事前条件と事後条件の組で
意味が明確に記載できる（ホーア論理）
https://ja.wikipedia.org/wiki/%E3%83%9B%E3%83%BC%E3%82%A2%E8%AB%96%E7%90%86
ホーア論理に従って、プログラム全体の仕様が
証明できれば検証できたことになる

つまり「ま、いいんじゃね」とかいう
気分的なチェックは検証でもなんでもないのよ
FesenkoもSaidiもカトブンもまったく
IUT論文を検証できてないってこと
そんなん「査読」とかいってるなら数学は死んでるねｗ

＞・そうすると、「プログラムの検証」と
＞「プログラムの可読性」とは分けることが出来る

なんか下げマスはくだらぬ言い訳ばっかりしてるけど
そもそもＩＵＴ論文は検証すら全然できてないのが問題
「ホーア論理」にあたるのが形式的証明による検証
そもそも証明＝プログラムであるから別におかしくはない

＞ある読み手にとっては「プログラムの可読性」が悪くても、
＞別の人で「プログラムの検証」はちゃんと出来ているってことが
＞あってもおかしくない

そもそもできてない
検証できてるなら可読性なんか完璧にできる
ま、論理の基本も分かってない論盲の下げマスみたいな
人間失格のニホンザルは別だがなｗｗｗ

http://rio2016.5ch.net/test/read.cgi/math/1644632425/832

835: １３２人目の素数さん [] 2022/04/30(土) 23:14:53.81 ID:Vf6bDvV+

>>834
ありがとうございます
その話は面白いね

フランスは哲学が盛んなんだね
数学者のヴェイユの妹が、哲学者だったかな

https://ja.wikipedia.org/wiki/%E3%82%B7%E3%83%A2%E3%83%BC%E3%83%8C%E3%83%BB%E3%83%B4%E3%82%A7%E3%82%A4%E3%83%A6_(%E5%93%B2%E5%AD%A6%E8%80%85)
シモーヌ・ヴェイユ（ヴェーユ、Simone Weil, 1909年2月3日 - 1943年8月24日）は、フランスの哲学者である。父はユダヤ系の医師で、数学者のアンドレ・ヴェイユは兄である。
ヴェイユは第二次世界大戦中に英国アシュフォード（ケント）でほぼ無名のまま客死した（享年34）。戦後、知人に託されていたノート(カイエ)を編集した箴言集『重力と恩寵』が出版され、ベストセラーとなった。その後もあちこちに残されていた膨大な原稿・手紙・ノート類を、知人やヴェイユの思想に感銘を受けたカミュが編集・出版するにつれてその深い思索への評価は高まり、多言語で翻訳されるようになった。遺稿は政治思想、歴史論、神学思想、労働哲学、人生論、詩、未完の戯曲、日記、手紙など多岐に渡る。

https://ja.wikipedia.org/wiki/%E5%8D%83%E8%91%89%E9%9B%85%E4%B9%9F
千葉 雅也（ちば まさや、1978年12月14日 - ）は、日本の哲学者、小説家。 研究分野は哲学および表象文化論。学位は博士（学術）（東京大学・課程博士[2]・2012年）。立命館大学大学院先端総合学術研究科、同大学衣笠総合研究機構生存学研究所教授。栃木県宇都宮市出身。
1997年3月、栃木県立宇都宮高等学校卒業
1997年4月 - 1999年3月、東京大学教養学部文科三類
2005年10月 - 2006年9月、パリ第10大学文学・言語・哲学科哲学専攻（2005年度 - 2006年度 フランス政府給費留学生）Master2課程（Master2論文「Le temps du masochisme, ou l'en-deca de principe de plaisir chez Gilles Deleuze」）[4]
2005年9月 - 2007年3月、高等師範学校 (フランス)、外国人研究生（2005年度 - 2006年度 フランス政府給費留学生）
専門
学生時代から大陸哲学、特にフランス現代哲学を専門的に研究し、東京大学修士論文、パリ第10大学Master2論文、東京大学博士論文に至るまで、一貫してジル・ドゥルーズの哲学をメインテーマとしている。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1644632425/835

837: １３２人目の素数さん [] 2022/04/30(土) 23:42:10.40 ID:Vf6bDvV+

>>836
＞ラリュエルによる非哲学

「ラリュエルによる非哲学」は、哲学か？
もし、Yesなら、”「ラリュエルによる非哲学」は哲学”となり矛盾
”「ラリュエルによる非哲学」は、哲学ではない”？ では、それは何か？　きっと それを哲学的に考察する必要があるなｗ
まあ、冗談ですが

>望月新一氏の宇宙際タイヒミュラー理論に関するNHKの番組を観た。面白かった。
>一般向け説明を聞いただけなのだが、数学全体を一つの宇宙にして、
>全体をデュプリケートして二宇宙の関係を考えるという発想自体に猛反発、とのこと。

望月IUTの”二宇宙”とかは、用語”宇宙”の使用については、完全に望月先生の個人趣味で、世間一般の数学の用語の使い方からズレていると思います
実際、いまどき（21世紀）の数学の本や論文で、用語”宇宙”なんて、数学基礎論以外では出てこない（もし反例があれば教えて欲しい）
数学基礎論では、集合論や圏論の入れ物として、用語”宇宙”を使うようです

昔々、グロタンディークというフランスの数学者が居て、圏論の黎明期に、圏論の基礎として、グロタンディーク宇宙を考えたそうな（下記）
望月先生のは、それのパロディーらしい
まあ、望月IUT”宇宙”は、関西風だじゃれみたいなものです（到達不能基数の議論はIUTには出てきませんしｗ）
あんまり真剣に、目くじら立てないように、お願いします

(参考)
https://ja.wikipedia.org/wiki/%E3%82%B0%E3%83%AD%E3%82%BF%E3%83%B3%E3%83%87%E3%82%A3%E3%83%BC%E3%82%AF%E5%AE%87%E5%AE%99
宇宙のアイデアは、アレクサンドル・グロタンディークが代数幾何において真のクラスを回避する方法として導入したことに起因する。
グロタンディーク宇宙は、すべての数学が実行可能な集合を与える（実際には、集合論のためのモデルを与える）。
宇宙の公理 (U) から巨大基数の公理 (C) が導かれることを示すために κ を基数とする。κ は集合なのでグロタンディーク宇宙 U の元である。U の濃度は κ より大きな強到達不能基数となる。
実際、任意のグロタンディーク宇宙はある κ に対し u(κ) の形となる。これはグロタンディーク宇宙と強到達不能基数の間の別の同値性を与えるものである

http://rio2016.5ch.net/test/read.cgi/math/1644632425/837

842: １３２人目の素数さん [sage] 2022/05/01(日) 07:29:10.88

https://ja.wikipedia.org/wiki/%E9%9D%9E%E5%93%B2%E5%AD%A6
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
ラリュエルは、哲学の決定的構造は非哲学的にしか把握できないと主張している。
この意味で、非哲学は哲学についての科学である。
しかし、非哲学はメタ哲学ではない。
というのも、ラリュエル研究者のレイ・ブラシエが述べているように、
「哲学は既にその構成的な再帰性を通してメタ哲学的」だからである。
ブラシエはまた、非哲学を
「超越論的な公理を経て進行し、哲学的に解釈不可能な定理を生み出す
　哲学の理論的実践」と定義している。
非哲学の公理と定理が哲学的に解釈不可能である理由は、先に説明したように、
非哲学のようには哲学はその決定的構造を把握することができないからである。
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー

上記の説明から察するにラリュエル氏のいう「非哲学」なるものは
「前哲学」とでも呼んだほうがいいのではないか？
ついでにいうと「形而上学」はもともとメタフィジクスであるが
これも「前物理学」と呼ぶのが本来の意味に即していると思う
（なお、「メタ数学」は「数学体系を対象とする数学」であっても
数学以前を考察するものではないから「前数学」ではない）

ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
ラリュエルの非哲学と哲学との関係は、
非ユークリッド幾何学とユークリッドの仕事
と類比的に捉えられるべきである、と彼は主張している。
それは特にアラン・バディウのようなジャック・ラカンの哲学的相続者と対立している。
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー

ラリュエル氏の説明に基づくなら、
ユークリッド幾何学と非ユークリッド幾何学は
それぞれ異なる哲学に対応するのであって、
彼のいう「非哲学」なるものは、むしろ
平行線公理の是非以前の「前ユークリッド幾何学」
と考えるべきではないかと思う

http://rio2016.5ch.net/test/read.cgi/math/1644632425/842

上下前次 1-新書関写板覧索設栞歴

あと 123 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.022s