[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
1(13): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/08/25(日)15:37 ID:5ZvpTN/e(1/21) AAS
この伝統あるガロアすれは、皆さまのご尽力で、
過去、数学板での勢いランキングで、常に上位です。
このスレは、現代数学のもとになった物理・工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。
それで宜しければ、どうぞ。
後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな〜（＾＾
最近、AIと数学の関係が気になって、その関係の記事を集めています〜（＾＾
いま、大学数学科卒でコンピュータサイエンスもできる人が、求められていると思うんですよね。
スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。
話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。
スレ46から始まった、病的関数のリプシッツ連続の話は、なかなか面白かったです。
興味のある方は、過去ログを（＾＾
なお、
小学レベルとバカプロ固定
サイコパスのピエロ（不遇な「一石」外部ﾘﾝｸ:textream.yahoo.co.jp 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets （Yahoo!でのあだ名が、「一石」。知能が低下してサルになっています）
（参考）外部ﾘﾝｸ:blog.goo.ne.jp サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
（なお、サイコの発言集「実際に人を真っ二つに斬れたら 爽快極まりないだろう」、「狂犬」、「イヌコロ」、「君子豹変」については後述（＾＾； ）
High level people （知能の低い者が、サルと呼ばれるようになり、残りました。ｗ（＾＾； ）
低脳幼稚園児のAAお絵かき
上記は、お断り！！
小学生がいますので、18金（禁）よろしくね！（＾＾
（旧スレが1000オーバー（又は間近）で、新スレを立てた）
973(3): 2019/09/09(月)19:50 ID:FL/N//FC(1) AAS
今更どうでも良いけど、以前あがっていた東工大の講義は、数学科の学生向けじゃないと思います。
×多くの数学科で自然数の構成に類することを含む集合論を習う。
○数学基礎論を開講している大学はある。
○今でも基礎論などは研究対象で、それなりに研究者がいる。
っていうイメージ。
基礎論は、数学よりも、情報系の研究者がつかうんじゃないかな。
974(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)20:09 ID:w2gV7wtr(30/38) AAS
>>973
どうも。スレ主です。
レスありがとう
(引用開始)
今更どうでも良いけど、以前あがっていた東工大の講義は、数学科の学生向けじゃないと思います。
×多くの数学科で自然数の構成に類することを含む集合論を習う。
○数学基礎論を開講している大学はある。
○今でも基礎論などは研究対象で、それなりに研究者がいる。
っていうイメージ。
基礎論は、数学よりも、情報系の研究者がつかうんじゃないかな。
(引用終り)
いや、確かに
左側で、「情報理工学院 数理・計算科学系」ってありますものね
経歴見ても、学歴が「東京工業大学 理学部 情報科学」か
渡邊 治先生は、副学長か
「○数学基礎論を開講している大学はある」に同意
というか、集合論のついでに、論理やZFCその他をやるというイメージですが
（参考）
外部ﾘﾝｸ:researchmap.jp
研究者氏名 鹿島 亮 カシマ リョウ
所属 東京工業大学
経歴
1991年 - 1995年:東京工業大学 助手
1995年 - 1998年:北陸先端科学技術大学院大学 助手
1998年 - 2002年:東京工業大学 講師
2002年 -:東京工業大学 助教授
学歴
- 1991年東京工業大学 理工学研究科 情報科学
- 1988年東京工業大学 理学部 情報科学
外部ﾘﾝｸ[act]:search.star.titech.ac.jp
渡邊 治（ワタナベ オサム）
職歴
東京工業大学 助手(1982-)
東京工業大学 講師(1989-)
東京工業大学 助教授(1990-)
東京工業大学 教授(1997-)
東京工業大学 情報理工学院 学院長(2016-2018)
東京工業大学 理事・副学長（研究担当）(2018-)
学歴（出身学校・出身大学等）
東京工業大学 理工学研究科 情報科学 修士 修了(1982)
東京工業大学 理学部 情報科学科 卒業(1980)
975: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)20:11 ID:w2gV7wtr(31/38) AAS
次スレ立てました
適当に次に移りましょうね（＾＾
現代数学の系譜 工学物理雑談 古典ガロア理論も読む77
2chｽﾚ:math
976: 2019/09/09(月)20:31 ID:uwfnXwUu(56/60) AAS
>>971
＞あんた、勝てないよ、おれには
その発言であなたこの世に負けてます
977(1): 2019/09/09(月)20:32 ID:uwfnXwUu(57/60) AAS
>>972
＞あなたは、言いつくろうのを諦めた方がいい
あなたは、ここに書くのをあきらめたほうがいい
笑われるだけ 恥かくだけだよ
978(1): 2019/09/09(月)20:35 ID:uwfnXwUu(58/60) AAS
>>973
数理論理学が数学科の中で継子扱いされてるのはご存知の通りですが
だからといって数学でないとはいえません
>>974
素人は黙りましょうね 恥ずかしいから
979(1): 2019/09/09(月)20:39 ID:uwfnXwUu(59/60) AAS
>>973
＞自然数の構成に類することを含む集合論
自然数論は集合論の一部ではないですけどね
ここは認識が誤っています
980(1): 2019/09/09(月)20:43 ID:uwfnXwUu(60/60) AAS
1が世間に負けたのは努力を惜しむ軽薄な考えの持主だから
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
日本数学会
数学基礎論および歴史分科会
分科会便り
研究集会
数学基礎論サマースクール
数学基礎論若手の会
運営委員
特別講演
歴代評議員
メーリングリスト
分科会の名称について
外部ﾘﾝｸ[html]:mathsoc.jp
数学基礎論および歴史分科会 特別講演
2018春(東京大) 八杉満利子 「竹内の証明論」について(企画特別)
2011秋 新井敏康(千葉大理) はじめての数学基礎論 (企画特別)
2010秋(名古屋大) 足立恒雄(早大理工) デデキント，フレーゲ，ペアノの自然数論の比較検討
2007秋 渕野昌(中部大工) 射影代数, K-距離付け可能空間から, コーエン・モデルへ
2004秋 新井敏康(神戸大自然科学) Hilbert の第２問題に関する証明論の展開(総合講演)
2003秋 渕野昌(中部大工) 数学の基礎としての集合論 vs. 数学としての集合論(企画特別)
985: 2019/09/09(月)22:50 ID:oA3pm0/T(3/9) AAS
>>916
>>>1の知っている数学は高卒程度と思われる
サルはそこまで賢くない
なにしろ∈と⊂を区別できない程の学力だから高校入学はまず無理
986: 2019/09/09(月)22:51 ID:oA3pm0/T(4/9) AAS
サルよ
おまえの大好きなwikipediaにもちゃんと書いてあるぞw しっかり嫁やｗ
>帰属関係と包含関係は異なる概念であって、混同してはならない。
987: 2019/09/09(月)23:03 ID:oA3pm0/T(5/9) AAS
>>924
>このスレでは、私がスレ主です
何を勘違いしてるのかこのバカは
スレ主とはボランティアでスレ立てした人物という意味しか無い
嘘デタラメを垂れ流すような好き勝手してよいことにはならない
それをしたければチラシの裏でやれ
この荒らしが
988: 2019/09/09(月)23:19 ID:oA3pm0/T(6/9) AAS
>>934
>も現代数学の範囲は広いから、全分野でA）は難しい
おまえ数学の基礎の基礎の基礎も分かってないじゃん
∈と⊂が区別できないってどんだけよ
いいから近所の中学生に教えてもらえ
そして理解できるまでROMってろ バカのくせに口ききすぎ
989(1): 2019/09/09(月)23:23 ID:oA3pm0/T(7/9) AAS
>>936
>あなたの戦略は詐欺師のものです
はい、>>1は詐欺師だと思います
手口が共通してますから
990(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)23:25 ID:w2gV7wtr(36/38) AAS
>>984
「数学基礎論の伝統と新しい手法:逆数学」か（＾＾
外部ﾘﾝｸ:www.jstage.jst.go.jp
数学基礎論の伝統と新しい手法:逆数学 科学基礎論研究 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]参照)｡
つづく
991: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)23:25 ID:w2gV7wtr(37/38) AAS
>>990
つづき
さて,以前はPAの論理を第2階論理に拡張したも
のを2階Peano算術と呼んでいたが,第2階論理は公
理化が難しいので,最近はそのような定式化はあまり
行われない。第2階論理の述語変数の代わりに自然数
の集合に関する変数を導入して,第1階の理論として
形式化したものを2階算術(secondorderarithmetic)
もしくは解析(analysis)と呼ぶのが一般的である。
自然数nは単元集合{n}として扱えばよいので,自然数
の集合だけを対象とする純粋な1階理論にもなるが,
ここでは自然数上を動く変数と集合変数を別々に用意
し,いわゆる2領域の1階理論として扱う｡
最後に,このシンポジウムを企画し,筆者に標記題目
の講演と本論作成をお薦め下さった八杉満利子先生
に感謝する。
(引用終り)
以上
992: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)23:27 ID:w2gV7wtr(38/38) AAS
>>989
おサルさん、ご苦労さん ｂｙ サル回しのスレ主よりｗ（＾＾
993: 2019/09/09(月)23:41 ID:oA3pm0/T(8/9) AAS
>まず、５ｃｈは落書きの場所だというのはあなたの妄想です
>すくなくとも他の人はあなたほど恥知らずではありません
まったくですね
>>1は〇〇人顔負けの恥知らずです
分からないのは仕方ない
分からないのに平然と分かってるふりをするのが最悪
恥知らずとしか言い様が無い
994: 2019/09/09(月)23:52 ID:oA3pm0/T(9/9) AAS
>恥を知りましょう
サルには無理かと
995: 2019/09/10(火)00:03 ID:7jZ68UTN(1) AAS
>集合を外れた「自然数論」に深入りするつもりはないわけよｗ（＾＾
と、∈と⊂の区別さえつかないバカが申しております
996: 2019/09/10(火)00:06 ID:588mTDvG(1/2) AAS
>「スレ主は、皆さんの言う通り、馬鹿であほですから、基本的に信用しないようにお願いします」（下記）な
しかしおまえは「当たるはずが無い」というおまえの直観を信じて疑わない
言動不一致とはこのこと
997: 2019/09/10(火)00:08 ID:588mTDvG(2/2) AAS
>>971
>あんた、勝てないよ、おれにはｗ（＾＾
と、毎日負け続けてるアホが申しております
998: 2019/09/10(火)06:55 ID:XwGiI0uG(1/3) AAS
お
999(1): 2019/09/10(火)06:55 ID:XwGiI0uG(2/3) AAS
ま
1000: 2019/09/10(火)06:55 ID:XwGiI0uG(3/3) AAS
ん
1001(1): 1001 ID:Thread(1/2) AAS
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 15日 15時間 18分 53秒
1002(1): 1002 ID:Thread(2/2) AAS
5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。
───────────────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────
会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。
▼ プレミアム会員登録はこちら ▼
外部ﾘﾝｸ:premium.5ch.net
▼ 浪人ログインはこちら ▼
外部ﾘﾝｸ[php]:login.5ch.net
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.224s*