ぺゅ〜の投稿

ラッセルのパラドックスの亜種、計算機科学で見かけがち 対角線言語、コルモゴロフ複雑性、ベリーのパラドックス、... 自己言及って相当強い性質よね