Mate-in-Omega, The Great Phenomenon of Infinite Chess

[@javierrodrigo1009]

Imagine you're playing a casual game of infinite chess with your friend and just as you're about to win he pulls out a "mate-in-ω²" stalling tactic. I'd flip the damn infinite board over.

[@Naviary]

😂

[@vikrantharukiy7160]

Lol

[@JustAnotherCommenter]

Rotating it by a slight degree is already impossible

[@Woodledude]

But where will you grab it from???

[@syfx1485]

I wonder if a program can actually detect a mate-in-ω mate, let alone a mate-in-(ω^n) mate. Feels kinda similar to the halting problem

[@PetersLabAviation]

Mathematicians: How an infinite hotel ran out of rooms Naviary: How an infinitely far rook ran out of checks

[@Bhuvan_MS]

Infinity never fails to amaze me with its complexity!

[@angelmendez-rivera351]

This is just inaccurate. Hilbert's Hotel never "ran out of rooms," and the rook was never infinitely away. This was explicitly clarified in the video. I am confused as to how people missed this part of the video.

[@youssefchihab1613]

@@angelmendez-rivera351 You are probably the type of guy who tries to look for every logical flaw in a joke just to ruin it also I think if you give the hotel an infinite amount of buses each with an infinite amount of people it would be full, right ?

[@angelmendez-rivera351]

@@youssefchihab1613 The joke ruined itself by presenting an inaccurate statement as if it were fact. It defeats the entire point of the format. The Hotel is still not "full" in the situation you describe

[@solsystem1342]

​@@angelmendez-rivera351 I mean, the hotel usually starts full? That's kinda the whole point with showing how the union of two countable infinities is the same size as them. Or for how the set of all rational numbers is the same size as the the whole numbers.

[@claudi917]

I've never realized how important the 50 moves rule is

[@Naviary]

🤣

[@BlueProgamer212]

Just imagine your immortal 400 elo opponent playing a variant of Chess with no threefold repetition, can't block checks and no 50 move rule. You only have one legal move to evade the check. Give him an infinite amount of time, and and that 400 elo opponent will keep checking you forever.

[@kosuken]

lol @@BlueProgamer212

[@霍金本人]

But I can win after omega steps, why would I choose to invoke the 50 moves rule?

[@kdevelopergw]

actually, the 50 moves rule wouldn't be applied to the second position with the infinite pawn wall, since the 50 move rule is reset on pawn push the 1000 move rule is where it's at, it does not get affected by anything, if a game is 1000 moves long, the game ends in a draw

[@jinnian1000]

3:24 The queen and the rook chasing down the king across an infinite board is hilarious

[@Naviary]

😂 Glad it got positive feedback!

[@maximkovalkov1334]

put Benny Hill music over that

[@Naviary]

@@maximkovalkov1334 You thinking of a specific song from Benny Hill?

[@halyoalex8942]

@@maximkovalkov1334 or the super mario 64 slide theme. XD

[@Feradose]

@@Naviary The iconic Benny Hill Theme. With clever and simple editing, it could be an instant youtube chess classic

[@dazcarrr]

you've heard of forcing a draw, now get ready for forcing the heat death of the universe

[@Naviary]

😂

[@galois6569]

When you have mate in omega, but you opponent knows you have a flight the next day.

[@cyberfunk4580]

August 12, 2036 heat death of the universe

[@lejoueurfreetoplay]

Bro's about to make chess longer than monopoly

[@hurhurhurgreg]

​@@cyberfunk4580no

[@ryr4242]

i was struggling to think of how to infinitely drag on my game when my rook got trapped in an infinitely long tower of pawns last week, this vid really helped me out!

[@PhilliesWin]

I had this very position in a tournament just last week. I announced mate in w^2 and my opponent said “I wondered if you’d see that,” and immediately resigned.

[@aprilvee9154]

imagine typing w^2 instead of ω²

[@spektator5418]

@@aprilvee9154 not everyone has that I think

[@methatis3013]

​@@spektator5418you just add another keyboard, it's not exactly rocket science

[@shauas4224]

@@methatis3013 yeah and then every time you want to change language you need to go over omega squared layouts

[@methatis3013]

@@shauas4224 idk how it works on other systems, but on my huawei I just swipe to change the keyboard. I have on top of my native one, German, Russian and Greek keyboards

[@lizzyfleckenstein9837]

the reason I love this video is because it approaches transfinite numbers from a perspective where it actually gives them a meaning/purpose, rather than just being a crazy fever dream of symbols

[@badateverything2931]

so incredibly based

[@NotSomeJustinWithoutAMoustache]

Crazy fever dream of symbols without meaning/purpose, or pure maths, are kinda' fun though.

[@lizzyfleckenstein9837]

@@NotSomeJustinWithoutAMoustache depends, imo. I like abstract maths, but I watched the VSauce video about transfinite numbers and I was kinda like "Ok cool, but what does it really mean for a number to be beyond finite? Are we just defining it to be that and that's it?" I think it needs to have some sort of application, abstract or not, otherwise it's just making random stuff up.

[@NotSomeJustinWithoutAMoustache]

@@lizzyfleckenstein9837Making stuff up is abstract maths, that's pure mathematics. It's previously unthought of so you would have to invent names and figure stuff up about it, hell it's why math is even seen by some as an invention rather than a discovery, it quite literally is made up, even the useful ones. And it is fun to make the stuff up according to math rules. Another thing is sometimes a math concept is so abstract or exotic that it's use will not even be discovered far into the future, so I think the mindset with math "made-up stuff" isn't "this is useful" and "this is useless", but rather "this is useful now" and "this will be useful". Just because there's no known application in the math you're in doesn't mean there never will be, in fact it makes more sense to think no matter how abstract and utterly "made-up" your math stuffs are they will inevitably find a use and so you can just leave the discovery of the applications and practical uses to others, people in the future, and you (assuming you're the abstract mathematician) focus on what you're best at, figuring the rules of this thing you just made-up, so that the people in the future who will find a use for it will no longer need to tally the maths as some random guy with too much time years ago already computed and written down the rules of the abstract for them.

[@empereurloutre]

@@lizzyfleckenstein9837 Ordinals are very fundamental in set theory, they clearly have "abstract applications". For example, Cardinals are specific ordinals.

[@minotaur470]

I feel like having a forced mate in ω has to be a win condition similar to someone resigning against you and checkmate. You'd have to make that a separate rule though, since in normal chess if you see forced mate you just play it and win, or the opponent sees it and resigns. Since you can make omega arbitrarily large, you'd have to be able to declare that you see mate in omega, have a judge agree, and give you the win. Very cool and very entertaining to overthink

[@abj136]

In the 1800s it was a practice to declare mate-in-X. This is clearly the way.

[@MagicGonads]

I think you'd rather the rule be "mate-in-w where w is not less than ω" as it's easy to see how a "mate-in-ω+1" (or any "mate-in-W+ω where w is a positive discrete ordinal") can be missed and you'd rather not have to specify by exactly how much...

[@adayah2933]

Why not just play the mate out? Even though ω is infinite, mate in ω actually implies that for any strategy the opponent takes it will take a finite number of moves to mate them.

[@taelim6599]

@@adayah2933 Because being finite doesn't guarantee that it won't be excessively large. If I move the rook 5 million squares away and we decide to play the mate out, both players as well as the audience have to sit through 5 million turns of everyone already knowing in advance who is going to win.

[@adayah2933]

@@taelim6599 Right, but how would you convince the judge that the position is a mate-in-ω? Sometimes proving it is harder than just playing it out.

[@justinbent5848]

I feel like logic gates could be possible, which would mean that in theory you could program chess inside of infinite chess.

[@nanamacapagal8342]

Oh no. You have started it. The curse of Turing. You know bad apple, doom, and AO3 in infinite chess are coming.

[@iCarus_A]

I'm having trouble making an infinite chess program Turing complete, as you necessarily start with a finite number of pieces and each time a logic gate would have to capture a piece. I think you can program some sort of an Adder but the program seems incapable of infinite recursion. That's not to say that you can't program anything at all, though.

[@TunaBear64]

​@@nanamacapagal8342Doom on Infinite Chess would be hilarious to play

[@the_multus]

@@iCarus_Aunless you introduce a custom piece…

[@СергейМакеев-ж2н]

@@iCarus_A I wouldn't rule out Turing completeness yet. After all, a Minsky machine has only a finite number of moving parts, but it's still Turing complete. Hypothesis: maybe the logic gates should be encoded not in captures that *actually* happen, but in captures that *might have* happened, but are in fact avoided, assuming perfect play. That way you can keep the number of pieces constant.

[@no-bk4zx]

If anybody found the concept of ordinals interesting, I highly highly recommend watching "How to Count Past Infinity" by Vsauce. I believe a few of the visuals regarding ordinals in this video was from his video.

[@derpinator4912]

You can see the watermark placed in the bottom left. I recognized it was Vsauce and looked for it.

[@irok1]

That video started my path down infinities

[@Xnoob545]

Speaking of large numbers and infinities a KZbinr called Orbital Nebula has a series on large finite and infinite numbers

[@tuff_lover]

No shit, ofc he was inspired by Michael.

[@powerflame]

​@@Xnoob545oh hey xnoobspeakable

[@emeraldnickel]

I feel like it would be funny if, in a situation like this, you could declare "mate in ω" and whoever has more time left on their clock wins. It wouldn't be balanced, but it would be funny

[@КарповМихаил]

This seems to be quite reasonable.

[@Muhahahahaz]

Yeah, but if you’re playing with increment, then you’d just get like 5 * ω extra time… 🤔

[@JasonMitchellofcompsci]

I think it would be more reasonable to give the person with mate in ω the win. But I have a feeling there are symmetric cases. In that case it goes to the person who declares it.

[@VoidfluxOrb]

Mate in Omega^Omega, in other words, mate in omega omega-ed

[@mothrahlurker788]

Remember, there aren't actually infinitely many moves played, the actual number played is finite, just unbounded.

[@IHadz]

this is some actual quality content, you will defenetly get famous one day

[@anttimarjamaki6875]

On average people arent smart enough to stay interested in these complex themes for long. But there is a small enthusiastic audience nontheless :)

[@clivah1499]

fame matter not, good matter

[@dragosel505]

agree

[@lorenzodiambra5210]

imagine you are playing chess against a computer and "checkmate in ω•ω moves"" appears on the screen

[@trgdev]

Yes!

[@desent493]

This is very cool. I like how this really illustrates that ordinals have no descending chains - no matter how high the checkmate clock is, the game will always end in finitely many moves!

[@Brillieisnothuman]

I love the creativity of how he asked to subscribe

[@Naviary]

😁

[@paperwhite3853]

It was unexpected, but convenient. Only he missed the astonishing tactic "I'm alredy subscriber".

[@emmagoldstein3511]

"I Made Chess, but It's Infinite" -- well you had my curiosity... "Mate-In-Omega, The Great Phenomenon of Infinite Chess" -- ...but now you have my attention

[@qwertico8688]

This is one of the best chess KZbinrs I’ve seen keep up the good work! Edit: Wow ty for the likes

[@Naviary]

Thank you! 😃

[@qwertico8688]

@@Naviaryno problem :D

[@trempton4106]

@@Naviary About the Mate in Omega square problem: Wouldnt it be better for white to take the rook between the pawns with th right pawn so that the white king could hide between the pawns and not get checked every move? By doing this it wouldnt be Mate in Omega Square but Mate in Omega + X except if the black King tries to block the hole, then it would also take forever since the black King is above the white King and therefore would be faster at the hole. Or it ends in a stalemate because of move repetition as the black king tries to not let the white king upwards. I refer to the problem where black has two rooks. One free and the other between the pawns.

[@Naviary]

@trempton4106 Someone else also noticed this. Yes blacks free rook can cut off white king from heading to the hole, while black's king calmly makes its way to the hole to prevent the white pawns from pushing further. White can no longer make progress and it will be draw by indefinite play. Black likes this as a draw is an improvement from losing, so whites best option still is to capture with a pawn from the left wall.

[@Naviary]

I think actually the rook needs to be the one to block the pawns from pushing, and the black king prevent the white king from coming near the hole.

[@notyourfault2047]

when my brain clicked as you finished explaining mate in omega^2 i was like "oh noooooooooo" like out loud because i realised that it really does have the potential to be infinite and thats just insane

[@menschenskind1]

Props to you explaining omega with an infinite chess board. Can't wait to see the other part.

[@xane256]

I've had people try to explain cardinal vs ordinal numbers to me in the past, but this video really made it *click* for me! Thank you!!

[@rtxagent6303]

I learned the hard way not to move a piece to far otherwise it becomes unclickable. Hard to snipe your opponent when you can’t click your own bishop.

[@MichaelDarrow-tr1mn]

just zoom into it

[@Izzythemaker127]

I've tried moving super far out, its possible, but its invisible and also you don't click where you would expect you would need to.

[@MichaelDarrow-tr1mn]

@@Izzythemaker127 moving 10000 squares away has basically the same effects as moving 272 squares

[@rtxagent6303]

@@MichaelDarrow-tr1mn Have you tried moving it literal billions of squares out. If you waste moves by moving your piece further and further back it lets you zoom out more and more so that its possible to move it so far you cant click on it again.

[@MichaelDarrow-tr1mn]

@@rtxagent6303 but why would you do that

[@jesusisea3774]

As a mathematician who has actually worked with ordinals before, this was surely something quite interesting! I'm sharing this video with my colleagues and I hope they can get interested in playing chess as well!

[@Rock_Appreciator]

Awesome work! Actually love what your infinite chess is able to bring to the table. The mate in omega concept is very cool 🤔

[@RADZina]

seeing the phrase "mate in omega" on my recommended sent me through the 5 stages of grief instantaneously

[@or3213]

That Omega^2 example blew my mind. Great video and amazing concept!

[@galoomba5559]

People have come up with an omega^4 position.

[@hypnogri5457]

@@galoomba5559Where?

[@Muhahahahaz]

Finally, an “application” where ordinal numbers actually make sense! I formally learned about cardinals in school, so I understand those well enough… But I only heard about ordinals later on, and they never really made sense to me lol

[@ccfffvbbbbbffg1774]

Damn bro, you learned about cardinals in school? I can't believe schools waste time teaching stuff like that when they could be teaching actually useful stuff. (This is sarcasm)

[@antoinedragnir142]

For people who dont understand Omega : The first position is mate in Omega but once black move their rook (for exemples 100 case) this is no more mate in Omega but mate in 100. Same for the second position. Until black move, this is mate in Omega square. But if black move the rook 100 case, this now mate in 100•Omega. (100 times Omega) Hope it help

[@Naviary]

I'll have to go into detail of how exactly the checkmate clock descends with every move in future mate-in-omega episodes!

[@kiwi_2_official]

@@Naviary make mate-in-ω^Blasphemorgulus video

[@smoking_apple]

i can just imagine 2 omnipotent gods playing with infinite time and they never win or even draw and just move pieces for millenia

[@FinalWarrior591]

So basically, the Ellimist vs. Crayak.

[@inbarkurti4524]

bro your channel and work is just amazing, you gonna blow up

[@Naviary]

Thanks! :)

[@rosearachnid879]

This is so cool! I’d love to see custom pieces in infinite chess, maybe with even a custom piece editor like the CEO piece maker. Could have so much cool mate-in-ω potential with pieces like the Thief from Faerie Chess.

[@parallax8298]

bro this is some really good content, i really hope this vid pops off like before

[@GynxShinx]

Honestly, it's weird that we consider avoiding mate as long as possible to be "perfect play" in a forced mate situation. If we assume the opponent is perfect too, then the outcome is the same regardless, forced mate. If the opponent is a potentially flawed player then the "perfect play" move would be the most confusing, to make it look like it isn't forced mate. Often times, this will be the one that prolongs the game most, but that's just a tendency like how playing the move that gives the opponent the least move choices possible is usually a good move.

[@marioisawesome8218]

you raise an interesting point. here is some clarification: mate in X assumes perfect play from both players, and it calculates how long the best moves from the losing player would allow them to survive. if they make an improper move, the mate in X drastically drops. if the losing player can take a position where they cannot be checked on the next move, then there is no mate in X.

[@furkabaan567]

I barely understand normal chess now i am trying to understand mate in ω^2

[@pianoforte611]

This was fantastic, this reminded me of the fast growing hierarchy as soon as you explained how omega worked. And I was looking forward to omega ^ omega or even epsilon.

[@metajore3580]

How about an inaccessible cardinal

[@EdKolis]

This omega squared cycle of checks reminds me of that one episode of Doctor Who where Peter Capaldi's Doctor got stuck inside a world that would repeatedly reset itself but not quite, allowing himself to escape after a few billion years!

[@ryukohehe]

Great content . Short crisp and to the point. Mate in Omega situations really are very interesting to even think about let alone the infinite concept

[@VanishShovel]

Wow this is somthing special very facinating concept I have heard about this but it never made sense to me but you have fixed that! Looking foward for more keep it up!

[@The_Commandblock]

This was one of the best videos i saw in a while.

[@kosuken]

Ordinal numbers really are fascinating. I have a few theories for mate in omega^3 or mate in omega tetrated to 2. But mill keep it in mind and see if I were right or wrong

[@MichaelDarrow-tr1mn]

Mate in w^w? Describe the position because the best known is w^4

[@AverageCommenterOnYT]

How would w^^2 exist

[@circle-of-5ths]

@@AverageCommenterOnYT A complex and convoluted pawn structure, probably an "omega" amount of bishops, rooks and queens, and a few knight forks as well.

[@Ykulvaarlck]

the way i think about it is, if the checkmate clock shows an ordinal at some turn, then on the next turn it must show a smaller ordinal. for omega the only smaller ordinals are any finite number, but they can be arbitrarily large. for omega squared, the only smaller ordinals are finite multiples of omega plus some finite number.

[@Naviary]

Correct! Decreasing ordinals must always reach zero! In a future continuation of this series I'll go more into detail of it!

[@potats5916]

This is one of the most entertaining videos I've seen ever. I love physics and math, and seeing it combined with chess and presented in such a clean way is so good. You've made a sub out of me for sure

[@arrowtongue]

"How to count past Infinity" mentioned!!! great video

[@triplebog]

It's interesting, magic the gathering has a set of rules for dealing with similar omega based scenarios. Wherein one player demonstrates an infinite loop, but then must declare a number of times to repeat until they choose a different action. Then the other player may choose a different, smaller number, to allow the cycle to repeat before they deviate their action and break the cycle. Once that happens, the game shortcuts and jumps ahead to the end of the loop where they make a different action. It seems like a similar ruleset could be adapted to infinite chess. It is not uncommon for games in some formats to wind up with a player having a billion life totals because they created an infinite loop

[@enpassantcheckmate]

congrats on making your second video, last video was amazing and I had some fun playing infinites chess with my friends, continue uploading this amazing content

[@howtpotypo]

this is a really good video. please please please make a follow up explaining omega^3 or higher mates

[@Keosystem511]

Imagine checkmating your opponent on this infinite board and then just "Haha, you didnt see my bishop from 80928021938 squares away"

[@repacharge431]

You are an incredible youtuber man, keep up the great work!

[@Naviary]

Thank you!

[@YoavShilon-e2r]

This video is brilliant! Mate in Omega squared blew my mind!!

[@ThatVillain-the-Gamer]

For that example, I think moving the rook on the right down two might be the best move, as it prevents instant checkmate and gives the king more than one line to move in

[@OldsReporter]

THANK YOU! I've never understood ordinals until I watched your "mate-in-Omega-squared".

[@PainTensei551]

You explained such a hard topic to understand so well, big kudos ❤🎉

[@artsenor254]

Me watching your first video's miniature : "Yeah, whatever, just another chess variation, pretty sure I've seen something like this somewhere." Me watching this video's miniature : "Ok, now that looks dope".

[@nnotcircuit010]

You should cover non-computable strategies.

[@Naviary]

That's a whole world I need to study more! 🤔

[@TheGoodMorty]

I love how you used Ordinals to explain an aspect of Infinite Chess, at the same time as using Infinite Chess to explain ordinals. Like, I already knew about ordinals but this made them even more intuitive than before. Definitely gonna try out the game myself. love this

[@DsiakMondala]

When I stood up and said "Gentleman I have an announcement to make" at the local championship they kicked me out :(

[@lucio01]

Opponent thinks he checkmated me. My bishop bishop from 1 centillion squares away:

[@egormusatov6280]

That bishop 1 quintillion tiles away:

[@DoomRutabaga]

Around 2 minutes in the number in "mate-in-__" fades out at 69

[@pepn]

Super well-made video and the topic is really interesting. I usually don't like calls to subscribe but yours is so well integrated that it would have gotten me if i didn't already click the infamous button

[@Naviary]

Thank you!

[@JojoTheWarrior]

this was very interesting, super underrated video!

[@sansUnderlddcvl]

0:08 "there is something magnetic about it"

[@Cloud67TR]

MAGNus carlsen

[@Celinevarties]

trust me this will blow up in 1 year

[@hy7864]

5:21 -Never let them know ur next move- -*Q moves up 4 squares-

[@ayberkgirgin3864]

then rooks start to check

[@hy7864]

@@ayberkgirgin3864 how? Unless u mean white rook then yes the next step is checkmate it with queen

[@ayberkgirgin3864]

@@hy7864 black rooks

[@hy7864]

@@ayberkgirgin3864 how?

[@jedstanaland2897]

This is one of many very intriguing concepts involving chess that I have seen recently and they are getting better. There are two additional ideas I have recently thought of. One is an infinite plane which has multiple games going on at the same time and it would basically be a situation where the actions in one area is allowed to affect each other but only adjacent games can do so. Each game is separated by two spaces but can only draw pieces from games within their horizon. For example they could draw pieces only from the eight around the initial starting area until they interact with a neighbor then both players are able to draw from their neighbors neighbors and so on. Interaction would require one of the players to cross the gap to another game at which point all pieces would be grey and all pieces could potentially be moved by either player until one player took a piece at which point the first player to take a piece from another game would immediately force whatever side they captured a piece from into their opponent.

[@not_vinkami]

I bet someone would discover mate-in-a-fraction very soon with this

[@sirk603]

Don’t think so. Chess works in whole numbers only, so a fractional love simply can’t happen

[@evandrofilipe1526]

This gave a really nice intuition for ordinals, well done!

[@Lovuschka]

If we take the 50 moves rule into consideration, that pawn tower indeed allows White to checkmate in any arbitrary number of moves set by Black.

[@justnobody5527]

Neat, I love how ive seen this same exact video concept like 3-4 years ago but just as a hypothetical, chess truely has been around forever.

[@chessartist]

Fascinating concept! More infinite chess please!

[@hy7864]

-U too-

[@pyros6139]

This is actually really relevant to John Conway's concept of ordinals, where each number is actually a game. It actually opened up even more than ordinals, weird numbers like omega minus 1 and omega divided by 2.

[@InsanityKillstreak]

Keep up the good work!

[@Naviary]

Thanks!

[@InsanityKillstreak]

@@Naviary :)

[@tissuepaper9962]

Vihart introduced me to the countably-infinite ordinals all those years ago, but today you've finally given me a concrete way to understand when and how to apply the concept.

[@l9m241]

Okay. This got me thinking, in theory it would be possible in a layout to have an mate-in-ω for both sides? Imagine a crazy stall tactic of both teams going at it, and it would theatrically be determined who moved further, but if they moved the same distance, would it be a tie? Or still mate-in-ω? Or even a possibility of a setup of mate-in-ω with a tie being the only way to break it?

[@MrMatzetoni]

maybe one can construct a symmetric variant of the mate-in-ω-position from the video, where both would lose to a mate-in-ω if they do the first move. but whoever does the first move is bound to lose, because the other player will not have to move their rook at all. they will just play the checks to get the mate-in-ω. so in that case i think whoever moves first loses to mate-in-ω. it would be interesting however to find a tie-in-ω-layout.

[@the_multus]

Such a cool comment! Thank you! Now I'm going to my thinking booth…

[@adayah2933]

No, it is impossible for one side to have a mate-in-α and for the other to have a mate-in-β for any ordinals α, β. Proof (by contradiction): suppose white has a mate-in-α and black has a mate-in-β. Without loss of generality it is white's turn and (α, β) is minimal.* On the one hand, there is a move after which white has a mate-in-γ for some γ

[@Vedertesu]

Thank you! I was trying to understand this a while ago but I gave up, this explained it perfectly!

[@shmogan8538]

Coming from somebody who spent two hours going 1e+69 squares out in infinite chess, I’m excited to see what happens with this game

[@Naviary]

🤣

[@linuslucke3838]

Wow, 1.3888...e65 moves per second, you're really fast at clicking.

[@shmogan8538]

@@linuslucke3838 what I would do is I’d move the piece out really far then on my next turn I’d use the zoom out button to move it exponentially further

[@hydrogen-8]

@@linuslucke3838 not all chess pieces move one square per move

[@kabelabel6118]

As a mathematician, while this is really interesting, idk if ordinals are the correct framework to use here. The mate does happen in finite time no matter what. It's just that our set of forced mates is not, like, bounded. Mate in omega, for me, would be like if the players actually performed an infinite sequence of moves, and the checkmate happens at the limit. The problem with that is that you would need to define what convergence means on a chess board lol.

[@Naviary]

I'm no mathematician. But the omega kind of means the supremum, where the number of moves could be any number up to but not including infinity. As moves are made, the ordinal value strictly follows a descending sequence that always eventually leads to 0. There's a link to a paper in the description.

[@gabrielmorales7208]

This mate in ω^2 made me laugh so hard. So stupid yet so fascinating.

[@theruined2190]

Imagine sitting at the chess table, ready to fight your opponent and you didnt even made a move and he already called it mate-in-ω²"

[@serphorus]

Mate in tetrated omega?

[@PiniutLEGIT]

3:39 Mate-in-One Sure, you can use your "Omega" to holdout for longer, but it only looks for quickest way for mate, not the longest. 5:47 Mate-in-Five Again, we only look for quiickest way to mate. The "checkmate clock" will update AFTER black's move, so the "Mate-In-Omega" isn't really real. Sure, the amount of moves can be (in)finite by forcing to back away, but you still don't try to predict a move that can be the longest, when you want to predict a move that's the quickest. 2:09 Also this position is impossible due to the black pawn being WAY behind the possible original positions, and pawns can't go backwards - unless it's all inverted and black started at the bottom and white at the top.

[@bradyk6017]

Amazing work! As a video editor I want to provide one bit of constructive criticism, and I hope that I'm not offending with this especially since I know criticism was unasked for. But like I said, this is awesome content and I think this one tidbit of advice is worth it if it can improve your content even more. The song in the intro carries an association with low quality content. Many popular songs from NCS have this association because absolute beginners have been grabbing these songs to use in their projects for years. I know that you know how important it is to establish credibility in the intro since you clearly put quite a bit of effort into it, but in my opinion the song choice is counterproductive to that. Many editors say that sound is just as, if not more important than visuals, and while my eyes were seeing high-effort content in the intro, my ears were hearing an amateur production. The reason I felt the need to make this comment is I really enjoyed this video, and I feel like this one seemingly small choice might be slightly undermining all of the great work you put into this video. I would recommend finding an intro song that is similar to the detective music that you use throughout the video, but with more grandeur to serve the intro. You could definitely find something like that on KZbin with enough searching, but if you're having difficulties with discovering songs on YT I would recommend looking into a service such as Epidemic Sound that you can pay a small subscription to and get access to a ton of songs (that you will have the rights to) with easy filtering options. Anyways, I wrote much more than I expected haha, once again I apologize for the unsolicited criticism and I hope to see more content from you!

[@Naviary]

I hadn't thought of that. I did put effort into making a custom version of it for the intro, but I didn't think people associate it with amateur content. Thanks for the advice! I'll re-think using NCS tracks.

[@MOORE4U2]

So... NCS is the audio version of Comic Sans?

[@angerberry]

​@@MOORE4U2essentially

[@nif4345]

ARE YOU CALLING MIKAN BASIC

[@vladmunteanu5864]

One of the most original way to introduce the ordinals I've seen so far, great vidéo

[@jamesn.5721]

Is there a paper I can read associated with this? Seems like a really fun way to work with set theory and spaces

[@Naviary]

Here you can find a paper about transfinite game values in infinite chess! arxiv.org/abs/1302.4377

[@nerdporkspass1m1st78]

The “infinite tower of pawns” immediately got me thinking of the incredible structures in Conway’s Game of Life, where people used simple rules to create glider guns and computers. Surely, in this game of Infinite Chess, the simple rules of Chess can describe some much larger phenomena.

[@MichaelCoombes776]

So, if an engine could be made to play infinite chess (should be possible, there are no fancy rules), would it be able to find mate in ω or would it freeze as a kind of "halting problem" issue? If you capped its search depth to prevent freezing, how would it evaluate a mate in ω position?

[@Naviary]

It would need some kind of complex algorithm to detect the patterns in omega positions. Brute force calculating moves may not work.

[@desmondruhling]

This is such a good video!!! I genuinely can’t believe that you’ve only made two so far- it seems like you’ve been doing this for a while! Infinity and omega are such cool concepts and I find the things you can do with them fascinating. Combine that with chess, a game I love, and you have the perfect mixture.

[@hassanalihusseini1717]

Thank you. I was searching for this kind of video as I read many years ago about infinite chess, I think it was in Scientific American? Magnus Carlsen still will win the endgame! 🙂 Even it will take long, especially at the end.....

[@f1reflam3]

I love how you used clips from that one Vsauce video! I've rewatched it multiple times, it's very underrated.

[@GEMOTO]

this is a beautiful expansion of vi hart's videos fused with the current popular chess zeitgeist, absolutely revolutionary

[@Deathranger999]

I spent some time reading up about ordinals a while ago, and I loved the theory behind them. That they can be used like this makes them even cooler. Great video.

[@samuelstermer6437]

This is a really good way to explain infinite ordinals. Really gives an intuitive understanding.

[@MInibig_the_daredevil]

I'm VERY excited to see professional online chess players try out this game, I love this concept!

[@Palladox22]

Incredible content. Just wow! super hyped for next video!!!

[@tylerlarsen1842]

Absolutely mad thought: mate-in-epsilon-naught

[@junehazel7946]

Amazing work! I've never been able to understand ordinal numbers, but something clicked while watching your video. Your examples were really clear and ordinal numbers finally make sense. Thank you so much!

[@olixx1213]

Not really a great explanation for ordinals since they doesn't represent how much there is of something , so an checkmate in omega doesn't make sense, same as a checkmate in third

[@noobatredstone3001]

@@olixx1213 Would you say that “mate on move omega+n,” where n is the number of already made moves, is more accurate?

[@olixx1213]

@@noobatredstone3001 why would it be Omega is an ordinal

[@noobatredstone3001]

@@olixx1213 If you say “move 3,” 3 is ordinal, right? Meaning that saying “move omega” should work

[@olixx1213]

@@noobatredstone3001 3 is a cardinal An ordinal would be third move

[@SadToffee]

Time to watch a video about a concept I don't understand, applied to a game I don't understand, with a result that I very likely will not understand.

[@PiniutLEGIT]

to shorten it to you: the creator of the video misunderstood the concept of "Mate-In-X" prediction basically the whole video is wrong and tries to solve the problem that doesn't exist

[@SadToffee]

@@PiniutLEGIT im going to be honest I was just making a joke. I do in fact understand.

[@MetroAndroid]

Seeing the layout of the pawns forming a path like that reminds me of traditional roguelikes. You could use Infinite Chess to make a game within a game where the goal is still to capture the king, but the paths are intricately created such that they can't be moved or captured. You could even have little mini-boss battles with rooks/bishops/knights that are "activated" when you get far enough in the labyrinth. Add a fog-of-war effect so you can't see ahead, and it gets even more interesting.

[@jonathanspears3484]

Love the Infinite Series shout outs, really helped me too.

[@tahir2443]

this is the greatest video ive ever seen

[@alireza.m]

Interesting, thanks for sharing!