2015-02-09から1日間の記事一覧
今後やると思う。とにかくであるある視点から言語を見ると、正しいのに証明できないことを証明できないことがある。妄想に関する公理や推測基準などの公理化はひとりでは時間がかかるのでやらないがある視点の言語での証明ならいけるんじゃないのかと思う。…
今後やると思う。とにかくであるある視点から言語を見ると、正しいのに証明できないことを証明できないことがある。妄想に関する公理や推測基準などの公理化はひとりでは時間がかかるのでやらないがある視点の言語での証明ならいけるんじゃないのかと思う。…