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

 Curry's Paradox: An Intuitive Argument. Appendices.

本日の日記の続きです。 補足項目 (1)*1 この補足項目 (1) で述べようとすることを、あらかじめ手短に記しておきます。 「Curry's Paradox により、不合理に陥る原因は、そこで自分自身に言及している表現を使用しているからだ。だから、そのような表現の使…

 Curry's Paradox: An Intuitive Argument.

Curry's Paradox の informal な論証を理解しようとすると、そこでは自分自身を指す表現が出てくるので、頭がこんがらがることがあります。そこであまり頭がこんがらがらない informal な論証を以下に示してみます。たぶんあまりこんがらがらないと思うので…