2002-06-15 [長年日記]
λ. 重要な手続きを忘れていたことに気づく。どーしよー
λ. 文化祭
湘南の文化祭に行ってきた。
λ. 不正な処理とラッセルのパラドックス
この例はラッセルのパラドクスと直接の関係は無いという普通のツッコミはおいておく。
高級言語の中には再帰的な型の定義が出来るのがある(例えばHaskell)ので「プログラミングの世界では、自己参照型宣言は厳密に拒否されます」というのは正しくないし、「数値計算の方にも、サブルーティンの再帰コールという 一見自己参照的な手法がありますが、これは効率上の問題からサブルーティンのコピーを繰り返し メモリ上に生産するだけで、本当の自己参照ではありません。」というのも意味が分からない。
確かに、プログラミングと集合論の間にも Curry-Howard Isomorphism のような対応が付くのかも知れないけど……
[ツッコミを入れる]
