[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
885(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)06:58 ID:w2gV7wtr(1/38) AAS
>>883 補足
１）有限長の数列
s = (s1，s2，s3,・・・,sn) （問題の数列）
r = (r1，r2，r3,・・・,rn) （代表の数列）
で、入れる数p→∞と大きくすると
決定番号の確率分布は、
d=n の確率1
省22
889(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)08:09 ID:w2gV7wtr(2/38) AAS
>>882
あなたの議論は、無意味だと思う
１）下記のように、標準的な確率論のテキストで、
確率現象、例えば、硬貨投げやサイコロ投げの
無限回の試行が記載されている
２）それによる無限長の数列が記載されている
３）下記の日大テキストのように、無限長の数列の一部を取り出して、確率を論じることは可能
省34
892(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)09:25 ID:w2gV7wtr(3/38) AAS
>>886
>私はあなたがピエロと呼ぶ人物ではありません
まあ、その言い分を一応は認めます
>少なくとも「自然数論の真偽の定義」という言葉で
>何をいおうとしてるのかは明確でないですね
"「自然数論の真偽の定義」という言葉"?
意味不明。「自然数論の真偽の定義」を、私は使ったことがない
省9
893(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)09:36 ID:w2gV7wtr(4/38) AAS
>>887
＞そんなものは、いまの大学数学科の教程にない
>ウソはいけませんね
>ありますよ あなたが知らないだけです
はい
2019年あるいは、近年でも良いです
例示願います
省5
895(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)10:01 ID:w2gV7wtr(5/38) AAS
>>888
>以下の新井敏康氏の論文を読むと
「国立情報学研究所教授の新井紀子は妻[2]」か、なるほど（＾＾
>前原昭二氏が「自然数論の真偽の定義」でいおうとしていたのは
>ε-代入法のことであるらしいと想像される
「あるらしいと想像される」とは、どういう物言いなんですかね
人に、”おまえは理解せず引用している”というお人がｗ（＾＾
省32
906: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)11:13 ID:w2gV7wtr(6/38) AAS
>>895
>その直前の”ε0-ordering”については、過去ZFC公理系の話題のときに
>英文で”ε-ordering”、正確には、∈を利用した順序があり読んだけど
過去ログにも引用したと思うが、貼る（＾＾
外部ﾘﾝｸ:ja.wikipedia.org
整礎関係
(抜粋)
省15
909(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)13:14 ID:w2gV7wtr(7/38) AAS
>>896
>「まあ、その」と「一応は」は削除してください
>誠意が感じられません
一時的にでも、コテハンとトリップ付けたらどう？
名無しさんで、日替わりIDで出没して、誠意を求められてもね。それ、どうなんですかね？
成り済ましとどうやって区別しろとｗ（＾＾
>あなたがPDFを読んでいないことは明らかですね
省23
910(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)13:16 ID:w2gV7wtr(8/38) AAS
AA省
911(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)13:18 ID:w2gV7wtr(9/38) AAS
>>910
つづき
（参考）
外部ﾘﾝｸ:www.jstage.jst.go.jp
無矛盾性証明について 新井敏康*神戸大学自然科学研究科 科学基礎論研究 2007
外部ﾘﾝｸ:ja.wikipedia.org
数学基礎論
省12
921(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)15:48 ID:w2gV7wtr(10/38) AAS
>>897
(引用開始)
＞多くの大学数学科の教程で、「自然数論」はやらないでしょう？
やりますよ
外部ﾘﾝｸ[php]:www.ocw.titech.ac.jp
上記は東工大の「数理論理学」ですが
・第10回 不完全性定理（１）。算術，ゲーデル数，表現可能性。
省16
923(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)15:59 ID:w2gV7wtr(11/38) AAS
>>898
(引用開始)
あなたはなぜ検索しないのですか？
新井氏の研究は、証明論における順序数解析です
外部ﾘﾝｸ[html]:www.ms.u-tokyo.ac.jp
証明論で扱う体系の中に当然自然数論も含まれます
論理学者で、自然数論について知らない人はいませんよ
省26
924(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)16:10 ID:w2gV7wtr(12/38) AAS
>>899
(引用開始)
引用するならまず読みましょう
自分が読んで理解できないものを
引用するのは無責任な行為です
(引用終り)
お断りしますｗ（＾＾
省9
927(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)16:19 ID:w2gV7wtr(13/38) AAS
>>900
>>「国立情報学研究所教授の新井紀子は妻」か
>妻は別人なので関係ないですね
それ、重要情報でしょｗ
だから、wikipedia に入っているのですよ
私ら、ミーハーですから、旦那の顔を見たことは無いが
新井紀子さん、NHKとかいろんなTVで見ましたよ
省7
931(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)16:34 ID:w2gV7wtr(14/38) AAS
>>901
あ、それ 外部ﾘﾝｸ:togetter.com
面白いですね〜
あなたは、なるほど、ピエロ（>>2）とは別人みたいですね
ピエロには、そのセンスないわ（＾＾
＞論理学者が誰もこのことを指摘しなかったのは残念
省5
934(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)16:53 ID:w2gV7wtr(15/38) AAS
>>907
>分かってないことに気づけず分かった気分になるのは
>学習を阻害する最も重要な要因
そういう人もいますけど
それ、レベル低い人か、あるいは大天才ですね
例えば、いま貴方が使っている5CHネットの掲示板
A）全てを理解してから使いましょう
省11
935(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)16:56 ID:w2gV7wtr(16/38) AAS
>>908
＞まあ、執拗に口答えする習性に関しては
”執拗に口答え”ねー
昔、小学校か中学で教えていましたか？
”口答え”ねー
多分、大学教官で、”口答え”という言葉を使う人はいないでしょうね
まあ、どんどん、「自然数論」の蘊蓄をお願いします
省1
938(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)17:09 ID:w2gV7wtr(17/38) AAS
>>912
>あなたこそコテハンとトリップはやめたらいかがですか？
>戸籍上の実名で書き込めないなら同じことですから
5CH初心者？ 数学板以外では、IDの無い掲示板もあります
で、IDは、日替わりなんです。明日は、別のIDになります
”コテハンとトリップ”は、ペンネームですよ（＾＾
(引用開始)
省18
941(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)17:15 ID:w2gV7wtr(18/38) AAS
>>918
東ロボ君 外部ﾘﾝｸ:scienceandtechnology.jp
それ、ちょっと面白いね
そういう蘊蓄たのんます（＾＾
945(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)17:23 ID:w2gV7wtr(19/38) AAS
>>920
> 1がAIについて知りたいなら情報学板でも行けば？
>2ch板:informatics
幻想でしょ。笑える
5ch 掲示板に何を期待しているの？（＾＾
5ch 掲示板って落書きですよｗ
あなたが、ガンガン書いているスレがあったら、教えて下さい
省5
947(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)17:27 ID:w2gV7wtr(20/38) AAS
>>928
＞道徳心のかけらもないようですね
笑えますね、本当に
５ＣＨ初心者？
落書きに道徳心のかけら？
来る場所間違っているよ
そもそも、この数学板にスレがいくつある？
省2
951(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)17:35 ID:w2gV7wtr(21/38) AAS
>>929
＞迷惑ですから
どうぞ、ご自由に
ここは、こういうスレですから
テンプレ>>1をお読みください
これ、定義ですｗｗ（＾＾
>キチガイが発狂してますね
省9
955(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)17:55 ID:w2gV7wtr(22/38) AAS
>>950
(引用開始)
ID:w2gV7wtrは完全に数学板依存症になってますね
数学板の自分の立てたスレに数学情報を書き込むことで
「俺は数学が分かってる！」と思い込んでいい気分になる
ようです
でも、はっきりいってそれは自分一人の勘違いです
省16
956(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)17:59 ID:w2gV7wtr(23/38) AAS
>>952
>＞古い論文にはあったよねｗ
>それペアノの論文とかのことですか？
前原論文ですよ
外部ﾘﾝｸ:www.jstage.jst.go.jp
自然数論 の無 矛盾性証明の必要性
前原昭二 筑波大学数学系 科学基礎論研究 Vol.14 1979
省6
957(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)18:24 ID:w2gV7wtr(24/38) AAS
>>956 補足
１）経緯は下記です（＾＾
２）であなたのいう「自然数論」は、
2019年の現在では
数理論理学あるいは数学基礎論になっているってことですよ
（経緯引用）
>>880
省24
958(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)18:34 ID:w2gV7wtr(25/38) AAS
>>957 補足
>集合を外れた「自然数論」に深入りするつもりはないわけよｗ（＾＾
数学基礎論の中に、『公理的集合論』を含むという（下記）が、現代数学の視点でしょ（＾＾
(参考)
外部ﾘﾝｸ:lucien0308.hateblo.jp
新米数学博士の数学談話室
数学基礎論からじっくり議論するブログです。
省16
966(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)19:26 ID:w2gV7wtr(26/38) AAS
>>958
>集合を外れた「自然数論」に深入りするつもりはないわけよｗ（＾＾
参考 スライドにリンクがあります 基礎論⊃集合論ですｗ（＾＾
外部ﾘﾝｸ:www.sci.shizuoka.ac.jp
数学基礎論サマースクール
選択公理と連続体仮説 2019年9月3日(火)?同6日(金)
(抜粋)
省22
967(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)19:31 ID:w2gV7wtr(27/38) AAS
>>960
(引用終り)
＞前原論文ですよ
前原論文は「自然数論」というタイトルではありませんよｗ
「自然数論の無矛盾性証明の必要性」ですね
(引用終り)
なにを、子供のようなことを
省7
971(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)19:39 ID:w2gV7wtr(28/38) AAS
>>964
>＞あなたは数学的には馬鹿ってことです
>おそらく激怒してるでしょうが
いいえ、それこのスレのテンプレにあります
「スレ主は、皆さんの言う通り、馬鹿であほですから、基本的に信用しないようにお願いします」（下記）な
ご苦労さん
あんた、勝てないよ、おれにはｗ（＾＾
省23
972(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)19:40 ID:w2gV7wtr(29/38) AAS
>>970
あなたは、言いつくろうのを諦めた方がいい
無理ですよ、無知晒すだけよ（＾＾
974(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)20:09 ID:w2gV7wtr(30/38) AAS
>>973
どうも。スレ主です。
レスありがとう
(引用開始)
今更どうでも良いけど、以前あがっていた東工大の講義は、数学科の学生向けじゃないと思います。
×多くの数学科で自然数の構成に類することを含む集合論を習う。
○数学基礎論を開講している大学はある。
省34
975: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)20:11 ID:w2gV7wtr(31/38) AAS
次スレ立てました
適当に次に移りましょうね（＾＾
現代数学の系譜 工学物理雑談 古典ガロア理論も読む77
2chｽﾚ:math
981: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)22:26 ID:w2gV7wtr(32/38) AAS
>>978
＞素人は黙りましょうね 恥ずかしいから
プロ数学者気取り？ｗ（＾＾
笑えるよ
いままであなたが書いてきたことを読めば
あなたも素人丸出しでしょｗ（＾＾
982: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)22:28 ID:w2gV7wtr(33/38) AAS
>>980
いいから、そんな屁理屈は、私スレ主にまかせて
あなたは、「自然数論」のシッタカ（蘊蓄とも）を、もっと語って下さいｗｗ（＾＾
983: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)22:32 ID:w2gV7wtr(34/38) AAS
>>979
まだ、「自然数論」に拘ってらーｗ（＾＾
笑えるなー
はいはい
蘊蓄（シッタカとも）を、語って下さい（＾＾
984(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)22:45 ID:w2gV7wtr(35/38) AAS
日本数学会
数学基礎論および歴史分科会となっているな
足立恒雄先生
”2010秋(名古屋大) 足立恒雄(早大理工) デデキント，フレーゲ，ペアノの自然数論の比較検討”
これはきっと、歴史かな？ いやいや、数学基礎論？ （＾＾；
外部ﾘﾝｸ:mathsoc.jp
日本数学会
省18
990(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)23:25 ID:w2gV7wtr(36/38) AAS
>>984
「数学基礎論の伝統と新しい手法:逆数学」か（＾＾
外部ﾘﾝｸ:www.jstage.jst.go.jp
数学基礎論の伝統と新しい手法:逆数学 科学基礎論研究 2004
田中一之*東北大学大学院理学研究科
1 はじめに
数学全般を基礎付けるような完全な公理系が存在しないことを
省26
991: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)23:25 ID:w2gV7wtr(37/38) AAS
>>990
つづき
さて,以前はPAの論理を第2階論理に拡張したも
のを2階Peano算術と呼んでいたが,第2階論理は公
理化が難しいので,最近はそのような定式化はあまり
行われない。第2階論理の述語変数の代わりに自然数
の集合に関する変数を導入して,第1階の理論として
省11
992: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)23:27 ID:w2gV7wtr(38/38) AAS
>>989
おサルさん、ご苦労さん ｂｙ サル回しのスレ主よりｗ（＾＾
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.060s