failed attempts
They didn’t fail. I mean you can criticize the ussr, but it was not capitalist
which were sabotaged by capitalists
What a weird thing to say. The USSR had sovereign control over the largest country in the world by far + a lot of allies. The capitalists can’t even get rid of north Korea. Its not the capitalists, the system is just shit
the need to rebel is the problem
I mean its fine to rebel, but if your goal is communism I will bet on another case of “tHatS nOT rEaL coMMUnIsM”
Maybe a bit advanced for this crowd, but there is a correspondence between logic and type theory (like in programming languages). Roughly we have
Proposition ≈ Type
Proof of a prop ≈ member of a Type
Implication ≈ function type
and ≈ Cartesian product
or ≈ disjoint union
true ≈ type with one element
false ≈ empty type
Once you understand it, its actually really simple and “obvious”, but the fact that this exists is really really surprising imo.
https://en.m.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence
You can also add topology into the mix:
https://en.m.wikipedia.org/wiki/Homotopy_type_theory