2019-09-09から1日間の記事一覧
2019年6月24日のコメントペーパーより。レジュメは古典述語論理。 コメント:論理学をやっていて面白いと感じることもありますが、論理学を専門に研究している人というのは、具体的には何をやっているのでしょうか。論理学でわからないこと、まだ解明されて…
2019年6月24日のコメントペーパーより。レジュメは古典述語論理。 コメント:論理学をやっていて面白いと感じることもありますが、論理学を専門に研究している人というのは、具体的には何をやっているのでしょうか。論理学でわからないこと、まだ解明されて…