are not members of themselves? Theory of types Thursday, August 15, 13 Who’s heard of Russell’s paradox? ... If this seems strange to you, that’s ok. It means you’re still sane. ... Haskell programmer
object to which ‘truth’ refers?” “What do true sentences have in common?” “What does it mean for a sentence to be true?” Thursday, August 15, 13 Wittgenstein goes further customer requirements