/siberia/ - Off-topic

type theory sucked

>>707875
>>707878
He was smarter than /leftypol/ and this is why you're jealous and making a rentfree thread about him

>>707882
well we're not landlords so of course hes rent free dumbass

>>707888
seethe zoomerboi

Material contradictions aren't the same as logical contradictions. Marx used the word because he was adapting Hegel's dialectical method which was oriented toward ideas. Material contradictions are tensions in a system where there are tendencies in opposition like the capitalists wanting more profit and the workers wanting more wages.

>metaphysical logical idealism is inferior to dialectical materialism

yes and reminder that bertrand russel dedicates 300 pages to principia mathematica to proving 1+1=2 because he literally believed (until godel and others proved otherwise) that everything could be derived from internally consistent logic.

>>707882
He failed in all his major philosophical projects and came up with the dumbest atheist argument of all time (I say this as an atheist)
I don't think you know literally anything about him other than "famous philosopher who agrees with me", because you're retarded and homosexual

>>707894
Nice try, but Marx used contradictions in more than one way and also used it to describe how capitalists' conception of capitalism harbors logical contradictions.

Wasn't he an anticapitalist tho

>>708055
He was a utopian which effectively makes him a liberal.

>>707878
Excuse me?
Type theory is the future of mathematics and computer programming. In 50-100 years, we all are going to be using programming languages with advanced dependent types founded on type theory.

Sure Russell's type theory is only tangentially related to Per Martin-Löf's, but it was an important inspiration.

>>707897
and he laid the ground work for what would eventually become today's type theory, where you can prove that `1+1=2` with inductive and equality types in one page (literally one line in modern proof assistants).