2019-09-19から1日間の記事一覧
2019年7月1日のコメントペーパーより。レジュメは古典述語論理。 コメント:「人間の理解を超えた証明」とは何なのだろうか。その価値判断をできない証明はあくまで形式的なものでしかなく、誰に向けたものかすらわからなくなっている。 回答:前エントリ ta…
2019年7月1日のコメントペーパーより。レジュメは古典述語論理。 コメント:「人間の理解を超えた証明」とは何なのだろうか。その価値判断をできない証明はあくまで形式的なものでしかなく、誰に向けたものかすらわからなくなっている。 回答:前エントリ ta…