``FP'' turdware is even infecting mathematics. ``Homotopy Turd Theory'' is their latest attempt to make ``FP'' look more like mathematics by changing the foundations of mathematics to look more like ``FP''.
Name:
Anonymous2016-01-03 0:44
``Mathematics'' turdware is even infecting logic. ``Principia Mathematica'' is their latest attempt to make ``Mathematics'' look more like logic by changing the foundations of logic to look more like mathematics.
Name:
Anonymous2016-01-03 3:03
>>1 i wouldn't worry about it, they aren't going to damage real mathematics.
Name:
Anonymous2016-01-03 4:50
*FPPPPPPPPPPPPPPPP*
Sorry, I had lots of curry last night.
Name:
Anonymous2016-01-04 6:48
>>3 They said the same thing about formalism, but now it's all about provability and not truth.
Do I care? I'm a programmer not a mathematician, that's why I'm on /prog/ and not on /math/!
Name:
Anonymous2016-01-05 5:21
>>7 Computer Science -> Algorithms -> Computation -> Math
Name:
Anonymous2016-01-05 6:27
>>6 Yeah, I've seen shit like that before. As a student I was wandering in the library and found a book on feminist education that attacked it from a sexist position. It made me sad. But I guess it can't be helped. It isn't as if I can censor these fools who want to pollute the rational, rigorous disciplines.