[過去ﾛｸﾞ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 (1002ﾚｽ)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 http://rio2016.5ch.net/test/read.cgi/math/1566715025/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
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 [] ID:Thread このスレッドは１０００を超えました。 新しいスレッドを立ててください。 life time: 15日 15時間 18分 53秒 http://rio2016.5ch.net/test/read.cgi/math/1566715025/1001
1002: 1002 [] ID: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-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
2.595s*