19/06/23 16:01:31.41 5HVdiuhl.net
おっちゃんです。
前スレの
＞696１３２人目の素数さん2019/06/20(木) 21:00:32.81ID:8EQazzcj
＞
＞ピエロかhigh level peopleか知らんが、ずいぶんマシになったもんだ。
＞>ID:VkC+KXYR
＞
＞おっちゃんには耳が痛いかもしれんが、
＞彼が言っていることは正しいよ。ここ>585
＞おっちゃんも、数理論理学を身につけるべき。
＞別に難しいものではない。
＞逆に、"頭を使わずに"論理を扱えるようになって便利だよ。ｗｗ
は多分ネタだろう。
はじめは前スレの>696は「論理学をつくる」や東京大学出版会の「数理論理学」といった
数理論理学の本を読むべきといっているのかとは思ったが、専門的な話になっている。
数理論理学をガチで身に付けるとしたら、複数の分野に分かれて専門的なことになる。
彼がいう適切な本がよく分からん。
大学のカリキュラムやシラバスを見ると、1年で述語論理を教えているところは幾つか見つかる。
多分、彼がいう「数理論理学」とは今の大学1年で習う述語論理のことだろう。