Marxist Leninist Type Theory

faggotry

>>8560767
really?

>>8560840
Yes
t. expert

>>8560850
??

tell me why its hogwash

what is this

File: 1481139500171.png (9KB, 317x159px) Image search: [Google]

9KB, 317x159px

ebin

>>8560734
The idea is not completely retarded, but the people behind it are obnoxious, arrogant faggots. Stick with IITT and you should be fine.

>>8561951
do they act like their superior to mainstream mathematicians or something?

>>8560734
sauce on image and Marxist Leninist type theory.

t. guy who has seen how Marxist Japanese physicist Sakata applied Marxist material dialectics to come up with the quark model.

Read on wikipedia that scientist have isolated anti-hydrogen
Absoutely materially dialectical

>>8562185
Yes. I don't know how much of it is irony and how much their honest views, but the latter is definitely dominant. Some of them (Jon Sterling, Bob Harper, Joseph Abrahamson) are legit gommies.

Can I have a link on this? Also what's the difference between category theory and type theory?

>>8562689
https://github.com/jonsterling/redprl-oplss-2016-presentation/raw/master/slides.pdf
>what's the difference between category theory and type theory?
If you have to ask this, you don't ought to care about the topic in this thread.

File: lacan.png (407KB, 943x943px) Image search: [Google]

407KB, 943x943px

Explain this /sci/