- 現代数学の系譜 工学物理雑談 古典ガロア理論も読む71
211 ：１３２人目の素数さん[sage]：2019/06/24(月) 15:38:38.84 ID:oDIXoinb - おっちゃんです。
>>166
数理論理学が応用出来る数学の分野は意外に限られて、
今のところ数理論理学を学習することには、メリットが余り見当たらない。
普通は、院に行って数理論理学を専攻する。学部から数理論理学を学習するところは余りない。
はじめはガチで数理論理学の学習を勧めているのかと思ったら、
ここでいう「数理論理学」とは結局言葉遣いや今の大学1年の述語論理を指すことになるようだ。
だが、普通の数学では、日常言語レベルの言葉の使い方は細かく一字一句まで決める必要はない。
この辺りの殆ど同じと見てよい微妙に異なる表現の言葉の解釈の読解になると、正に国語の読解の問題になる。
「∀」や「∃」程度の量化子記号が空気のように使われて書かれたテキストは色々ある。
その位のレベルの内容が書かれたような、いわゆる教養としての数理論理学の本は今手元にある他のシリーズの本などにもある。
なので、今手元にある教養レベルの数理論理学の本を読めばよいということで終了になる。
|
- 現代数学の系譜 工学物理雑談 古典ガロア理論も読む71
219 ：１３２人目の素数さん[sage]：2019/06/24(月) 17:17:55.50 ID:oDIXoinb - >>213
プログラミング言語というより、むしろ理論的な計算機科学に数理論理学は応用されていると思う。
数学だと、少なくとも超準解析や作用素環、周期環を学習するなら、数理論理学が必要になるが、
これらの学習の前には、数理論理学というより、もっと数学的なことを身に付けていないと話にならない。
以前、共立講座 現代の数学の「数理論理学 増補版」を読んだことはあるが、難しくて撃墜した。
私の手元にある岩波講座現代数学への入門の「現代数学への流れ2」が内容的に
比較的まとまっていてよさそうだから、取り敢えずはこれでいい。
|
- 現代数学の系譜 工学物理雑談 古典ガロア理論も読む71
220 ：１３２人目の素数さん[sage]：2019/06/24(月) 18:01:14.97 ID:oDIXoinb - それじゃ、おっちゃんもう寝る。
|