2014-04-10から1日間の記事一覧

■

●昨日からのつづき。『ラッセルのパラドクス』(三浦俊彦)で描かれるラッセルの思想は下のように要約できる。「自分自身の要素ではない集合、の集合」という自身が発見したパラドクスを解消するために「タイプ理論」をあみだし、それを徹底することで日常語…