2023-09-10から1日間の記事一覧

書かれていない証明を考えるのは問題を解くようなものだ

でも、全部のとおりはさすがに勘弁。空気になりたい凡人です。 数学の同値命題にはひどいものだと6~7個の命題と同値になりえる。書物では大抵命題論理の推移律を使いまくって頭の仮定とし最終的結論を結ぶことで証明官僚としています。が、それぞれの命題間…