Mathematicians write the most insane shit you've ever seen in your life then they're just like □ peace out
81 0 ReplyIf you wrote the equivalent of this in software I think linus torvalds himself would personally show up to destroy your pc.
11 0 ReplyNah, formulas like that are basically the assembly code for logic.
2 0 Reply
statements dreamed up by the utterly deranged
40 0 ReplyOP, I need the definition for × and <,> too
26 0 Reply× is the cartesian product and = {x, {x,y}} is the ordered pair of x and y. (i.e., if x is in X and y is in Y, then is the corresponding element of the cartesian product X × Y). hope this helps
26 0 ReplyWhat does type() mean here?
12 0 ReplyOh wow, I should know that... Thanks
2 0 Reply
× is the cartesian product I think, no clue what the other thing is tho
5 0 Reply
QED.
15 0 ReplyThis is giving me PTSD flashbacks from Number Theory at uni. What a fascinating mindfuck.
14 0 Replyoh god number theory.... the things they make you do in that class.......
8 0 Reply
Oh no, there are xis!!!
https://www.change.org/p/the-entire-multiverse-ban-xi-from-the-greek-alphabet
10 0 ReplyIm sorry, but the capital form alone justifies its existence.
3 0 Reply
Is this from Principia Mathematica or smth?
4 0 Reply