ゆるゆる べんきょう

暇だから哲学・数学・物理学をゆるく勉強しているよ

ダイアログ

2017-05: 古典論理を学んで

--- 古典論理を学んでいたということですが はい。論理学の基本ですね。アリストテレスの時代から進歩がなかった学問ですが、19世紀末から20世紀で一気に開花した学問です。数学基礎論とか数理論理学と呼ばれている分野です。 ---数学と論理学に関係があるの…

2017-04: 集合論を学んで

2017-04 は集合論を主に学びました --- 最近は集合論を学んでいたようですね そうですね。正確にはBNGの公理的集合論を学んでいたというのが正確な表現になると思います。公理的集合論というのは、カントールが開拓した集合論(素朴集合論)を、論理学の方法…