[過去ﾛｸﾞ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 (1002ﾚｽ)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 http://rio2016.5ch.net/test/read.cgi/math/1566715025/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
952: １３２人目の素数さん [sage] 2019/09/09(月) 17:45:04.15 ID:uwfnXwUu >>951 なんで、この板に書き込むことに固執するのかな？ ＞古い論文にはあったよねｗ それペアノの論文とかのことですか？ ＞大学で「自然数論」を教えていると言い出した あなたが「自然数論」という名前の講義があると誤解した しかし「自然数論」を教えているというのはそういう意味ではない 数学基礎論の中で自然数論の公理系について教えていれば 自然数論を教えたことになる しかも、そこでゲーデル数による不完全性定理の証明を 教えているなら、自然数論の定理を教えているのだから まったく問題ない あなたは言葉を実に狭い意味でとらえる悪い癖があるけど 脳に障害でもあるのかな？ http://rio2016.5ch.net/test/read.cgi/math/1566715025/952
953: １３２人目の素数さん [sage] 2019/09/09(月) 17:46:09.94 ID:uwfnXwUu ID:w2gV7wtrは言葉の理解の仕方が一般人と異なっている アスペルガー症候群の可能性がある http://rio2016.5ch.net/test/read.cgi/math/1566715025/953
954: １３２人目の素数さん [sage] 2019/09/09(月) 17:48:13.01 ID:uwfnXwUu コミュニケーションの障害 アスペルガー症候群では知的能力の発達に遅れはありませんが、 言葉の使いかたが独特であるため、他人との意思疎通が難しい場合があります。 ・本などで覚えた難解な言い回しを使う ・文脈や、間接的な表現を読み取ることが苦手で、相手の発言を文字通りに受け取る ・ユーモアやお世辞、皮肉や比喩を理解することが難しい さらに、耳から入ってくる情報処理が不得意で、会話についていけなくなることもあります。 https://snabi.jp/article/19 http://rio2016.5ch.net/test/read.cgi/math/1566715025/954
955: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/09(月) 17:55:59.08 ID:w2gV7wtr >>950 (引用開始) ID:w2gV7wtrは完全に数学板依存症になってますね 数学板の自分の立てたスレに数学情報を書き込むことで 「俺は数学が分かってる！」と思い込んでいい気分になる ようです でも、はっきりいってそれは自分一人の勘違いです 他の人は書き込みをみて 「ああ、また病気の人が書き散らかしてる」 と思うだけ こんなことをしても病気は治りません 今すぐ書き込みをやめましょう そして空いた時間をもっと有意義なことに使いましょう (引用終り) １）まあ、あなた、非数学的なことを自分が書いているという自覚がありますか？ ２）スレのテンプレ>>1を読まずに、文句垂れているという自覚がありますか？ ３）5CH数学板に幻想をお持ちでしょ？ ここで学会ごっこをやりたいの？ｗ ５CH落書き掲示板でさｗ ４）そもそもは、私の>>802の引用に対して、貴方が、おかしなレス>>836で 「>>803は、いろいろ問題があるね」 と書いてきた あと、「真偽の定義なんて出てこないし」とも書いたね ５）であげく、>>870"あなたは「自然数論の真偽の定義」を示せていませんね"と言い出した で、「自然数論の真偽の定義」を徹底的に追求していくと、あなた答えられないじゃんか ｗ ６）それを取り繕うために、ごたごた書いているだけしょｗ（＾＾ ご苦労さんでした（＾＾ http://rio2016.5ch.net/test/read.cgi/math/1566715025/955
956: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/09(月) 17:59:43.23 ID:w2gV7wtr >>952 >＞古い論文にはあったよねｗ >それペアノの論文とかのことですか？ 前原論文ですよ https://www.jstage.jst.go.jp/article/kisoron1954/14/3/14_3_107/_pdf/-char/ja 自然数論 の無 矛盾性証明の必要性 前原昭二 筑波大学数学系 科学基礎論研究 Vol.14 1979 >＞大学で「自然数論」を教えていると言い出した >あなたが「自然数論」という名前の講義があると誤解した 逆でしょ 「自然数論」はオワコンで、大学教程では「自然数論」を教えているところはないと もちろん、数理論理や基礎論は教えている前提ですよ 曲解必死だね（＾＾ http://rio2016.5ch.net/test/read.cgi/math/1566715025/956
957: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/09(月) 18:24:23.71 ID:w2gV7wtr >>956 補足 １）経緯は下記です（＾＾ ２）であなたのいう「自然数論」は、 2019年の現在では 数理論理学あるいは数学基礎論になっているってことですよ （経緯引用） >>880 集合を外れた「自然数論」に深入りするつもりはないわけよｗ（＾＾ そんなものは、いまの大学数学科の教程にないし オワコンでしょう？ 違いますか？（＾＾； でも、数学史として、こういう議論もあったということは 知っておいても良いとは思いますよ >>887 ＞そんなものは、いまの大学数学科の教程にない ウソはいけませんね ありますよ あなたが知らないだけです ＞オワコンでしょう？ 違いますか？ 違いますね 現役ですから >>893 ＞そんなものは、いまの大学数学科の教程にない >ウソはいけませんね >ありますよ あなたが知らないだけです はい 2019年あるいは、近年でも良いです 例示願います >＞オワコンでしょう？ 違いますか？ >違いますね 現役ですから 多くの大学数学科の教程で、「自然数論」はやらないでしょう？ｗ 新井 敏康先生の2019年の主要な研究テーマが、「自然数論」なのですか？ それって、証明ある？ｗ（＾＾； (引用終り) http://rio2016.5ch.net/test/read.cgi/math/1566715025/957
958: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/09(月) 18:34:54.00 ID:w2gV7wtr >>957 補足 >集合を外れた「自然数論」に深入りするつもりはないわけよｗ（＾＾ 数学基礎論の中に、『公理的集合論』を含むという（下記）が、現代数学の視点でしょ（＾＾ (参考) http://lucien0308.hateblo.jp/entry/2017/12/18/140300 新米数学博士の数学談話室 数学基礎論からじっくり議論するブログです。 2017-12-18 基礎論Vol.1:そもそも「数学基礎論」とはなにか？ (抜粋) こんにちは、ルシアンと申します。唐突に始めたブログですが、まず１つ記事を書いてみたいと思います。 テーマは、「そもそも『数学基礎論』とはなにか？」です。 ※以下の内容は、「そう考えると数学基礎論って必要だね」と思える一つの見方を書いたものです。個人の一意見として捉えてください。 おわりに 今回は「記号論理学」の話が中心的なテーマとなりましたが、次回以降は議論の根拠として引用するのみになると思います。 自分で詳しく学びたいという方は、以下の文献を開いてみて下さい。 ブルバキ「数学原論 集合論I」、東京図書 上野健爾，砂田利一，深谷賢治，神保道夫「岩波講座 現代数学への入門 現代数学の流れ１」、岩波書店 次回は、「なぜ『公理的集合論』は必要か？」というテーマで書くつもりです。 今回の感想や意見、今後の記事の要望などがあれば、こちらの記事にコメントか、質問箱（略）にてお知らせください http://lucien0308.hateblo.jp/entry/2017/12/24/030848 2017-12-24 基礎論Vol.3:なぜ「公理的集合論」は必要なのか？ http://rio2016.5ch.net/test/read.cgi/math/1566715025/958
959: １３２人目の素数さん [sage] 2019/09/09(月) 18:41:14.87 ID:uwfnXwUu >>955 非数学的な発言をしているのは、あなたです あなたの言うことに従う必要はありません ５ｃｈだから嘘を書いていい、とはいえません ＞「自然数論の真偽の定義」を徹底的に追求していくと そもそも引用したあなたが追求されているので 自分が答えられないことをごまかすために 私に対して定義を追求するのが卑怯で卑劣なのです 恥を知りましょう http://rio2016.5ch.net/test/read.cgi/math/1566715025/959
960: １３２人目の素数さん [sage] 2019/09/09(月) 18:45:35.40 ID:uwfnXwUu >>956 ＞前原論文ですよ 前原論文は「自然数論」というタイトルではありませんよｗ 「自然数論の無矛盾性証明の必要性」ですね そして「自然数論の無矛盾性証明」は数理論理学の範囲です そして自然数論の無矛盾性証明も数理論理学の現役の内容です オワコン？あなたが大学の数理論理学を知らないだけですよ http://rio2016.5ch.net/test/read.cgi/math/1566715025/960
961: １３２人目の素数さん [sage] 2019/09/09(月) 18:49:03.54 ID:uwfnXwUu >>957 ＞あなたのいう「自然数論」は、2019年の現在では ＞数理論理学あるいは数学基礎論になっているってことですよ それは嘘ですね 前原の「自然数論の無矛盾性証明」は その当時も数学基礎論に関することとして扱われていたので、 「自然数論」という名の講義があったわけではないですね わけのわからない弁解は見苦しいのでやめましょう あなたが素人の勝手な妄想で語っていたのは明白です いいかげん自分が何もわかってないことを理解しましょう あなたは数学的には馬鹿ってことです http://rio2016.5ch.net/test/read.cgi/math/1566715025/961
962: １３２人目の素数さん [sage] 2019/09/09(月) 18:52:34.91 ID:uwfnXwUu >>958 ＞集合を外れた「自然数論」に深入りするつもりはないわけよ 素人の訳の分からん妄想ですね 自然数論において「自然数全体の集合」は出てきません 必要ないからです http://rio2016.5ch.net/test/read.cgi/math/1566715025/962
963: １３２人目の素数さん [] 2019/09/09(月) 18:54:27.96 ID:uwfnXwUu 実数論を展開するには「自然数全体の集合」が必要になります 当然その部分集合も必要になります http://rio2016.5ch.net/test/read.cgi/math/1566715025/963
964: １３２人目の素数さん [sage] 2019/09/09(月) 19:06:26.14 ID:uwfnXwUu ＞あなたは数学的には馬鹿ってことです おそらく激怒してるでしょうが はっきり申し上げれば世の中の人の９９％は数学的には馬鹿です 要するに数学的には馬鹿が絶対多数です 大学レベル数学が分かってる人というのは、 高額所得者と同程度に少数派なのです そりゃそうでしょう 大学の数学なんて数学科でしか教えてないし 数学科の学生なんて大学生全体のほんのわずかですから こういうことはほかの学問でも同じなので 例えば私は物理学的、化学的、生物学的には馬鹿ってことです 政治学的、経済学的にも馬鹿でしょうけど この場合馬鹿のほうがいいんじゃないかとも思えます 政治は悪、経済も悪、というのが私の認識ですから http://rio2016.5ch.net/test/read.cgi/math/1566715025/964
965: １３２人目の素数さん [sage] 2019/09/09(月) 19:11:54.28 ID:uwfnXwUu 最近、数学者が経済について語りたがる傾向がありますが これには重大な落とし穴があります つまり、経済が権力の上に成り立っているという事実を看過して あたかも公理系であるかのごとく考える点です はっきりいって我々は経済学における公理系も それを成立させるために存在している権力も 無条件に認めるべきものと考えませんし 考えるべきではありません http://rio2016.5ch.net/test/read.cgi/math/1566715025/965
966: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/09(月) 19:26:41.38 ID:w2gV7wtr >>958 >集合を外れた「自然数論」に深入りするつもりはないわけよｗ（＾＾ 参考 スライドにリンクがあります 基礎論⊃集合論ですｗ（＾＾ https://www.sci.shizuoka.ac.jp/~math/yorioka/ss2019/ 数学基礎論サマースクール 選択公理と連続体仮説 2019年9月3日(火)?同6日(金) (抜粋) https://www.sci.shizuoka.ac.jp/~math/yorioka/ss2019/images/last.jpg 概要 選択公理は今日においても数学者が集合論に関心を引かれるきっかけとなる最大のテーマであり，また，連続体仮説の周辺の問題は現在も集合論の中心問題のひとつです． 今回のサマースクールでは，これら古典的問題の現代的な取り扱い，および関連する最近の話題を紹介します． 講義題目と講師 菊池誠 (神戸大学) 集合論のための数理論理学 １．数理論理学の基礎，数理論理学と集合論 ヒルベルト流の述語論理の体系，完全性定理，ペアノ算術と不完全性定理，集合という考え方，ZFC 集合論の公理．[スライド] 藤田博司 (愛媛大学) ツェルメロの選択公理 ０．順序数と基数 集合と写像の概念から出発して，集合の濃度について説明します．次に，順序数と基数の定義を述べます．なるべく基本的なところから説明するように努めます．[スライド] １．選択公理と整列集合 ツェルメロによる整列可能性の証明に初めて選択公理が登場したときの事情にさかのぼり，整列定理，選択公理，ツォルンの補題の同値性を示します．[スライド] ２．選択公理と数学 ティコノフの定理やベクトル空間の基底の存在と選択公理との同値性を示します．[スライド] ３．連続体仮説と集合論についての主張と議論 これまでの集合論を振り返り，連続体仮説と集合論についての講演者の主張とその議論について話します．[スライド] 酒井拓史 (神戸大学) ゲーデルの構成可能集合 ０．公理的集合論 公理的集合論の基礎を説明します．具体的には，集合とクラスの区別，関数や関係などの数学の諸概念の取り扱い，および超限帰納法を解説します．[スライド] １．集合論のモデル 集合論の公理系の無矛盾性を議論するときには，（直感的には）集合論のモデルが用いられます．集合論のモデルについての基本事項を解説します．[スライド] http://rio2016.5ch.net/test/read.cgi/math/1566715025/966
967: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/09(月) 19:31:45.20 ID:w2gV7wtr >>960 (引用終り) ＞前原論文ですよ 前原論文は「自然数論」というタイトルではありませんよｗ 「自然数論の無矛盾性証明の必要性」ですね (引用終り) なにを、子供のようなことを そもそも、「自然数論」なんて論文はないでしょ、普通はｗ（＾＾ （普通は、もう少し具体的な題を付けますよね。アホか） 屁理屈もここまで来たら、笑えるよ （参考） https://www.jstage.jst.go.jp/article/kisoron1954/14/3/14_3_107/_pdf/-char/ja 自然数論 の無 矛盾性証明の必要性 前原昭二 筑波大学数学系 科学基礎論研究 Vol.14 1979 http://rio2016.5ch.net/test/read.cgi/math/1566715025/967
968: １３２人目の素数さん [sage] 2019/09/09(月) 19:32:22.64 ID:uwfnXwUu >>966 いい加減見当違いな発言の誤りに気づきましょう 恥ずかしいですよ http://rio2016.5ch.net/test/read.cgi/math/1566715025/968
969: １３２人目の素数さん [sage] 2019/09/09(月) 19:35:51.04 ID:uwfnXwUu >>967 いい加減見当違いな発言の誤りに気づきましょう 恥ずかしいですよ http://rio2016.5ch.net/test/read.cgi/math/1566715025/969
970: １３２人目の素数さん [] 2019/09/09(月) 19:37:24.54 ID:uwfnXwUu 1は数学をあきらめたほうがいいですね このままここで書き続けても恥かいて 皆から嘲笑され続けるだけですから そんなの惨めじゃないですか http://rio2016.5ch.net/test/read.cgi/math/1566715025/970
971: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/09(月) 19:39:35.41 ID:w2gV7wtr >>964 >＞あなたは数学的には馬鹿ってことです >おそらく激怒してるでしょうが いいえ、それこのスレのテンプレにあります 「スレ主は、皆さんの言う通り、馬鹿であほですから、基本的に信用しないようにお願いします」（下記）な ご苦労さん あんた、勝てないよ、おれにはｗ（＾＾ おれスレ主だし、ここはおれのスレだからねｗ（＾＾； （参考） テンプレ >>8より スレ71 https://rio2016.5ch.net/test/read.cgi/math/1561208978/12- 12 自分：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2019/06/22(土) 22:15:41.21 ID:cA6sFXL+ 過去スレより http://rio2016.2ch.net/test/read.cgi/math/1484442695/338 338 現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/09(日) 23:46:26.46 ID:Rh9CzQs6 スレ主は、皆さんの言う通り、馬鹿であほですから、基本的に信用しないようにお願いします 大体、私は、自分では、数学的な内容は、筆を起こさない主義です じゃ、どうするかと言えば、出典明示とそこからの(抜粋)コピペです まあ、自分なりに、正しそうと思ったものを、(抜粋)コピペしてます が、それも基本、信用しないように 数学という学問は特に、自分以外は信用しないというのが基本ですし ”証明”とかいうらしいですね、数学では その”証明”がしばしば、間違っていることがあるとか、うんぬんとか 有名な話で、有限単純群の分類 ”出来た！”と宣言した大先生が居て、みんな信用していたら、何年も後になって、”実は証明に大穴が空いていた”とか おいおい、競馬じゃないんだよ（＾＾； https://ja.wikipedia.org/wiki/%E5%8D%98%E7%B4%94%E7%BE%A4 単純群 1981年にモンスター群が構成されてからすぐに、群論の研究者たちがすべての有限単純群を分類したという、合計10,000ページにも及ぶ証明が作られ、1983年にダニエル・ゴレンスタインが勝利を宣言した。 これは時期尚早だった、というのはいくつかのギャップが、特に準薄群（英語版）の分類野中で発見されたからである。このギャップは2004年に1300ページに及ぶ準薄群の分類によって埋められており、これは現在は完璧であると一般に受け入れられている。 http://rio2016.5ch.net/test/read.cgi/math/1566715025/971
972: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/09(月) 19:40:42.88 ID:w2gV7wtr >>970 あなたは、言いつくろうのを諦めた方がいい 無理ですよ、無知晒すだけよ（＾＾ http://rio2016.5ch.net/test/read.cgi/math/1566715025/972
973: １３２人目の素数さん [sage] 2019/09/09(月) 19:50:07.24 ID:FL/N//FC 今更どうでも良いけど、以前あがっていた東工大の講義は、数学科の学生向けじゃないと思います。 ×多くの数学科で自然数の構成に類することを含む集合論を習う。 ○数学基礎論を開講している大学はある。 ○今でも基礎論などは研究対象で、それなりに研究者がいる。 っていうイメージ。 基礎論は、数学よりも、情報系の研究者がつかうんじゃないかな。 http://rio2016.5ch.net/test/read.cgi/math/1566715025/973
974: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/09(月) 20:09:05.48 ID:w2gV7wtr >>973 どうも。スレ主です。 レスありがとう (引用開始) 今更どうでも良いけど、以前あがっていた東工大の講義は、数学科の学生向けじゃないと思います。 ×多くの数学科で自然数の構成に類することを含む集合論を習う。 ○数学基礎論を開講している大学はある。 ○今でも基礎論などは研究対象で、それなりに研究者がいる。 っていうイメージ。 基礎論は、数学よりも、情報系の研究者がつかうんじゃないかな。 (引用終り) いや、確かに 左側で、「情報理工学院 数理・計算科学系」ってありますものね 経歴見ても、学歴が「東京工業大学 理学部 情報科学」か 渡邊 治先生は、副学長か 「○数学基礎論を開講している大学はある」に同意 というか、集合論のついでに、論理やZFCその他をやるというイメージですが （参考） https://researchmap.jp/read0048455/ 研究者氏名 鹿島 亮 カシマ リョウ 所属 東京工業大学 経歴 1991年 - 1995年:東京工業大学 助手 1995年 - 1998年:北陸先端科学技術大学院大学 助手 1998年 - 2002年:東京工業大学 講師 2002年 -:東京工業大学 助教授 学歴 - 1991年東京工業大学 理工学研究科 情報科学 - 1988年東京工業大学 理学部 情報科学 https://search.star.titech.ac.jp/titech-ss/pursuer.act?event=outside&key_t2r2Rid=CTT100381381&lang=jp 渡邊 治（ワタナベ オサム） 職歴 東京工業大学 助手(1982-) 東京工業大学 講師(1989-) 東京工業大学 助教授(1990-) 東京工業大学 教授(1997-) 東京工業大学 情報理工学院 学院長(2016-2018) 東京工業大学 理事・副学長（研究担当）(2018-) 学歴（出身学校・出身大学等） 東京工業大学 理工学研究科 情報科学 修士 修了(1982) 東京工業大学 理学部 情報科学科 卒業(1980) http://rio2016.5ch.net/test/read.cgi/math/1566715025/974
975: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/09(月) 20:11:32.15 ID:w2gV7wtr 次スレ立てました 適当に次に移りましょうね（＾＾ 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 https://rio2016.5ch.net/test/read.cgi/math/1568026331/ http://rio2016.5ch.net/test/read.cgi/math/1566715025/975
976: １３２人目の素数さん [sage] 2019/09/09(月) 20:31:30.60 ID:uwfnXwUu >>971 ＞あんた、勝てないよ、おれには その発言であなたこの世に負けてます http://rio2016.5ch.net/test/read.cgi/math/1566715025/976
977: １３２人目の素数さん [sage] 2019/09/09(月) 20:32:28.38 ID:uwfnXwUu >>972 ＞あなたは、言いつくろうのを諦めた方がいい あなたは、ここに書くのをあきらめたほうがいい 笑われるだけ 恥かくだけだよ http://rio2016.5ch.net/test/read.cgi/math/1566715025/977
978: １３２人目の素数さん [sage] 2019/09/09(月) 20:35:15.03 ID:uwfnXwUu >>973 数理論理学が数学科の中で継子扱いされてるのはご存知の通りですが だからといって数学でないとはいえません >>974 素人は黙りましょうね 恥ずかしいから http://rio2016.5ch.net/test/read.cgi/math/1566715025/978
979: １３２人目の素数さん [sage] 2019/09/09(月) 20:39:12.53 ID:uwfnXwUu >>973 ＞自然数の構成に類することを含む集合論 自然数論は集合論の一部ではないですけどね ここは認識が誤っています http://rio2016.5ch.net/test/read.cgi/math/1566715025/979
980: １３２人目の素数さん [sage] 2019/09/09(月) 20:43:15.16 ID:uwfnXwUu 1が世間に負けたのは努力を惜しむ軽薄な考えの持主だから http://rio2016.5ch.net/test/read.cgi/math/1566715025/980
981: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/09(月) 22:26:39.58 ID:w2gV7wtr >>978 ＞素人は黙りましょうね 恥ずかしいから プロ数学者気取り？ｗ（＾＾ 笑えるよ いままであなたが書いてきたことを読めば あなたも素人丸出しでしょｗ（＾＾ http://rio2016.5ch.net/test/read.cgi/math/1566715025/981
982: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/09(月) 22:28:33.53 ID:w2gV7wtr >>980 いいから、そんな屁理屈は、私スレ主にまかせて あなたは、「自然数論」のシッタカ（蘊蓄とも）を、もっと語って下さいｗｗ（＾＾ http://rio2016.5ch.net/test/read.cgi/math/1566715025/982
983: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/09(月) 22:32:35.27 ID:w2gV7wtr >>979 まだ、「自然数論」に拘ってらーｗ（＾＾ 笑えるなー はいはい 蘊蓄（シッタカとも）を、語って下さい（＾＾ http://rio2016.5ch.net/test/read.cgi/math/1566715025/983
984: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/09(月) 22:45:16.59 ID:w2gV7wtr 日本数学会 数学基礎論および歴史分科会となっているな 足立恒雄先生 ”2010秋(名古屋大) 足立恒雄(早大理工) デデキント，フレーゲ，ペアノの自然数論の比較検討” これはきっと、歴史かな？ いやいや、数学基礎論？ （＾＾； https://mathsoc.jp/section/logic_and_history/ 日本数学会 数学基礎論および歴史分科会 分科会便り 研究集会 数学基礎論サマースクール 数学基礎論若手の会 運営委員 特別講演 歴代評議員 メーリングリスト 分科会の名称について https://mathsoc.jp/section/logic_and_history/Tokubetu.html 数学基礎論および歴史分科会 特別講演 2018春(東京大) 八杉満利子 「竹内の証明論」について(企画特別) 2011秋 新井敏康(千葉大理) はじめての数学基礎論 (企画特別) 2010秋(名古屋大) 足立恒雄(早大理工) デデキント，フレーゲ，ペアノの自然数論の比較検討 2007秋 渕野昌(中部大工) 射影代数, K-距離付け可能空間から, コーエン・モデルへ 2004秋 新井敏康(神戸大自然科学) Hilbert の第２問題に関する証明論の展開(総合講演) 2003秋 渕野昌(中部大工) 数学の基礎としての集合論 vs. 数学としての集合論(企画特別) http://rio2016.5ch.net/test/read.cgi/math/1566715025/984
985: １３２人目の素数さん [] 2019/09/09(月) 22:50:25.02 ID:oA3pm0/T >>916 >>>1の知っている数学は高卒程度と思われる サルはそこまで賢くない なにしろ∈と⊂を区別できない程の学力だから高校入学はまず無理 http://rio2016.5ch.net/test/read.cgi/math/1566715025/985
986: １３２人目の素数さん [] 2019/09/09(月) 22:51:34.75 ID:oA3pm0/T サルよ おまえの大好きなwikipediaにもちゃんと書いてあるぞw しっかり嫁やｗ >帰属関係と包含関係は異なる概念であって、混同してはならない。 http://rio2016.5ch.net/test/read.cgi/math/1566715025/986
987: １３２人目の素数さん [] 2019/09/09(月) 23:03:40.19 ID:oA3pm0/T >>924 >このスレでは、私がスレ主です 何を勘違いしてるのかこのバカは スレ主とはボランティアでスレ立てした人物という意味しか無い 嘘デタラメを垂れ流すような好き勝手してよいことにはならない それをしたければチラシの裏でやれ この荒らしが http://rio2016.5ch.net/test/read.cgi/math/1566715025/987
988: １３２人目の素数さん [] 2019/09/09(月) 23:19:01.12 ID:oA3pm0/T >>934 >も現代数学の範囲は広いから、全分野でA）は難しい おまえ数学の基礎の基礎の基礎も分かってないじゃん ∈と⊂が区別できないってどんだけよ いいから近所の中学生に教えてもらえ そして理解できるまでROMってろ バカのくせに口ききすぎ http://rio2016.5ch.net/test/read.cgi/math/1566715025/988
989: １３２人目の素数さん [] 2019/09/09(月) 23:23:52.33 ID:oA3pm0/T >>936 >あなたの戦略は詐欺師のものです はい、>>1は詐欺師だと思います 手口が共通してますから http://rio2016.5ch.net/test/read.cgi/math/1566715025/989
990: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/09(月) 23:25:19.40 ID:w2gV7wtr >>984 「数学基礎論の伝統と新しい手法:逆数学」か（＾＾ https://www.jstage.jst.go.jp/article/kisoron1954/32/1/32_1_3/_pdf 数学基礎論の伝統と新しい手法:逆数学 科学基礎論研究 2004 田中一之*東北大学大学院理学研究科 1 はじめに 数学全般を基礎付けるような完全な公理系が存在しないことを 1931年にGodelが示した後は,数学(の理論や命題)に どのような公理が真に必要か,あるいはどのような公 理系では不十分かという問題へ関心をシフトしていっ た。具体的な進展は,1963年のP.Cohenの結果に よって始まった。彼は,連続体仮説と選択公理がZF集 合論の公理から導けないことを証明した。1977年に は,ParisとHarringtonが,Peano算術では証明で きない有限組合せ論の真なる命題を発見した。 その後も,公理系からの独立命題に関する研究はたくさんあ るが,たとえばベクトル空間の基底の存在定理に選択 公理が真に必要であることが示されたのも漸く1984 年のことである(Blassによる)。また,巨大基数の存 在などZF集合論の枠を大きくはみ出す公理の研究も 1980年代から盛んになった。 3 Peano 算術と2階算術 Peanoの5つの公理は,現代的な意味での公理系で はない。FregeやRussel1の研究を下敷きに,第1階の 自然数論を最初に正確に定義したのはHilbertであ り,それを今日の形に整えたのはGode1である。 むかしはHilbert算術という呼び名もあったが,今日では 大概Peano算術と呼ばれている｡ Peano算術PAは第1階の自然数論であり,厳密に は乙1={+,.,0,1,<}を言語とし,等号を含む第1 階論理の上で,以下の8つの基本公理及び数学的帰納 法の公理図式Indで構成される([12]参照)｡ つづく http://rio2016.5ch.net/test/read.cgi/math/1566715025/990
991: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/09(月) 23:25:49.09 ID:w2gV7wtr >>990 つづき さて,以前はPAの論理を第2階論理に拡張したも のを2階Peano算術と呼んでいたが,第2階論理は公 理化が難しいので,最近はそのような定式化はあまり 行われない。第2階論理の述語変数の代わりに自然数 の集合に関する変数を導入して,第1階の理論として 形式化したものを2階算術(secondorderarithmetic) もしくは解析(analysis)と呼ぶのが一般的である。 自然数nは単元集合{n}として扱えばよいので,自然数 の集合だけを対象とする純粋な1階理論にもなるが, ここでは自然数上を動く変数と集合変数を別々に用意 し,いわゆる2領域の1階理論として扱う｡ 最後に,このシンポジウムを企画し,筆者に標記題目 の講演と本論作成をお薦め下さった八杉満利子先生 に感謝する。 (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1566715025/991
992: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/09(月) 23:27:56.62 ID:w2gV7wtr >>989 おサルさん、ご苦労さん ｂｙ サル回しのスレ主よりｗ（＾＾ http://rio2016.5ch.net/test/read.cgi/math/1566715025/992
993: １３２人目の素数さん [] 2019/09/09(月) 23:41:35.25 ID:oA3pm0/T >まず、５ｃｈは落書きの場所だというのはあなたの妄想です >すくなくとも他の人はあなたほど恥知らずではありません まったくですね >>1は〇〇人顔負けの恥知らずです 分からないのは仕方ない 分からないのに平然と分かってるふりをするのが最悪 恥知らずとしか言い様が無い http://rio2016.5ch.net/test/read.cgi/math/1566715025/993
994: １３２人目の素数さん [] 2019/09/09(月) 23:52:19.26 ID:oA3pm0/T >恥を知りましょう サルには無理かと http://rio2016.5ch.net/test/read.cgi/math/1566715025/994
995: １３２人目の素数さん [] 2019/09/10(火) 00:03:40.70 ID:7jZ68UTN >集合を外れた「自然数論」に深入りするつもりはないわけよｗ（＾＾ と、∈と⊂の区別さえつかないバカが申しております http://rio2016.5ch.net/test/read.cgi/math/1566715025/995
996: １３２人目の素数さん [] 2019/09/10(火) 00:06:50.38 ID:588mTDvG >「スレ主は、皆さんの言う通り、馬鹿であほですから、基本的に信用しないようにお願いします」（下記）な しかしおまえは「当たるはずが無い」というおまえの直観を信じて疑わない 言動不一致とはこのこと http://rio2016.5ch.net/test/read.cgi/math/1566715025/996
997: １３２人目の素数さん [] 2019/09/10(火) 00:08:30.83 ID:588mTDvG >>971 >あんた、勝てないよ、おれにはｗ（＾＾ と、毎日負け続けてるアホが申しております http://rio2016.5ch.net/test/read.cgi/math/1566715025/997
998: １３２人目の素数さん [] 2019/09/10(火) 06:55:24.05 ID:XwGiI0uG お http://rio2016.5ch.net/test/read.cgi/math/1566715025/998
999: １３２人目の素数さん [] 2019/09/10(火) 06:55:38.21 ID:XwGiI0uG ま http://rio2016.5ch.net/test/read.cgi/math/1566715025/999
1000: １３２人目の素数さん [] 2019/09/10(火) 06:55:58.71 ID:XwGiI0uG ん http://rio2016.5ch.net/test/read.cgi/math/1566715025/1000
1001: 1001 [] Over 1000 Thread このスレッドは１０００を超えました。 新しいスレッドを立ててください。 life time: 15日 15時間 18分 53秒 http://rio2016.5ch.net/test/read.cgi/math/1566715025/1001
1002: 1002 [] Over 1000 Thread 5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。 運営にご協力お願いいたします。 ─────────────────── 《プレミアム会員の主な特典》 ★ 5ちゃんねる専用ブラウザからの広告除去 ★ 5ちゃんねるの過去ログを取得 ★ 書き込み規制の緩和 ─────────────────── 会員登録には個人情報は一切必要ありません。 月300円から匿名でご購入いただけます。 ▼ プレミアム会員登録はこちら ▼ https://premium.5ch.net/ ▼ 浪人ログインはこちら ▼ https://login.5ch.net/login.php http://rio2016.5ch.net/test/read.cgi/math/1566715025/1002
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.015s