2017-09-26から1日間の記事一覧
昨日の記事「証明の“お膳立て”のやり方」の続きを書きます。発展編と言えるかも知れません。昨日“お膳立て”という言葉を使った理由は、形式的論理体系の話ではなく、コンピュータによる証明の話でもなく、人間が例えば「f:A→B は全射 ⇔ f*:Pow(B)→Pow(A) は…
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
昨日の記事「証明の“お膳立て”のやり方」の続きを書きます。発展編と言えるかも知れません。昨日“お膳立て”という言葉を使った理由は、形式的論理体系の話ではなく、コンピュータによる証明の話でもなく、人間が例えば「f:A→B は全射 ⇔ f*:Pow(B)→Pow(A) は…