2021.12.13
https://pbs.twimg.com/media/FGW2c7CVUAIGJgY?format=jpg&name=large#.jpg
いいね〜
いいね
やった
読むぞ〜
読んだ
そういえば読んだのに張ってなかった
後で
思った
古典論理の次が非古典論理に進む道になっており
ともかくなぜか様相論理に関する講義資料が全部noteにおいてあり 非常にありがたい ずっと思うんだが
これ下で容易に答え合わせ出来るだろ
なんでモザイクにしてるんだ
読んだ
知った
ザックリ言えば証明とはなにかを考えるための論理学において
論理学のための道具(定理とか)を証明する試みそれ自体はなんなのか/循環論法なのでは
と聞いたところ
そうなんだ