現代数学の系譜工学物理雑談古典ガロア理論も読む76

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む76 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

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

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

782: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/09/07(土) 08:06:56.41 ID:8WzaZQff

>>779
(引用開始)
> ”{無限公理} + {ペアノの公理} : N = {1, 2, ... , n, ...}”によって
> そうやって、会田茂樹の無限回の”サイコロ投げ”で終りでしょｗ（＾＾
anの値が必ず1ずつ増えていくのならよいですがそうじゃないでしょう
(引用終り)

anの値が必ず1ずつ増えていくのですよ！！
というか、そう見なせるということです
下記のコーシー列
「有限数列 (x1, x2, ..., xk) は xk = xk+1 = xk+2 = … と延長することにより、コーシー列と見なせる」
です。もちろん、延長は有限ではいけません
当然、無限に延長するということ。現代数学では、これは認められますｗ（＾＾

https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%BC%E3%82%B7%E3%83%BC%E5%88%97
コーシー列
(抜粋)
コーシー数列
無限数列 (xn) について
(抜粋)
lim_{n,m→ ∞}|x_n-x_m|=0
が成立するとき、数列 (xn) はコーシー的である、コーシー性を持つ、あるいはコーシ－列であるという。
有限数列 (x1, x2, ..., xk) は xk = xk+1 = xk+2 = … と延長することにより、コーシー列と見なせる。

実数におけるコーシー列
しかし、実数の重要な性質の一つとして、実数全体の集合 R におけるどのようなコーシー列も必ず R 内に極限値を持つことが挙げられる。実数からなるどんなコーシー数列も収束列であるという事実は、歴史的な事情で「実数の連続性」と呼ばれる[4]。
（4.^ 後述のように一般的な語法では完備性と呼ばれる概念であり、函数の連続性とは無関係であるので注意）
したがって、実数列あるいは実ユークリッド空間内の点列のみに関して言うならば、それが収束することとコーシー列であることは同値となる。この場合であれば、コーシー列は必ず収束するので、|xn ? xm| を評価してコーシー列か判定すれば、極限値を仮定することなく収束性が判定できる。
コーシーの方法ならば極限値の推定は不要であるという利点がある。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1566715025/782

877: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/09/08(日) 18:09:43.41 ID:KY2miv9A

>>870
ピエロちゃんじゃないのかね？
もし、違ったら、ご容赦
（まだ疑念は残るが）
なお、”ピエロ”の定義は、>>2ご参照

(引用開始)
”あなたは「自然数論の真偽の定義」を示せていませんね
要するにあなたは論文を理解できないにもかかわらず
論文の著者を無条件に信じた愚か者ですね”
(引用終り)

ご冗談でしょｗ
貴方は、どんなに偉い人かしらないが
ただの １３２人目の素数さん＝ID:bH+0Hw/zでしょ
いや、別に、数学を偉さで判断しようとは思わないが

あなたは、前原昭二先生の 1979の投稿論文（下記）が間違っていると言いたいわけ？？ｗｗ（＾＾
この5CHのガロアスレで、言いたいわけ？ｗ
議論の場所を間違えていませんか？
自分の蘊蓄を語りたいの？
なら論文投稿したら？
それとも精神科を紹介しましょうか（＾＾

参考（>>802）
https://www.jstage.jst.go.jp/article/kisoron1954/14/3/14_3_107/_pdf/-char/ja
自然数論 の無 矛盾性証明の必要性
前原昭二 筑波大学数学系 科学基礎論研究 Vol.14 1979

（>>821）
https://ja.wikipedia.org/wiki/%E8%AB%96%E7%90%86%E5%AD%A6%E8%80%85
論理学者
(抜粋)
前原昭二

https://kotobank.jp/word/%E5%89%8D%E5%8E%9F%E6%98%AD%E4%BA%8C-1109232
コトバンク
前原昭二（読み）まえはら しょうじ デジタル版 日本人名大辞典+Plusの解説

1927－1992　昭和後期-平成時代の数学者。
昭和2年10月30日生まれ。
38年東京教育大教授となる。
52年筑波大教授。
55年東京工業大教授。
63年放送大教授。
数理論理学の研究で知られる。平成4年3月16日死去。64歳。
東京出身。東大卒。著作に「数学基礎論入門」「記号論理入門」など。

http://7shi.hateblo.jp/entry/2018/11/02/222443
七誌の開発日記
2018-11-02
(抜粋)
ブルバキ数学原論日本語訳の巻番号
リスト
1．1968年『集合論 1』前原昭二訳（第1章、第2章）

http://rio2016.5ch.net/test/read.cgi/math/1566715025/877

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

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

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.038s