[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む71 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
211(2): 2019/06/24(月)15:38 ID:oDIXoinb(1/3) AAS
おっちゃんです。
>>166
数理論理学が応用出来る数学の分野は意外に限られて、
今のところ数理論理学を学習することには、メリットが余り見当たらない。
普通は、院に行って数理論理学を専攻する。学部から数理論理学を学習するところは余りない。
はじめはガチで数理論理学の学習を勧めているのかと思ったら、
ここでいう「数理論理学」とは結局言葉遣いや今の大学1年の述語論理を指すことになるようだ。
省5
219(1): 2019/06/24(月)17:17 ID:oDIXoinb(2/3) AAS
>>213
プログラミング言語というより、むしろ理論的な計算機科学に数理論理学は応用されていると思う。
数学だと、少なくとも超準解析や作用素環、周期環を学習するなら、数理論理学が必要になるが、
これらの学習の前には、数理論理学というより、もっと数学的なことを身に付けていないと話にならない。
以前、共立講座 現代の数学の「数理論理学 増補版」を読んだことはあるが、難しくて撃墜した。
私の手元にある岩波講座現代数学への入門の「現代数学への流れ2」が内容的に
比較的まとまっていてよさそうだから、取り敢えずはこれでいい。
220(1): 2019/06/24(月)18:01 ID:oDIXoinb(3/3) AAS
それじゃ、おっちゃんもう寝る。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.028s