Recent content by Eric2
-
E
MHB Isomorphism of logic, arithmetic, and set theory
That was very helpful. Basically, what I'm trying to do is refute a published position that logical disjunction and conjunction are computationally interchangeable, with the only meaningful distinction arising from subjective observer interpretation. I believe this is wrong and strongly...- Eric2
- Post #3
- Forum: Set Theory, Logic, Probability, Statistics
-
E
MHB Isomorphism of logic, arithmetic, and set theory
Has anybody ever heard of this? I learned about it in a discrete math class in grad school, and I've never heard of it anywhere else !? For example, logical disjunction (OR) and set-theoretic UNION are isomorphic in this sense: 0 OR 0 = 0. {0} UNION {0} = {0}. Similarly, logical AND & set...- Eric2
- Thread
- Arithmetic Isomorphism Logic Set Set theory Theory
- Replies: 2
- Forum: Set Theory, Logic, Probability, Statistics