× 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
yeah but sometimes when the textbook authors are feeling particularly mischievous they'll just put them in random places. and sometimes they'll even skip the proofs but keep the square.
19 Comments
OccamsTeapot@lemmy.world · 83 pts · 2y
Mathematicians write the most insane shit you've ever seen in your life then they're just like □ peace out
bonus_crab@lemmy.world · 12 pts · 2y
If you wrote the equivalent of this in software I think linus torvalds himself would personally show up to destroy your pc.
Aqarius@lemmy.world · 4 pts · 2y
Nah, formulas like that are basically the assembly code for logic.
slampisko@lemmy.world · 42 pts · 2y
statements dreamed up by the utterly deranged
Sasha@lemmy.blahaj.zone · 28 pts · 2y
OP, I need the definition for × and <,> too
affiliate@lemmy.world · 28 pts · 2y
× 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
rasensprenger@feddit.de · 12 pts · 2y
What does type() mean here?
affiliate@lemmy.world · 25 pts · 2y
it's the "order type" of a well ordering on a set. so, given a set X with a total ordering R, type(X,R) is the unique ordinal isomorphic to (X,R)
bort@feddit.de · 11 pts · 2y
what's with the square at the end? isn't that usually for proofs?
affiliate@lemmy.world · 15 pts · 2y
yeah but sometimes when the textbook authors are feeling particularly mischievous they'll just put them in random places. and sometimes they'll even skip the proofs but keep the square.
Lemjukes@lemm.ee · 8 pts · 2y
Give it up for op actually out here answering questions like a real live teacher.
Sasha@lemmy.blahaj.zone · 2 pts · 2y
Oh wow, I should know that... Thanks
JackRiddle@sh.itjust.works · 5 pts · 2y
× is the cartesian product I think, no clue what the other thing is tho
Pretzilla@lemmy.world · 16 pts · 2y
QED.
hips_and_nips@lemmy.world · 15 pts · 2y
This is giving me PTSD flashbacks from Number Theory at uni. What a fascinating mindfuck.
affiliate@lemmy.world · 8 pts · 2y
oh god number theory.... the things they make you do in that class.......
yetAnotherUser@feddit.de · 10 pts · 2y
Oh no, there are xis!!!
https://www.change.org/p/the-entire-multiverse-ban-xi-from-the-greek-alphabet
riodoro1@lemmy.world · 3 pts · 2y
Im sorry, but the capital form alone justifies its existence.
Ragdoll_X@lemmy.world · 5 pts · 2y
Is this from Principia Mathematica or smth?
Sop@lemmy.blahaj.zone · 7 pts · 2y