OP, I need the definition for × and <,> too
× 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
Mathematicians write the most insane shit you’ve ever seen in your life then they’re just like □ peace out
If you wrote the equivalent of this in software I think linus torvalds himself would personally show up to destroy your pc.
Nah, formulas like that are basically the assembly code for logic.
statements dreamed up by the utterly deranged
QED.
This is giving me PTSD flashbacks from Number Theory at uni. What a fascinating mindfuck.
oh god number theory… the things they make you do in that class…
Is this from Principia Mathematica or smth?
