CHINESEBOTTROLL

Removed by mod

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

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”

countries in which the Dictatorship of the Proletariat failed to cede power to the working class and establish a socialist economic structure

Oh, so like every single other place that tried to implement that deranged system? Thank you for this very important distinction.