2017-11-21から1日間の記事一覧

■

大学祭が週の後半なので、予定通り授業です！後期授業第4回目は、「論理結合子の意味とは何か」という哲学的論理学話のまとめとして、「証明の正規化」の話をします。また、その後、正規化の話を軸に、記号の書き換え体系が論理と呼ばれるための条件について…