[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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
959: 2019/09/09(月)18:41 ID:uwfnXwUu(46/60) AAS
>>955
非数学的な発言をしているのは、あなたです
あなたの言うことに従う必要はありません
５ｃｈだから嘘を書いていい、とはいえません
＞「自然数論の真偽の定義」を徹底的に追求していくと
そもそも引用したあなたが追求されているので
自分が答えられないことをごまかすために
省2
960(1): 2019/09/09(月)18:45 ID:uwfnXwUu(47/60) AAS
>>956
＞前原論文ですよ
前原論文は「自然数論」というタイトルではありませんよｗ
「自然数論の無矛盾性証明の必要性」ですね
そして「自然数論の無矛盾性証明」は数理論理学の範囲です
そして自然数論の無矛盾性証明も数理論理学の現役の内容です
オワコン？あなたが大学の数理論理学を知らないだけですよ
961: 2019/09/09(月)18:49 ID:uwfnXwUu(48/60) AAS
>>957
＞あなたのいう「自然数論」は、2019年の現在では
＞数理論理学あるいは数学基礎論になっているってことですよ
それは嘘ですね
前原の「自然数論の無矛盾性証明」は
その当時も数学基礎論に関することとして扱われていたので、
「自然数論」という名の講義があったわけではないですね
省4
962: 2019/09/09(月)18:52 ID:uwfnXwUu(49/60) AAS
>>958
＞集合を外れた「自然数論」に深入りするつもりはないわけよ
素人の訳の分からん妄想ですね
自然数論において「自然数全体の集合」は出てきません
必要ないからです
963: 2019/09/09(月)18:54 ID:uwfnXwUu(50/60) AAS
実数論を展開するには「自然数全体の集合」が必要になります
当然その部分集合も必要になります
964(1): 2019/09/09(月)19:06 ID:uwfnXwUu(51/60) AAS
＞あなたは数学的には馬鹿ってことです
おそらく激怒してるでしょうが
はっきり申し上げれば世の中の人の９９％は数学的には馬鹿です
要するに数学的には馬鹿が絶対多数です
大学レベル数学が分かってる人というのは、
高額所得者と同程度に少数派なのです
省8
965: 2019/09/09(月)19:11 ID:uwfnXwUu(52/60) AAS
最近、数学者が経済について語りたがる傾向がありますが
これには重大な落とし穴があります
つまり、経済が権力の上に成り立っているという事実を看過して
あたかも公理系であるかのごとく考える点です
はっきりいって我々は経済学における公理系も
それを成立させるために存在している権力も
無条件に認めるべきものと考えませんし
省1
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
968: 2019/09/09(月)19:32 ID:uwfnXwUu(53/60) AAS
>>966
いい加減見当違いな発言の誤りに気づきましょう
恥ずかしいですよ
969: 2019/09/09(月)19:35 ID:uwfnXwUu(54/60) AAS
>>967
いい加減見当違いな発言の誤りに気づきましょう
恥ずかしいですよ
970(1): 2019/09/09(月)19:37 ID:uwfnXwUu(55/60) AAS
1は数学をあきらめたほうがいいですね
このままここで書き続けても恥かいて
皆から嘲笑され続けるだけですから
そんなの惨めじゃないですか
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
あなたは、言いつくろうのを諦めた方がいい
無理ですよ、無知晒すだけよ（＾＾
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
どうも。スレ主です。
レスありがとう
(引用開始)
今更どうでも良いけど、以前あがっていた東工大の講義は、数学科の学生向けじゃないと思います。
×多くの数学科で自然数の構成に類することを含む集合論を習う。
○数学基礎論を開講している大学はある。
省34
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
日本数学会
省18
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 はじめに
数学全般を基礎付けるような完全な公理系が存在しないことを
省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
おサルさん、ご苦労さん ｂｙ サル回しのスレ主よりｗ（＾＾
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 Over 1000 Thread AAS
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 15日 15時間 18分 53秒
1002(1): 1002 Over 1000 Thread AAS
5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。
───────────────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
省7
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.024s