@@Naviary Imagine being foolish enough to blunder checkmate in phi(psi(W^W^W^W^eZw^w^(w^2)*2),0,n0,23,193) PS: W is capital omega, w is lowercase omega, e is epsilon, Z is zeta, n is eta
Tower is also a valid terminology, it is the name of the rook in many languages, also cannon is the name for the rook equivalent in Chinese chess although it moves differently, in this video's case the cannon name is appropriate to me as the rooks go as fast as a cannonball !
This is a great way to explain infinity. Most people don't understand it but starting from something that we can feel and showing that it can get beyond anything we can imagine yet still never reach true infinity is very satisfying.
@@Nomasunpibeboludothe imaginary unit i is finite in the 5-adic integers, among others. Or, really that’s the square root of -1: there are two separate numbers whose square plus 1 equals zero in that set
26:13 After infinitely many levels of incomprehensible infinity, we finally reach SMALL Veblen ordinal, what a journey to reach something that's literally called small.
That’s because it is still countable (there is a one-to-one correspondence between its elements and the natural numbers). ε_0, mentioned in the video, is also countable, and ε means small in maths. So it is also “small”, in the sense of still being countable. The real numbers are uncountable, so there are more real numbers than announcements and types of announcements in Infinite Chess.
I went in expecting a relatively standard chess video, i was not expecting you to basically recreate Vsauce's "how to count past infinity" video within the language of chess. That was an absolutely incredible watch, i applaud you on your efforts!
Legitimately made me understand that topic better than Vsauce if only because I was able to visualise it through _checks notes_ Rook Towers and Bishop Cannons
Well yes because of the nature of forced mates restricting the moves when assuming optimal play, choice is lost and it becomes a cellular automata which is very interesting
Man i’ve not once left a comment on a UA-cam video ever, but this vid was actually just too incredible too not praise you for. This almost makes me want to try and construct an omega^5 (and higher) position. Great video as always man.
Yeah - i am sure that many of the 4000 Grandmasters wouldnt like to deliberately analyze this knowledge - still i am sure that if i played infinite correspondence chess and i trained on ω tactics there would be someone who learned the whole set of ω^2 and would beat me i wouldnt know how :)
This Omega principal is actually relavent to the game Magic The Gathering, and is inbuilt into the rules. Essentially, in that game, it's very possible to generate infinite loops and combos. In that scenario, the way the rules work is that once you demonstrate an infinite loop, you are then allowed to shortcut actually doing that loop N number of times, where N is a number of any size of your choosing. The "priority" is then given to your opponent, who can agree, or name a smaller number that they will choose to interrupt and intervene at if they have an action that can do so, which is rare after the first loop. Because of this, it's not extremely rare for monsters to end up with a billion power, or to give yourself a googol health, etc etc
I haven't played Magic, but that is actually quite interesting!! For certain actions it allows you to pick an arbitrary amount of steps to repeat that action?
The same is true for yugioh as well! They have the same rule of “demonstrate a loop once to show that it’s infinite and then declare how many times you are going to perform it”
yeah you need to demonstrate both that you can create a loop, but also that you can choose to stop the loop, otherwise you either win, lose or draw game depending on the loop's effect on both players' life total
It is possible to get mate in ω₁. Just not in any actual chess board. All you have to do is give the board to the opponent and tell them they have to set up a board in which you have the winning move. They have access to every countable ordinal move count, and so the move counter when you give them the board is ω₁.
However, you have to give them infinite time to set up such a board. Unfortunately, if you restrict yourself to the boards that can be represented by a bounded amount of information, this is suddenly a countable ordinal again. You must afford them a literal eternity to make this particular announcement for it to truly be mate in ω₁. They have to _actually be able to spend this eternity_ in order for it to work. If you just afford them an unbounded amount of time, you force them to make an announcement that decides between a countable set of countable ordinals (each being the best they can do if given n years), which is just not good enough.
Ordinals are so trippy sometimes. I suppose if you let the opponent to set up the chessboard, it would be "mate in omega_1", since omega 1 would be the smallest ordinal greater than all the others.
@@neopalm2050If you give someone time to set up a board, is each moment an announcement because you have to go at a finite speed, but there's no limit to how fast you can be, unless you account for the speed of light. But there are probably ways to set it up so the same thing happens but without that nuance.
@@danielyuan9862 I was imagining a situation where the only real announcement would be the actual board state. Anything done up to that point, they could take back. I was also assuming there was an upper bound on how often information can be set (information that determines the board state).
It's important to understand that there is an ordinal (omega^CK, Church-Kleen ordinal) lower than omega_1 (noted as capital omega in the video) that is no longer recursive (i.e. it can't be reached by the construction shown in the video). As a result, the plateau required for an omega^CK mate is strictly incalculable. In other words, there's no way to describe the position of the pieces unambiguously ("describe" in an algorithmic sense). As a result, mankind will never know a mate in omega^CK (however, all smaller mates are feasible). Edit : In the replies to this comment, there are some very pertinent remarks for you to read, including a reply from Matthiew. ( PS: Incidentally, no program would be capable of calculating a sequence of mats whose ordinals tend towards omega^CK (otherwise, we could use them to construct omega^CK mats). In other words, it can be shown that there is a mate shorter than omega^CK that mankind will never be able to achieve because of the computability of the Universe. The meaning of a non-recursive ordinal is very difficult to grasp in this context, since we're dealing with such large infinities that the consequence of what I'm saying is not perceptible. ) ( I'm using a translator to express myself, as I'm French and the terms are getting a bit technical, so I hope it's still intelligible. )
Among computable positions (once you precisely define computable positions) omega^CK is an easy upper bound, and my construction suffices to show you cannot do better. If you do not ask the position to be computable, then for any countably branching well-founded tree my construction gives a position with game value equal to the rank of the tree, so all countable ordinals indeed occur as game values of some (not necessarily computable) position. In fact, we can say a little more. Given as an oracle a function f:N -> N such that the image of f is well ordered under the Kleene-Brouwer ordering and of order type alpha, my construction shows that there is a position, computable relative to f, with game value alpha. This shows that restricting to positions of any level of the lightface Borel hierarchy (e.g. computable, Sigma_2, arithmetic, hyperarithmetic, etc), the correct upper bound is the supremum of all ordinals belonging to that level.
You can describe it. You just need to reach beyond anything equivalent to the standard turing machine operations to do so. Non-computability doesn't stop the busy beaver function from being expressible. You just can't write a program that generates them (or even prove what numbers it outputs past a certain point).
Thank you - its a very informative comment :) - heard about cardinals and ordinals , little and big omega notation but really missed the Calvin-Klein definitions (intentional typo). I am really not sure what do you mean by "computable" - someone referred to turing machine idea but i have no issue with having a power of ω wide computer register or just write a sentence (function) that states i can browse the whole board in an instant and calculate the formula on it :). The universe has ONLY got 10^80 atoms, but the quantum deterministic wave function has been immersed in a Hilbert space i see no issue with saying that everything is achievable just by creating and idea and truly believe it :). Thank you!
This was such a good video, the ending sort of reminded me of 17776, and how the people in that story play thousand years games of football. I could also imagine them playing those really long infinite chess games
Now make chess but pieces can move to decimal values of spaces instead of just whole numbered spaces, allowing for an infinite amount of spaces between each space. Eg inbetween the numbers 0 and 1 there are an infinite amount of decimals, so one could conceivably create an infinite amount of ordinal number checkmates between them
"we can have a game length of any number we desire, even exceeding the time in seconds until the heat death of the universe. we just have the move the rook that many spaces away" is such a crazy and hard ass sentence
This is what I’ve been working on the past several months! I couldn’t split the topic into more cliff-hangers on you guys, so here’s covering it all! By far my biggest project. I hope you enjoyed! Consider subscribing 😉 And come join the discord! discord.gg/NFWFGZeNh5
@@wesleystoltz8421 Unfortunately not, with only countably many infinite squares on the board, you can never create a piece that can move to uncountably many squares, which would be required to reach Omega_1. The exception is you would have to create a piece that can make infinitely complex moves (like, chain infinitely many moves into a single move). Infinite Checkers has this property, and can reach uncountable ordinals!
In Infinite Chess, you could get a position Mate-in-ω_1 if there is infinite pieces on the board. This has been already proven. Although, with only a finite piece, you can't make a position with Mate-in-ω_1. Keep in mind that some Mate-in-x position have the value of x greater than ω_1^CK.
I imagine if there is an after which you are immortal in you just calling up your buddy and saying "Yo, are you down for a quick game of chess? ill set it up in the Omega to the power of 3 position."
Even if I’ve watched Vsauce’s video on infinities that talks about larger ones, this video still blew my mind. To say this is well made is an understatement. Omega/10 video.
This is honestly one of the best mathematics videos I've seen on youtube. The only thing that could be considered missing, in my opinion, is mention of the difference between cardinal exponentiation and ordinal exponentiation; it'd call back to the "least ordinal greater than all finite ordinals" from before, while giving some context to why omega^omega is still countable while 2^aleph_0 is no less than the cardinality of omega_1. I don't think there's any good place this could fit within the video (because you went on to very concisely describe all countable ordinals), and seen as you did a great job with the script, I don't think adding it would make the video better than it currently is, but it did come to my mind. Can't wait to hear more come from this project in the future!
If there's one thing I would have included more, it honestly probably would have been greater explanation of ordinal arithmetic! You are correct with the script being a little tight, not sure where I could have paused the story to explain arithmetic. More videos will come!
2^aleph_0 is the cardinal of a set of applications from a set of cardinal 2 to a set of cardinal aleph_0, such as bit sequences. A sequence of bits contains an infinite amount of information. You'll notice that all the elements of omega^omega are written with a finite amount of information. So it's more analogous to the set of finite bit sequences (wich is countable).
@@abellematheux7632 This is inaccurate. A sequence can be encoded entirely with finite information only, using a recursion. In fact, trying to think of cardinality as being about information begin with is incorrect.
@@angelmendez-rivera351 I denote F^E the set of applications from a set E to a set F. Let beth_n be the (ordinal) sequence of cardinals such that beth_0=alef_0 and beth_{n+1}=2^alef_{n}. Let X be a set of cardinal beth_{n}, and the set 2^X={0,1}^X is of cardinal beth_{n+1}. More generally, let E be a set of finite cardinal, E^X is of cardinal beth_{n+1} like 2^X. Finally, if X is not in bijection with a set of the form 2^Y, then X is in bijection with a union of sets all of lower cardinal than X and all of different cardinalities. For example, the union of sets X_n of cardinal n has cardinal beth_0. All elements of omega^omega can be written with a finite amount of information, i.e. with a finite number of characters in a finite alphabet. However, the number of characters per element is not bounded. If there is no way to represent the elements of omega^omega by sequences of characters in a finite alphabet such that the number of characters is bounded, then omega^omega is not finite (obvious). However, omega^omega is in bijection with a set included in the set of finite sequences of possible characters in this alphabet. By denoting this alphabet E, X is therefore in bijection with a subset of the union of E^n, making it a set of cardinal beth_0. 2^beth_0, in turn, is in bijection with a set of the form 2^X. In E^X with finite E, I like to call E the alphabet and its elements characters when I'm vulgarizing. So, to compare infinite sets that look like E^X, just compare the cardinal of E. I like to call the cardinal of E the amount of information needed to write the elements of E^X. It's as if, for f belonging to E^X, we wrote, for each x belonging to X, f(x). Of course, this is a vulgarization procedure. In reality, we don't really write down this amount of information. But it does help to recognize the size of a set: the elements of R are written with beth_0 decimals, those of R^R with beth_1 reals (which themselves are written with beth_0 "information"), and those of Q with a finite number of digits. I really hope I've made myself understood. It's probably just a misunderstanding of my intention and the way I use the words "sequence" and "information". I don't blame you for criticizing me, of course, and you can tell me if I wasn't clear. I'd like to point out once again that I'm very bad at English and that I use a translator, which can be a big source of misunderstanding.
A couple years ago, I heard about a chess engine's analysis of a game showing in a certain position had a forced mate in 256 and was amazed at this concept. It's so far beyond that now?! All I can say is Wow!
This seriously has to be one of the best videos I've ever watched. I normally don't ever leave comments but this deserves it. I was drafting a lot longer of a comment talking about all the little details between the script and the editing I noticed that made it great, but it was getting too long so I'll just say that I noticed them and leave it at that. Great video, ω/10 :)
What an amazing video 😭❤ I love how it gradually went from normal-looking chess to the never-ending nesting of countable infinities using nodes and towers
I had an idea to generate an ω^5 announcement. Remember that on the ω^4 announcement you fire the bishop first as the Tier-4 Announcement? you can make an tier 5 mirroring the Rook Towers and putting an piece with the movement restricted. This piece would be manouvered to protect a key square, where a pawn is going to be placed to fire the bishop. If the bishop takes the Key pawn under that circunstance, the piece would recapture and be free to checkmate the king on the throne room, or release a Bishop to do the job.
I just had this idea: If we start with the normal arrangement of pieces, we have two rooks. And since the board is infinite, we can't promote our pawns! Well, most (almost all) of the positions shown here are impossible anyway lol. Great video! I loved it! I have always loved the concept of infinity. You got a sub!
Thanks! In competitive play, the current rules allow promotion at the normal ranks 1 & 8. But yes, for the positions I showed, there was no promotion, and pawns never have the opportunity to queen...
@@Blue_FirewalIi have never heard it called OMEGA but my guess for that would be that the symbol is capital omega (Ω) instead of lowercase omega (ω) and absolute infinity is a different ordinal
i knew it would get REALLY wild when the bishop cannons appeared banger video! it's great to see how your video skills evolved with this infinite chess journey, and i'm all for it :D my only issue is the part of the ordinals getting """bigger""" feeling a bit too fast without a lot of the aritmethic context (and my brain doesn't help :P) but i see why you would approach it that way (on the bright side it makes me want to learn more about it so yay) anyways, Ω/10.
Ik you're joking, but just a thought Infinite checkers would be nigh impossible since, unless one side manages to capture every opponent piece, as soon as the pieces pass each other, all they can do is move onto infinity since they'll never promote to kings, and even if they could, one player could stall for infinity
@@the1stwingit will be more impossible if the checker pieces actually repeat infinitely, just a fun little game on how many captures you can make with one move
what if the board was only infinite one way? The amount of squares it takes to make a king is the same, but the board extends infinitely in the horizontal direction
The scope of this video was just to explain super obscure chess problems but it turned out to be the best, most intuitive explanation of infinity (and different levels of infinity) I've ever seen.
I'm very interested to see how you are going to make infinite structures work. Your chessboard is obviously finite (the need for coordinates for storing the piece positions ensure that), but having structures that extend to the edges without taking up unfathomably large amounts of memory (or do so after the first move) sounds like a interesting challenge, especially with the complicated patterns these boards have. It sounds very possible, though.
I love how it seems like there's a countably infinite number of named ordinals. Transfinite mathematicians have too much time... transfinite time it seems. And they love naming numbers!
hell yes, I was waiting for this video to come out and it's every bit as good as I hoped Next things to explore: Mate in w^2 with finite pieces (may be possible to prove it's impossible to setup? but the fact that you can get w*n with arbitrarily high n in constant pieces makes it tantalizing...) Complexity class of/computers made in chess and chess variants
Unbelievably cool, I’m amazed by how much effort you put in - it was 100% worth it. Best of luck to you! Genuinely one of the best videos I’ve ever seen on this platform (as a chess player and set theorist I may be biased but still…)
0:30 I love a video that answers the question very quickly before ignoring the actual premise and just going into a group theory-ish based question. /s
I wonder what is the biggest mate-in-x we can reach with a finite amount of pieces. After all, you start a position with only 16 pieces, and you can only reach up to 10 of any given piece. How big does it get with this constraint?
That... is another story to tell! This one is actually still an open question. We don't know yet.... But we do know that at least Omega^2 is possible with finite pieces!
my partner looked over at my screen in horror when the bishop cannons came on screen, confused as to what the heck i was watching needless to say i quite enjoyed this
19:38 I like the subtle difference of the Omega^2 announcement here compared to the other tiers. Instead of the announcement being a move played by a piece, this announcement is the act of selecting which bishop tower you decide to unload. The move that follows is the tier 1 announcement, choosing where to place the selected bishop. The "distance" of the announcement is proportional to the number of bishops in the selected bishop tower, which feels pleasing. Neat stuff!
Hey Naviary! This might be a stretch but I wonder if the mate-in-X could even be undecidable? We already saw in the mate in omega-4 how close each side was to winning. What if the game position represented the rules of a undecidable game? This whole video reminded me a lot of Sylver's Coinage, which itself is unsolvable rn. So I guess if you simulated that game in infinite chess SOMEHOW, it'd be mate-in- implication of math problem 🎉
I think so! Pretty sure if we were just handed a mate-in-omega1CK position, it would be impossible for it to figure that out, as it's non recursive and uncomputable, so it must be impossible to create an algorithm that can calculate the clock for every single possible position!
8 by 8 chess is just 2 groups of children fighting (with a leader) and that GM's there is just super smart leaders. But infinite chess is THE REAL BATTLEFIELD between empires in the multiverse
@@aav56 It's a little hard to understand. I would recommend reading up more on Matthew's proof himself. But basically there exists an algorithm that tells us exactly where to place the nodes to obtain the ordinal value we want. I briefly mention here that an w^w announcement would descend to an w^n position for any value n. An e_0 announcement would descend to w^w^w... for any height n. Basically any announcement of any size N can descend to any ordinal T that is included in the infinite sequence leading up to it. In the bishop tree, if we want to make higher ordinal positions, we can always just take existing trees we have made, and repeatedly place them as choices in the first branch of the tree. This will always give us higher ordinals.
Man the throne room and the towers and cannons makes me think of a story where these mad god -kings have these massive 3D printed armies that span galaxies and they're throwing them at each other in increasingly elaborate and ridiculous scenarios thinking they're brilliant and geniuses. Meanwhile the kings are still in throne room, the dimensions of which are the same as that of their ancient ancestors, perhaps even the ancestors of their ancestors. Anyway cool video haha
This video has single handedly messed with my view on chess. Like, I can’t look at a chess board and not imagine bishop cannons and rook towers and king chambers. It’s all so crazy. Great vid
This was so well done. I have an infatuation with trans-infinite numbers, so seeing someone actually give examples of them on an infinite Chess board is just so cool
This is truly remarkable. Thank you for putting all these together. This will be an incredibly good introduction to ordinals and how big omega_1 is. This has as much education value as entertainment value.
This is all very interesting, but since most of these positions require an infinite amount of material, what I'd like to know is, what is the longest (currently known) infinite chess game position that can be achieved from the regular starting position
@@Naviary From the normal starting position. The setup can be implausible, that is, it can require one or both players to have played moves that are suboptimal or even nonsensical. But it should be _theoretically_ possible to get to the position from the normal setup.
Damn, this is amazing, I watched a few videos about infinite ordinals and omega before but never really understood it properly. This made it so much clearer.
I love how you start with something that resembles chess and end with massive structures designed only to prolong the inevitable.
The lower quadrants have been lined with bishop cannons of increasing size
And yet, a math brain loves it
thats such a good way of describing how my brain is reacting to this.
That awkward moment when you blunder into an infinite number of rook locks...
Just like real life
Imagine being foolish enough to blunder checkmate in ω^3•10+ω^2•8+1001
🤦♂️ "You blundered! How could you not see that?"
@@Naviary Imagine being foolish enough to blunder checkmate in phi(psi(W^W^W^W^eZw^w^(w^2)*2),0,n0,23,193)
PS: W is capital omega, w is lowercase omega, e is epsilon, Z is zeta, n is eta
@@NaviaryYou fell for one of the classic blunders!
Hikaru be like:..... Yes that's checkmate in (imagine the amount of all real numbers)
Rookie error lululul
It's kind of beautiful, that two kings are just having a staring contest, while all of this is happening
Bet after the 198,298,171,372,287,394,291th move they would wish they could just lunge at each other and have a fist fight
Typical monarchy forcing everybody else to dedicate their lives to them lol
The UK has no problem with that. Sucking money like leeches. Very impressive.@@fntthesmth423
shout out to their patience because doing absolutely nothing all of that amount of time is huge‼️‼️
"Now, now, there's no need to fight... why not settle this over a nice cup of tea?"
Oh man, I really hate when I'm just casually playing and suddendly Stockfish tells me I have a mate-in-Omega-1 minus 1 position.
Omega-1 minus 1 is just Omega-1
@@gianglai7346actually omega-1 minus 1 is ill-defined
@@barrianic4 actually omega-1 minus 1 is e =m2
@@aaravthediscoverer omega-1 does not have an imediate predessessor because it is a limit ordinal
@@barrianic4 but does it have an immediate successor?
The worst thing in Infinite Chess is probably the Bishop sniping you from 45 multiverses away.
Biblically accurate
@@Dexuz*why do I hear boss music*
Yeah, I hate that move.
Average 5d chess game
Oh crap the knight jumped over the interdimensional void and took my queen
A higher game value does not necessarily mean the game will take longer, but instead it means your opponent can be more annoying
It does beg the question, how long could a game last if black tried to play _as badly_ as possible? I.e. trying to get itself checkmated
@@richardpike8748 2 move mate
@@richardpike8748 ig depends on position
@@eeeee11235 not in infinite chess, since the king can just move backwards
E
Of all things, I never thought I'd hear the phrase "bishop cannon" in my life.
BROTHERS! WE NEED TO CRUZADEEEE
I searched "bishop cannon" and apparently there is someone who is a bishop and named Cannon.
en.wikipedia.org/wiki/William_Ragsdale_Cannon
Pope cannon
I mean... they ARE called "shooters" in my native language... I guess this is why
Bishop cannon is probably the most metal chess thing I've ever heard
the moment terminology turned to "towers" and "cannons" i think this stopped being about chess
'What is this piece?'
'Tower.'
'ITS CALLED DA ROOK'
Tower is also a valid terminology, it is the name of the rook in many languages, also cannon is the name for the rook equivalent in Chinese chess although it moves differently, in this video's case the cannon name is appropriate to me as the rooks go as fast as a cannonball !
soon we’re gonna have nuclear warfare in chess if we keep goin higher with these ordinals
Those massive structures weirdly remind me of the game of life
@@tigerghg7302 chess has become cellular automata
This is a great way to explain infinity. Most people don't understand it but starting from something that we can feel and showing that it can get beyond anything we can imagine yet still never reach true infinity is very satisfying.
@@Nomasunpibeboludothe imaginary unit i is finite in the 5-adic integers, among others. Or, really that’s the square root of -1: there are two separate numbers whose square plus 1 equals zero in that set
@@Nomasunpibeboludotransfinite ordinals are no less fictional numbers than the natual numbers.
@@NathanSimonGottemerWhat did the coward say? 🗿
@@macchiato_1881^
@@SimoneBellomonte …ngl I forgot 😅
i love how with this configuration you could hide a bishop extremely far away, get it onto position and then snipe the queen from 3 kilometers away
26:13 After infinitely many levels of incomprehensible infinity, we finally reach SMALL Veblen ordinal, what a journey to reach something that's literally called small.
That’s because it is still countable (there is a one-to-one correspondence between its elements and the natural numbers). ε_0, mentioned in the video, is also countable, and ε means small in maths. So it is also “small”, in the sense of still being countable.
The real numbers are uncountable, so there are more real numbers than announcements and types of announcements in Infinite Chess.
@@-minushyphen1two379the large veblen ordinal is also countable
bruh
that's what she said before she left me
@@-minushyphen1two379 the large one is also countable
I went in expecting a relatively standard chess video, i was not expecting you to basically recreate Vsauce's "how to count past infinity" video within the language of chess. That was an absolutely incredible watch, i applaud you on your efforts!
Same😂😂
Legitimately made me understand that topic better than Vsauce if only because I was able to visualise it through _checks notes_ Rook Towers and Bishop Cannons
And here I thought VSauce's video was absolutely insane! He doesn't even get into as many Greek Letters!
I've finally found an area where transfinite ordinals are useful
"useful"
@@maldoror-13to the gods
*semiusefull
Now to create a starting position where reaching said useful situation is actually plausible
geometry dash theoretically possible levels as well
I love how you played a nuclear alarm in the background when talking about omega^4.
Imagine getting skewered by a bishop on the square b925836
The later stages begin to resemble Conway's Game of Life :)
In some ways it does resemble it doesn't it?
Well yes because of the nature of forced mates restricting the moves when assuming optimal play, choice is lost and it becomes a cellular automata which is very interesting
@@Naviary now I'm thinking if infinite chess is Turing complete
It's the game of life, except it's more complex
@@shauas4224 I wonder that too now
The intro with the infinite chess game zooming out to show the text is so cool
3.1415? Pi? 3.14159 this is pi followed by!
@@findystonerush9339fun fact pi is TINY it has a lot of digits but it is small because it starts a with 3 so if you round down in 3
Man i’ve not once left a comment on a UA-cam video ever, but this vid was actually just too incredible too not praise you for. This almost makes me want to try and construct an omega^5 (and higher) position. Great video as always man.
Thank you, I really appreciate it!
We've seen how far we can go with infinitely many pieces, but how far can we go with only finitely many pieces?
@@objectshowfan362 This is still an open question! We know so far that omega^2 is possible.
Yeah - i am sure that many of the 4000 Grandmasters wouldnt like to deliberately analyze this knowledge - still i am sure that if i played infinite correspondence chess and i trained on ω tactics there would be someone who learned the whole set of ω^2 and would beat me i wouldnt know how :)
@@objectshowfan362 It is bounded by Church-Kleene ordinal (the first nonrecursive ordinal, also the supremum of the recursive ordinals)
you know what? let’s call it a draw
*black*
"Nah, id make you surrounder"
*Moves first bishop to a Google Plex*
This Omega principal is actually relavent to the game Magic The Gathering, and is inbuilt into the rules. Essentially, in that game, it's very possible to generate infinite loops and combos. In that scenario, the way the rules work is that once you demonstrate an infinite loop, you are then allowed to shortcut actually doing that loop N number of times, where N is a number of any size of your choosing. The "priority" is then given to your opponent, who can agree, or name a smaller number that they will choose to interrupt and intervene at if they have an action that can do so, which is rare after the first loop.
Because of this, it's not extremely rare for monsters to end up with a billion power, or to give yourself a googol health, etc etc
I haven't played Magic, but that is actually quite interesting!! For certain actions it allows you to pick an arbitrary amount of steps to repeat that action?
The same is true for yugioh as well! They have the same rule of “demonstrate a loop once to show that it’s infinite and then declare how many times you are going to perform it”
so this is what the memes mean when they say that magic the gathering is turing complete
yeah you need to demonstrate both that you can create a loop, but also that you can choose to stop the loop, otherwise you either win, lose or draw game depending on the loop's effect on both players' life total
@@StriiderEclipse I thought they just banned cards that cause infinite loops? (Freaking Pole Position, man.)
It is possible to get mate in ω₁. Just not in any actual chess board. All you have to do is give the board to the opponent and tell them they have to set up a board in which you have the winning move. They have access to every countable ordinal move count, and so the move counter when you give them the board is ω₁.
However, you have to give them infinite time to set up such a board. Unfortunately, if you restrict yourself to the boards that can be represented by a bounded amount of information, this is suddenly a countable ordinal again. You must afford them a literal eternity to make this particular announcement for it to truly be mate in ω₁. They have to _actually be able to spend this eternity_ in order for it to work. If you just afford them an unbounded amount of time, you force them to make an announcement that decides between a countable set of countable ordinals (each being the best they can do if given n years), which is just not good enough.
Ordinals are so trippy sometimes. I suppose if you let the opponent to set up the chessboard, it would be "mate in omega_1", since omega 1 would be the smallest ordinal greater than all the others.
@@neopalm2050If you give someone time to set up a board, is each moment an announcement because you have to go at a finite speed, but there's no limit to how fast you can be, unless you account for the speed of light. But there are probably ways to set it up so the same thing happens but without that nuance.
@@danielyuan9862 I was imagining a situation where the only real announcement would be the actual board state. Anything done up to that point, they could take back. I was also assuming there was an upper bound on how often information can be set (information that determines the board state).
What you are describing is not a mate-in-ω(1) at all. Indeed, what you are not describing is not even infinite chess to begin with.
It's important to understand that there is an ordinal (omega^CK, Church-Kleen ordinal) lower than omega_1 (noted as capital omega in the video) that is no longer recursive (i.e. it can't be reached by the construction shown in the video).
As a result, the plateau required for an omega^CK mate is strictly incalculable. In other words, there's no way to describe the position of the pieces unambiguously ("describe" in an algorithmic sense).
As a result, mankind will never know a mate in omega^CK (however, all smaller mates are feasible).
Edit : In the replies to this comment, there are some very pertinent remarks for you to read, including a reply from Matthiew.
( PS: Incidentally, no program would be capable of calculating a sequence of mats whose ordinals tend towards omega^CK (otherwise, we could use them to construct omega^CK mats). In other words, it can be shown that there is a mate shorter than omega^CK that mankind will never be able to achieve because of the computability of the Universe.
The meaning of a non-recursive ordinal is very difficult to grasp in this context, since we're dealing with such large infinities that the consequence of what I'm saying is not perceptible. )
( I'm using a translator to express myself, as I'm French and the terms are getting a bit technical, so I hope it's still intelligible. )
Among computable positions (once you precisely define computable positions) omega^CK is an easy upper bound, and my construction suffices to show you cannot do better. If you do not ask the position to be computable, then for any countably branching well-founded tree my construction gives a position with game value equal to the rank of the tree, so all countable ordinals indeed occur as game values of some (not necessarily computable) position.
In fact, we can say a little more. Given as an oracle a function f:N -> N such that the image of f is well ordered under the Kleene-Brouwer ordering and of order type alpha, my construction shows that there is a position, computable relative to f, with game value alpha. This shows that restricting to positions of any level of the lightface Borel hierarchy (e.g. computable, Sigma_2, arithmetic, hyperarithmetic, etc), the correct upper bound is the supremum of all ordinals belonging to that level.
You can describe it. You just need to reach beyond anything equivalent to the standard turing machine operations to do so. Non-computability doesn't stop the busy beaver function from being expressible. You just can't write a program that generates them (or even prove what numbers it outputs past a certain point).
I will edit my comment tomorrow if I don't forget (it's night here).
Thank you - its a very informative comment :) - heard about cardinals and ordinals , little and big omega notation but really missed the Calvin-Klein definitions (intentional typo). I am really not sure what do you mean by "computable" - someone referred to turing machine idea but i have no issue with having a power of ω wide computer register or just write a sentence (function) that states i can browse the whole board in an instant and calculate the formula on it :). The universe has ONLY got 10^80 atoms, but the quantum deterministic wave function has been immersed in a Hilbert space i see no issue with saying that everything is achievable just by creating and idea and truly believe it :). Thank you!
Hmmm grave interessant ça aussi
10:58 Tier 2 announcements were a plot twist I wasn't expecting. Great video and great narration!
started laughing at omega³, checked how much of the video is remaining, oh boy
That mate-in-Omega⁴ position is oddly terrifying.
the moment of history, the third naviary's video
Only countably many videos until the ω-th video
Unlike **some company**, he actually know what comes after 2
Thanks for the tutorial, now I know how to deal with this when it comes up in my games!
This was such a good video, the ending sort of reminded me of 17776, and how the people in that story play thousand years games of football. I could also imagine them playing those really long infinite chess games
I had this exact thought about Jon Bois
Never heard of that before. It's great!
This is basically just what happens when you're really determined to NOT lose.
Now make chess but pieces can move to decimal values of spaces instead of just whole numbered spaces, allowing for an infinite amount of spaces between each space.
Eg inbetween the numbers 0 and 1 there are an infinite amount of decimals, so one could conceivably create an infinite amount of ordinal number checkmates between them
"we can have a game length of any number we desire, even exceeding the time in seconds until the heat death of the universe. we just have the move the rook that many spaces away" is such a crazy and hard ass sentence
I like that if you set all these numbers to one mathematically these extremely big numbers all equal 1
@@wesleystoltz8421not if you have a trillion of them stacked on top of each other
This is what I’ve been working on the past several months! I couldn’t split the topic into more cliff-hangers on you guys, so here’s covering it all! By far my biggest project. I hope you enjoyed!
Consider subscribing 😉 And come join the discord! discord.gg/NFWFGZeNh5
u have my respect
Would it be possible to reach a higher checkmate clock with custom made pieces?
@@wesleystoltz8421 Unfortunately not, with only countably many infinite squares on the board, you can never create a piece that can move to uncountably many squares, which would be required to reach Omega_1. The exception is you would have to create a piece that can make infinitely complex moves (like, chain infinitely many moves into a single move). Infinite Checkers has this property, and can reach uncountable ordinals!
@@Naviary Ok now I need to see the video on infinite checkers 👀
In Infinite Chess, you could get a position Mate-in-ω_1 if there is infinite pieces on the board. This has been already proven. Although, with only a finite piece, you can't make a position with Mate-in-ω_1. Keep in mind that some Mate-in-x position have the value of x greater than ω_1^CK.
Insanely well made! This truly is a game for the gods and we have only begun to scratch the surface :)
Thank you!
@@Naviary, I tried joining the Discord, but it said that I'm unable to accept the invite.
@@RickMattison314 That's weird. It should work! Maybe try a different link? discord.gg/bWbgYqX7Re
@@Naviary, still nothing.
Edit: NVM. It worked on my phone.
@@RickMattison314 Great!
All the ordinal numbers were just blowing my mind. Not the size of them, but the fact that we have notation for it
I imagine if there is an after which you are immortal in you just calling up your buddy and saying "Yo, are you down for a quick game of chess? ill set it up in the Omega to the power of 3 position."
Nah, why play a game that has a preset winner
@@TheFlame_Hawk for fun
You sound dyslexmic
Even if I’ve watched Vsauce’s video on infinities that talks about larger ones, this video still blew my mind. To say this is well made is an understatement. Omega/10 video.
omega is a ordinal, not a cardinal
@@godofnumbersakausername5226 lol, good point
@@godofnumbersakausername5226Expanded chess should also come with new pieces, like Cardinals which are Bishops but better
@@thesenate1844 Yeah, or else every game would be a draw.
This is honestly one of the best mathematics videos I've seen on youtube. The only thing that could be considered missing, in my opinion, is mention of the difference between cardinal exponentiation and ordinal exponentiation; it'd call back to the "least ordinal greater than all finite ordinals" from before, while giving some context to why omega^omega is still countable while 2^aleph_0 is no less than the cardinality of omega_1. I don't think there's any good place this could fit within the video (because you went on to very concisely describe all countable ordinals), and seen as you did a great job with the script, I don't think adding it would make the video better than it currently is, but it did come to my mind. Can't wait to hear more come from this project in the future!
Thank you
If there's one thing I would have included more, it honestly probably would have been greater explanation of ordinal arithmetic! You are correct with the script being a little tight, not sure where I could have paused the story to explain arithmetic. More videos will come!
2^aleph_0 is the cardinal of a set of applications from a set of cardinal 2 to a set of cardinal aleph_0, such as bit sequences. A sequence of bits contains an infinite amount of information.
You'll notice that all the elements of omega^omega are written with a finite amount of information. So it's more analogous to the set of finite bit sequences (wich is countable).
@@abellematheux7632 This is inaccurate. A sequence can be encoded entirely with finite information only, using a recursion. In fact, trying to think of cardinality as being about information begin with is incorrect.
@@angelmendez-rivera351
I denote F^E the set of applications from a set E to a set F.
Let beth_n be the (ordinal) sequence of cardinals such that beth_0=alef_0 and beth_{n+1}=2^alef_{n}. Let X be a set of cardinal beth_{n}, and the set 2^X={0,1}^X is of cardinal beth_{n+1}. More generally, let E be a set of finite cardinal, E^X is of cardinal beth_{n+1} like 2^X.
Finally, if X is not in bijection with a set of the form 2^Y, then X is in bijection with a union of sets all of lower cardinal than X and all of different cardinalities. For example, the union of sets X_n of cardinal n has cardinal beth_0.
All elements of omega^omega can be written with a finite amount of information, i.e. with a finite number of characters in a finite alphabet. However, the number of characters per element is not bounded.
If there is no way to represent the elements of omega^omega by sequences of characters in a finite alphabet such that the number of characters is bounded, then omega^omega is not finite (obvious). However, omega^omega is in bijection with a set included in the set of finite sequences of possible characters in this alphabet. By denoting this alphabet E, X is therefore in bijection with a subset of the union of E^n, making it a set of cardinal beth_0.
2^beth_0, in turn, is in bijection with a set of the form 2^X.
In E^X with finite E, I like to call E the alphabet and its elements characters when I'm vulgarizing. So, to compare infinite sets that look like E^X, just compare the cardinal of E. I like to call the cardinal of E the amount of information needed to write the elements of E^X. It's as if, for f belonging to E^X, we wrote, for each x belonging to X, f(x).
Of course, this is a vulgarization procedure. In reality, we don't really write down this amount of information. But it does help to recognize the size of a set: the elements of R are written with beth_0 decimals, those of R^R with beth_1 reals (which themselves are written with beth_0 "information"), and those of Q with a finite number of digits.
I really hope I've made myself understood. It's probably just a misunderstanding of my intention and the way I use the words "sequence" and "information".
I don't blame you for criticizing me, of course, and you can tell me if I wasn't clear.
I'd like to point out once again that I'm very bad at English and that I use a translator, which can be a big source of misunderstanding.
At 15:05 Hikaru be like: pf that's a simple forced mate in ω⁴ position.
Joke aside: that ω⁴ was very entertaining to watch!
“Here here takes here takes here here and now you just win…”
0:28, GothamChess when you miss mate in 549 in gte "AHHHHHHHH"
A couple years ago, I heard about a chess engine's analysis of a game showing in a certain position had a forced mate in 256 and was amazed at this concept. It's so far beyond that now?! All I can say is Wow!
This seriously has to be one of the best videos I've ever watched. I normally don't ever leave comments but this deserves it. I was drafting a lot longer of a comment talking about all the little details between the script and the editing I noticed that made it great, but it was getting too long so I'll just say that I noticed them and leave it at that. Great video, ω/10 :)
Thank you. I tried to make it the best I could!! All the little details count.
The way you explained this made it so simple to understand and still very interesting, this is a "5-tier" video 🙂
8:04
Oh hey, it's the Code Bullet song!
Thanks, I was going nuts trying to figure out where I heard that from
What an amazing video 😭❤ I love how it gradually went from normal-looking chess to the never-ending nesting of countable infinities using nodes and towers
I had an idea to generate an ω^5 announcement. Remember that on the ω^4 announcement you fire the bishop first as the Tier-4 Announcement? you can make an tier 5 mirroring the Rook Towers and putting an piece with the movement restricted. This piece would be manouvered to protect a key square, where a pawn is going to be placed to fire the bishop. If the bishop takes the Key pawn under that circunstance, the piece would recapture and be free to checkmate the king on the throne room, or release a Bishop to do the job.
I just had this idea: If we start with the normal arrangement of pieces, we have two rooks. And since the board is infinite, we can't promote our pawns! Well, most (almost all) of the positions shown here are impossible anyway lol.
Great video! I loved it! I have always loved the concept of infinity. You got a sub!
Thanks! In competitive play, the current rules allow promotion at the normal ranks 1 & 8. But yes, for the positions I showed, there was no promotion, and pawns never have the opportunity to queen...
But what about infinite chess 2, with infinite amount of pieces?
Right as I was rewatching your previous videos you drop yet another banger, great work as always.
OOOOOOOH now I see how my confusion about omega + 1 from the last video gets resolved. It's very elegant!
Glad I could clear your understanding!
Please tell me why the big boss number at the end that can never be reached (omega 1) is also called OMEGA AND absolute infinity @@Naviary
@@Blue_FirewalIi have never heard it called OMEGA but my guess for that would be that the symbol is capital omega (Ω) instead of lowercase omega (ω) and absolute infinity is a different ordinal
I've never seen so much dedication to a game of chess, good job (for leaving my brain in liquid form)
please make a behind the scenes of this video! it’s so cool how the 3d graphics work
Really looking forward to the in-game board editor. Thanks for the amazing vid! Mind is beyond blown with how complex these positions have to be
This video shattered my brain but every second was worth it. Great explanation of ordinals!
I didn't even notice that 29 mins had flown by. I wish you and your project all the best!
So basically, we won't know what the longest theoretical infinite chess game is for certain until someone figures out the continuum hypothesis
20:26, pitch perfect delivery lolol
Bruh the editing and explanation is just too good 😭 Bro is severely underrated
i knew it would get REALLY wild when the bishop cannons appeared
banger video! it's great to see how your video skills evolved with this infinite chess journey, and i'm all for it :D
my only issue is the part of the ordinals getting """bigger""" feeling a bit too fast without a lot of the aritmethic context (and my brain doesn't help :P) but i see why you would approach it that way (on the bright side it makes me want to learn more about it so yay)
anyways, Ω/10.
can we play checkers instead
Ik you're joking, but just a thought
Infinite checkers would be nigh impossible since, unless one side manages to capture every opponent piece, as soon as the pieces pass each other, all they can do is move onto infinity since they'll never promote to kings, and even if they could, one player could stall for infinity
Yes.
@@the1stwingit will be more impossible if the checker pieces actually repeat infinitely, just a fun little game on how many captures you can make with one move
what if the board was only infinite one way? The amount of squares it takes to make a king is the same, but the board extends infinitely in the horizontal direction
The scope of this video was just to explain super obscure chess problems but it turned out to be the best, most intuitive explanation of infinity (and different levels of infinity) I've ever seen.
I'm very interested to see how you are going to make infinite structures work. Your chessboard is obviously finite (the need for coordinates for storing the piece positions ensure that), but having structures that extend to the edges without taking up unfathomably large amounts of memory (or do so after the first move) sounds like a interesting challenge, especially with the complicated patterns these boards have. It sounds very possible, though.
I will need a chunk-like system, where I only have a finite area loaded at a time. Definitely a challenge, and a challenge to optimize it too!
I love how it seems like there's a countably infinite number of named ordinals. Transfinite mathematicians have too much time... transfinite time it seems. And they love naming numbers!
There is only a countably infinite amount of objects which can be described in any formal language with a finite alphabet of symbols.
“You fool! You forgot my bishop 10 trillion light years away can stop your checkmate!”
Love that towards the end is just a bunch of Mathematicians imaging arbitrarily high ordinals and naming them after themselves
Can’t wait for 3d infinite chess to get to mate in omega
the best video!!! i am looking forward for w^w position
very well made! haven't seen anything that makes me so invested in quite a while. props to u!
hell yes, I was waiting for this video to come out and it's every bit as good as I hoped
Next things to explore:
Mate in w^2 with finite pieces (may be possible to prove it's impossible to setup? but the fact that you can get w*n with arbitrarily high n in constant pieces makes it tantalizing...)
Complexity class of/computers made in chess and chess variants
Mate in w^2 with finite pieces is known
Why does this feel evil
Bc it is
Yea
Unbelievably cool, I’m amazed by how much effort you put in - it was 100% worth it. Best of luck to you! Genuinely one of the best videos I’ve ever seen on this platform (as a chess player and set theorist I may be biased but still…)
Same here!
Get the camera Mom,
Naviary just uploaded
0:30 I love a video that answers the question very quickly before ignoring the actual premise and just going into a group theory-ish based question. /s
Hey look that's me.
Thank you for your contributions!
Minecraft youtubers are going crazy these days.
I am your new subscriber who found your channel from this video
This video is making so many mathematical concepts make sense. What an incredibly, incredibly well made video. This is what youtube should be for.
I love how in Omega^2 the chess is no longer a game, it now resembles a computation with set values.
This was an extremely well done video.
I wonder what is the biggest mate-in-x we can reach with a finite amount of pieces. After all, you start a position with only 16 pieces, and you can only reach up to 10 of any given piece. How big does it get with this constraint?
That... is another story to tell! This one is actually still an open question. We don't know yet.... But we do know that at least Omega^2 is possible with finite pieces!
@@Naviary❤
This is a masterpiece! It may very well be the best video I have ever watched!
my partner looked over at my screen in horror when the bishop cannons came on screen, confused as to what the heck i was watching
needless to say i quite enjoyed this
19:38
I like the subtle difference of the Omega^2 announcement here compared to the other tiers.
Instead of the announcement being a move played by a piece, this announcement is the act of selecting which bishop tower you decide to unload. The move that follows is the tier 1 announcement, choosing where to place the selected bishop.
The "distance" of the announcement is proportional to the number of bishops in the selected bishop tower, which feels pleasing.
Neat stuff!
Demon: You get to leave hell if you beat white at infinite chess
Me: "Bishop to Busy Beaver functio of TREE(Rayo's number)!"
11:55 The white king keeps on chasing the black rook.
Hey Naviary! This might be a stretch but I wonder if the mate-in-X could even be undecidable?
We already saw in the mate in omega-4 how close each side was to winning.
What if the game position represented the rules of a undecidable game?
This whole video reminded me a lot of Sylver's Coinage, which itself is unsolvable rn. So I guess if you simulated that game in infinite chess SOMEHOW, it'd be mate-in- implication of math problem 🎉
I think so! Pretty sure if we were just handed a mate-in-omega1CK position, it would be impossible for it to figure that out, as it's non recursive and uncomputable, so it must be impossible to create an algorithm that can calculate the clock for every single possible position!
HOW DID I NOT KNOW ABOUT THESE ORDINALS!!!?!!?! This is one of the most amazing things I've seen in my life, thank you for making this!
I heard about Aleph Nol and Omega in the Vsauce video about counting past infinity, but this finally made omega make sense to me.
8 by 8 chess is just 2 groups of children fighting (with a leader) and that GM's there is just super smart leaders.
But infinite chess is THE REAL BATTLEFIELD between empires in the multiverse
Several universe died during 1 turn of Infinite Chess. The only epic chess battle you couldn't not miss.
@@xaf15001 you couldn't not miss?
@@DoNotSin Yeah, you had to miss it, you'd be dead long before turn 1 finished 🤣
The bishop really becoming sniper with this one
Can you make a video explaining the Mate in Omega^Omega (theoretical) mate please? 🥺
😉👍
@@NaviaryI would like to know as well! I feel like you kind of glossed over how exactly the higher order mates work in the bishop zugzwang position.
@@aav56 It's a little hard to understand. I would recommend reading up more on Matthew's proof himself. But basically there exists an algorithm that tells us exactly where to place the nodes to obtain the ordinal value we want. I briefly mention here that an w^w announcement would descend to an w^n position for any value n. An e_0 announcement would descend to w^w^w... for any height n. Basically any announcement of any size N can descend to any ordinal T that is included in the infinite sequence leading up to it.
In the bishop tree, if we want to make higher ordinal positions, we can always just take existing trees we have made, and repeatedly place them as choices in the first branch of the tree. This will always give us higher ordinals.
@@Naviaryis it possible for an Omega^^Omega checkmate?
@@ihateyoutubehandles444 That's just written as e_0 (epsilon zero), and yes!
Man the throne room and the towers and cannons makes me think of a story where these mad god -kings have these massive 3D printed armies that span galaxies and they're throwing them at each other in increasingly elaborate and ridiculous scenarios thinking they're brilliant and geniuses. Meanwhile the kings are still in throne room, the dimensions of which are the same as that of their ancient ancestors, perhaps even the ancestors of their ancestors.
Anyway cool video haha
This video has single handedly messed with my view on chess. Like, I can’t look at a chess board and not imagine bishop cannons and rook towers and king chambers. It’s all so crazy. Great vid
I held on as long as I could, but around 25:00 it was all Greek to me.
lol
26:35 The only Way to Reach Omega 1 In mate is to make a Uncountable Infinity Making it Absolute
1:05 this transition was fire
This was so well done. I have an infatuation with trans-infinite numbers, so seeing someone actually give examples of them on an infinite Chess board is just so cool
This is truly remarkable. Thank you for putting all these together. This will be an incredibly good introduction to ordinals and how big omega_1 is. This has as much education value as entertainment value.
Screw Vsauce, this is the best video for understanding transfinite numbers.
"hey Vsauce, Micheal here! You're safe... Are you?"
This is all very interesting, but since most of these positions require an infinite amount of material, what I'd like to know is, what is the longest (currently known) infinite chess game position that can be achieved from the regular starting position
As in the normal setup? Or any position allowed with finitely many pieces?
@@Naviary From the normal starting position. The setup can be implausible, that is, it can require one or both players to have played moves that are suboptimal or even nonsensical. But it should be _theoretically_ possible to get to the position from the normal setup.
0:01 8848 mountain everest moment
Fr
88
Damn, this is amazing, I watched a few videos about infinite ordinals and omega before but never really understood it properly. This made it so much clearer.
I love the nuclear bomb warning siren when it changes to a higher omega lmao
pointless info : the siren at 14:51 isa federal signal 2t22/3t22 siren.