AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Is There a Consecs Hall of Sets?
The logic conection is something that i think we haven't really talked much about interposed so far. So the basic idea is is kind of simple. Like, once you have convicets, don't you have the natural operation of intersecting those sets? And then your operations of intersection and comnonx hall correspond to just intersectionn union. What's nice about it is that you can kind of use this sort of logic to construct your hypothesis. You know, like prepositional logic is already and the complete first thorte logic is not computable bubut like informational logic.