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

Sdílet
Vložit
  • čas přidán 31. 05. 2024
  • What does it mean for a chess position to be Mate-in-Omega? Let's find out!
    Support me and the development of Infinite Chess on Patreon!
    / naviary
    Watch my previous video, "I Made Chess, but It's Infinite"!
    • I Made Chess, but It's...
    Play Infinite Chess at: www.InfiniteChess.org
    Join the official Infinite Chess Discord!
    / discord
    The positional examples of mate-in-omega are from Joel David Hamkins and Cory Evans' research! Read their paper here: math.colgate.edu/~integers/og2...
    Also watch their presentations on these positions!
    • TMWYF: The theory of i...
    • Joel David Hamkins - I...
    Chapters:
    0:00 Intro
    1:02 The Checkmate Clock
    2:06 The Infinite Board
    3:00 Mate-in-Omega
    4:23 Ordinal Numbers
    5:26 Omega Example 2
    6:56 Omega^2
    8:06 Outro
    🎶 Music used 🎶
    🔸 Custom mashup of Electro-Light's Symbolism Pts. I & II on my 2nd channel!
    • Electro-Light - Symbol...
    Listen to the originals, provided by NoCopyrightSounds!
    Pt. 1: • Electro-Light - Symbol...
    Pt. 2: • Electro-Light - Symbol...
    Electro-Light (Artist) socials:
    / electrolightofficial
    / electrolightofficial
    / maskedacoustic
    / electrolightedm
    🔸 Looking For Clues by David Robson
    • Royalty Free Detective...
    🔸 Falling by Sappheiros
    • ❰Future Garage❱ Sapphe...
    🔸 Cartoon - Immortality, also provided by NoCopyrightSounds!
    • Cartoon, Jéja - Immort...
    Cartoon (Artist) socials:
    / cartoonbaboon
    / cartoondband
    Kristel Aaslaid (vocalist) socials:
    / kristelaaslaidofficial
    / kristel-aaslaid
    ----------------------------------------------------------------------------
    Stock footage provided by Pixabay.com and Vecteezy.com!
    Some clips provided by Vsauce!
    • How To Count Past Infi...
    Floating Math Formula provided by IncrediVFX
    / @incredivfx
    If you own any of the footage in this video, and you want it removed, or credits given, please don't hesitate to contact me using my email! Located in the "About" section of my channel, click "View email address".
    #SoME #SoME3 Summer of Math Exposition 3!
  • Hry

Komentáře • 1,8K

  • @claudi917
    @claudi917 Před 9 měsíci +8468

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

    • @Naviary
      @Naviary  Před 9 měsíci +1035

      🤣

    • @BlueProgamer212
      @BlueProgamer212 Před 9 měsíci +982

      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
      @kosuken Před 9 měsíci +28

      lol @@BlueProgamer212

    • @user-of9sr8bm9i
      @user-of9sr8bm9i Před 9 měsíci +186

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

    • @gameworldjt
      @gameworldjt Před 9 měsíci +237

      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

  • @javierrodrigo1009
    @javierrodrigo1009 Před 9 měsíci +6896

    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
      @Naviary  Před 9 měsíci +633

      😂

    • @vikrantharukiy7160
      @vikrantharukiy7160 Před 9 měsíci +38

      Lol

    • @JustAnotherCommenter
      @JustAnotherCommenter Před 9 měsíci +270

      Rotating it by a slight degree is already impossible

    • @Woodledude
      @Woodledude Před 9 měsíci +314

      But where will you grab it from???

    • @syfx1485
      @syfx1485 Před 9 měsíci +175

      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

  • @PhilliesWin
    @PhilliesWin Před 9 měsíci +3992

    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
      @aprilvee9154 Před 9 měsíci +460

      imagine typing w^2 instead of ω²

    • @spektator5418
      @spektator5418 Před 9 měsíci +133

      @@aprilvee9154 not everyone has that I think

    • @methatis3013
      @methatis3013 Před 9 měsíci +134

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

    • @shauas4224
      @shauas4224 Před 9 měsíci +202

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

    • @methatis3013
      @methatis3013 Před 9 měsíci +23

      @@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

  • @PetersLabAviation
    @PetersLabAviation Před 9 měsíci +2562

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

    • @Bhuvan_MS
      @Bhuvan_MS Před 9 měsíci +36

      Infinity never fails to amaze me with its complexity!

    • @angelmendez-rivera351
      @angelmendez-rivera351 Před 9 měsíci +31

      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
      @youssefchihab1613 Před 9 měsíci +39

      @@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
      @angelmendez-rivera351 Před 9 měsíci +10

      @@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
      @solsystem1342 Před 9 měsíci +11

      ​@@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.

  • @dazcarrr
    @dazcarrr Před 9 měsíci +1103

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

    • @Naviary
      @Naviary  Před 9 měsíci +98

      😂

    • @galois6569
      @galois6569 Před 9 měsíci +94

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

    • @cyberfunk4580
      @cyberfunk4580 Před 9 měsíci +21

      August 12, 2036 heat death of the universe

    • @lejoueurfreetoplay
      @lejoueurfreetoplay Před 9 měsíci +14

      Bro's about to make chess longer than monopoly

    • @hurhurhurgreg
      @hurhurhurgreg Před 5 měsíci

      ​@@cyberfunk4580no

  • @jinnian1000
    @jinnian1000 Před 9 měsíci +695

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

    • @Naviary
      @Naviary  Před 9 měsíci +56

      😂 Glad it got positive feedback!

    • @maximkovalkov1334
      @maximkovalkov1334 Před 9 měsíci +36

      put Benny Hill music over that

    • @Naviary
      @Naviary  Před 9 měsíci +19

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

    • @halyoalex8942
      @halyoalex8942 Před 9 měsíci +9

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

    • @Feradose
      @Feradose Před 9 měsíci +11

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

  • @lizzyfleckenstein9837
    @lizzyfleckenstein9837 Před 9 měsíci +425

    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
      @badateverything2931 Před 8 měsíci +8

      so incredibly based

    • @NotSomeJustinWithoutAMoustache
      @NotSomeJustinWithoutAMoustache Před 7 měsíci +11

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

    • @lizzyfleckenstein9837
      @lizzyfleckenstein9837 Před 7 měsíci +7

      @@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
      @NotSomeJustinWithoutAMoustache Před 7 měsíci

      @@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
      @empereurloutre Před 5 měsíci +1

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

  • @ryr4242
    @ryr4242 Před 9 měsíci +287

    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!

  • @justinbent5848
    @justinbent5848 Před 9 měsíci +1775

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

    • @nanamacapagal8342
      @nanamacapagal8342 Před 9 měsíci +655

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

    • @iCarus_A
      @iCarus_A Před 9 měsíci +177

      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
      @TunaBear64 Před 9 měsíci

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

    • @the_multus
      @the_multus Před 9 měsíci +40

      @@iCarus_Aunless you introduce a custom piece…

    • @user-qm4ev6jb7d
      @user-qm4ev6jb7d Před 9 měsíci +135

      @@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.

  • @minotaur470
    @minotaur470 Před 9 měsíci +914

    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
      @abj136 Před 9 měsíci +111

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

    • @MagicGonads
      @MagicGonads Před 9 měsíci +42

      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
      @adayah2933 Před 9 měsíci +15

      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
      @taelim6599 Před 9 měsíci +91

      @@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
      @adayah2933 Před 9 měsíci +12

      @@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.

  • @emeraldnickel
    @emeraldnickel Před 9 měsíci +418

    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

    • @user-vw1lm1ek9s
      @user-vw1lm1ek9s Před 9 měsíci +24

      This seems to be quite reasonable.

    • @Muhahahahaz
      @Muhahahahaz Před 9 měsíci +42

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

    • @JasonMitchellofcompsci
      @JasonMitchellofcompsci Před 9 měsíci +16

      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.

    • @Voided-YT
      @Voided-YT Před 7 měsíci +1

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

    • @mothrahlurker788
      @mothrahlurker788 Před 5 měsíci

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

  • @desent493
    @desent493 Před 9 měsíci +109

    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!

  • @no-bk4zx
    @no-bk4zx Před 9 měsíci +544

    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
      @derpinator4912 Před 9 měsíci +29

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

    • @irok1
      @irok1 Před 9 měsíci +14

      That video started my path down infinities

    • @Xnoob545
      @Xnoob545 Před 9 měsíci +4

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

    • @tuff_lover
      @tuff_lover Před 9 měsíci +1

      No shit, ofc he was inspired by Michael.

    • @powerflame
      @powerflame Před 9 měsíci

      ​@@Xnoob545oh hey xnoobspeakable

  • @Brillieisnothuman
    @Brillieisnothuman Před 9 měsíci +24

    I love the creativity of how he asked to subscribe

    • @Naviary
      @Naviary  Před 9 měsíci +4

      😁

    • @paperwhite3853
      @paperwhite3853 Před 9 měsíci +4

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

  • @emmagoldstein3511
    @emmagoldstein3511 Před 9 měsíci +14

    "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

  • @notyourfault2047
    @notyourfault2047 Před 9 měsíci +53

    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

  • @IHadz
    @IHadz Před 9 měsíci +693

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

    • @anttimarjamaki6875
      @anttimarjamaki6875 Před 9 měsíci +6

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

    • @clivah1499
      @clivah1499 Před 9 měsíci +10

      fame matter not, good matter

    • @dragosel505
      @dragosel505 Před 9 měsíci +1

      agree

    • @lorenzodiambra5210
      @lorenzodiambra5210 Před 9 měsíci +4

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

    • @trgdev
      @trgdev Před 9 měsíci +2

      Yes!

  • @qwertico8688
    @qwertico8688 Před 9 měsíci +353

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

    • @Naviary
      @Naviary  Před 9 měsíci +34

      Thank you! 😃

    • @qwertico8688
      @qwertico8688 Před 9 měsíci +6

      @@Naviaryno problem :D

    • @trempton4106
      @trempton4106 Před 9 měsíci +1

      @@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
      @Naviary  Před 9 měsíci +5

      @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
      @Naviary  Před 9 měsíci +2

      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.

  • @rtxagent6303
    @rtxagent6303 Před 9 měsíci +53

    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
      @MichaelDarrow-tr1mn Před 9 měsíci

      just zoom into it

    • @Izzythemaker127
      @Izzythemaker127 Před 9 měsíci

      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
      @MichaelDarrow-tr1mn Před 9 měsíci

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

    • @rtxagent6303
      @rtxagent6303 Před 9 měsíci +2

      @@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
      @MichaelDarrow-tr1mn Před 9 měsíci

      @@rtxagent6303 but why would you do that

  • @smoking_apple
    @smoking_apple Před 9 měsíci +14

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

  • @or3213
    @or3213 Před 9 měsíci +23

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

  • @Muhahahahaz
    @Muhahahahaz Před 9 měsíci +19

    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
      @ccfffvbbbbbffg1774 Před 8 měsíci +1

      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)

  • @menschenskind1
    @menschenskind1 Před 9 měsíci +46

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

  • @xane256
    @xane256 Před 9 měsíci +31

    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!!

  • @RADZina
    @RADZina Před 9 měsíci +4

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

  • @jesusisea3774
    @jesusisea3774 Před 9 měsíci +22

    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!

  • @antoinedragnir142
    @antoinedragnir142 Před 9 měsíci +12

    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
      @Naviary  Před 9 měsíci +5

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

    • @worldprops333
      @worldprops333 Před 9 měsíci +1

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

  • @GynxShinx
    @GynxShinx Před 9 měsíci +15

    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
      @marioisawesome8218 Před 4 měsíci

      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.

  • @inbarkurti4524
    @inbarkurti4524 Před 9 měsíci +65

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

  • @furkabaan567
    @furkabaan567 Před 9 měsíci +10

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

  • @ryukocantsnipe6257
    @ryukocantsnipe6257 Před 9 měsíci +5

    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

  • @EdKolis
    @EdKolis Před 9 měsíci +8

    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!

  • @Rock_Appreciator
    @Rock_Appreciator Před 9 měsíci +65

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

  • @VanishShovel
    @VanishShovel Před 9 měsíci +5

    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!

  • @desmondruhling
    @desmondruhling Před 9 měsíci +1

    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.

  • @potats5916
    @potats5916 Před 9 měsíci +4

    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

  • @pianoforte611
    @pianoforte611 Před 9 měsíci +5

    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
      @metajore3580 Před 5 měsíci +1

      How about an inaccessible cardinal

  • @enpassantcheckmate
    @enpassantcheckmate Před 9 měsíci +8

    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

  • @alvinpoly2781
    @alvinpoly2781 Před 9 měsíci

    Keep up the quality content man! There's a good crowd wanting such thought-provoking videos for sure

  • @rosearachnid879
    @rosearachnid879 Před 9 měsíci +15

    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
    @parallax8298 Před 9 měsíci +18

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

  • @triplebog
    @triplebog Před 9 měsíci +4

    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

  • @Palladox22
    @Palladox22 Před 9 měsíci +1

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

  • @artsenor254
    @artsenor254 Před 9 měsíci +1

    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".

  • @repacharge431
    @repacharge431 Před 9 měsíci +5

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

  • @PainTensei551
    @PainTensei551 Před 9 měsíci +3

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

  • @arrowtongue
    @arrowtongue Před 9 měsíci +2

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

  • @TaliwhakerRotmg
    @TaliwhakerRotmg Před 9 měsíci

    Subbed for the ordinal vs cardinal explanation alone quick and easy and makes me want to go check out the formal definition. Keep up the good work!

  • @kosuken
    @kosuken Před 9 měsíci +12

    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
      @MichaelDarrow-tr1mn Před 9 měsíci

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

    • @istoleyourorangejuice
      @istoleyourorangejuice Před 5 měsíci

      How would w^^2 exist

    • @ZeMeatMuncher
      @ZeMeatMuncher Před 4 měsíci

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

  • @howtpotypo
    @howtpotypo Před 9 měsíci +5

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

  • @The_Commandblock
    @The_Commandblock Před 9 měsíci +2

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

  • @Deathranger999
    @Deathranger999 Před 8 měsíci

    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.

  • @nnotcircuit010
    @nnotcircuit010 Před 9 měsíci +6

    You should cover non-computable strategies.

    • @Naviary
      @Naviary  Před 9 měsíci +2

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

  • @pepn
    @pepn Před 9 měsíci +4

    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

  • @ryanzdral8895
    @ryanzdral8895 Před 9 měsíci +1

    what a great video! I like how it captures some fascinating intersections between chess and math

  • @TheGoodMorty
    @TheGoodMorty Před 9 měsíci +1

    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
    @DsiakMondala Před 9 měsíci +3

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

  • @InsanityKillstreak
    @InsanityKillstreak Před 9 měsíci +4

    Keep up the good work!

  • @Vedertesu
    @Vedertesu Před 9 měsíci +1

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

  • @user-du9uv8rv7q
    @user-du9uv8rv7q Před 9 měsíci +2

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

  • @ThatVillain-the-Gamer
    @ThatVillain-the-Gamer Před 9 měsíci +3

    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

  • @chessartist
    @chessartist Před 9 měsíci +12

    Fascinating concept! More infinite chess please!

    • @hy7864
      @hy7864 Před 9 měsíci +1

      -U too-

  • @jonathanspears3484
    @jonathanspears3484 Před 9 měsíci

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

  • @evandrofilipe1526
    @evandrofilipe1526 Před 9 měsíci +1

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

  • @TA-sq1pv
    @TA-sq1pv Před 9 měsíci +3

    Best infinite chess content! I’m sure you will get famous some day!

  • @bradyk6017
    @bradyk6017 Před 9 měsíci +43

    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 CZcams 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
      @Naviary  Před 9 měsíci +20

      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
      @MOORE4U2 Před 9 měsíci +15

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

    • @angerberry
      @angerberry Před 9 měsíci

      ​@@MOORE4U2essentially

    • @nif4345
      @nif4345 Před 9 měsíci +1

      ARE YOU CALLING MIKAN BASIC

  • @nice3294
    @nice3294 Před 9 měsíci +1

    This is an amazing explanation!

  • @vladmunteanu5864
    @vladmunteanu5864 Před 9 měsíci

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

  • @sansUnderlddcvl
    @sansUnderlddcvl Před 9 měsíci +3

    0:08 "there is something magnetic about it"

  • @egormusatov6280
    @egormusatov6280 Před 9 měsíci +3

    That bishop 1 quintillion tiles away:

  • @theruined2190
    @theruined2190 Před 9 měsíci +2

    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-ω²"

  • @arcturus1140
    @arcturus1140 Před 9 měsíci +1

    Really interesting and well made video. It definetly taught me something new

  • @not_vinkami
    @not_vinkami Před 9 měsíci +4

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

    • @sirk603
      @sirk603 Před 9 měsíci

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

  • @hy7864
    @hy7864 Před 9 měsíci +21

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

    • @ayberkgirgin3864
      @ayberkgirgin3864 Před 9 měsíci +3

      then rooks start to check

    • @hy7864
      @hy7864 Před 9 měsíci

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

    • @ayberkgirgin3864
      @ayberkgirgin3864 Před 8 měsíci

      @@hy7864 black rooks

    • @hy7864
      @hy7864 Před 8 měsíci

      @@ayberkgirgin3864 how?

  • @Keosystem511
    @Keosystem511 Před 4 měsíci +1

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

  • @OldsReporter
    @OldsReporter Před 9 měsíci +1

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

  • @teddison7812
    @teddison7812 Před 9 měsíci +3

    Here before this blows up like the last one

  • @Lovuschka
    @Lovuschka Před 9 měsíci +3

    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.

  • @killio88
    @killio88 Před 9 měsíci +1

    Great video! Keep it up

  • @junehazel7946
    @junehazel7946 Před 9 měsíci +1

    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
      @olixx1213 Před 9 měsíci

      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
      @noobatredstone3001 Před 9 měsíci

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

    • @olixx1213
      @olixx1213 Před 9 měsíci

      @@noobatredstone3001 why would it be
      Omega is an ordinal

    • @noobatredstone3001
      @noobatredstone3001 Před 9 měsíci

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

    • @olixx1213
      @olixx1213 Před 9 měsíci

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

  • @shmogan8538
    @shmogan8538 Před 9 měsíci +4

    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
      @Naviary  Před 9 měsíci

      🤣

    • @linuslucke3838
      @linuslucke3838 Před 9 měsíci

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

    • @shmogan8538
      @shmogan8538 Před 9 měsíci

      @@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
      @hydrogen-8 Před 9 měsíci

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

  • @gabrielmorales7208
    @gabrielmorales7208 Před 9 měsíci +3

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

  • @tissuepaper9962
    @tissuepaper9962 Před 4 měsíci

    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.

  • @yb3604
    @yb3604 Před 9 měsíci

    this is amazing! kudos and thank you!

  • @l9m241
    @l9m241 Před 9 měsíci +10

    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
      @MrMatzetoni Před 9 měsíci +7

      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
      @the_multus Před 9 měsíci

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

    • @adayah2933
      @adayah2933 Před 9 měsíci

      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 γ

  • @jamesn.5721
    @jamesn.5721 Před 9 měsíci +4

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

    • @Naviary
      @Naviary  Před 9 měsíci +3

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

  • @TheyTook_
    @TheyTook_ Před 9 měsíci

    this is genuinely such a high quality and entertaining video how do you not have over a mil subs

  • @fabienhildwein3452
    @fabienhildwein3452 Před 8 měsíci

    Thanks, really fascinating ! I would love a video on why new pieces are necessary to the game and what they bring in terms of strategy.

  • @MichaelCoombes776
    @MichaelCoombes776 Před 9 měsíci +3

    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
      @Naviary  Před 9 měsíci +2

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

  • @Patszyp.
    @Patszyp. Před 9 měsíci +3

    Luckily i watched vsause video about infinity numbers.

  • @konstantinospalapanidis6414
    @konstantinospalapanidis6414 Před 9 měsíci

    really good, well made!

  • @HollowProject
    @HollowProject Před 9 měsíci

    that's soooooooooooooooo interesting, can't wait for the next video! instantly subcribed

  • @emmabellhelium
    @emmabellhelium Před 9 měsíci +3

    Is there a bound to how high the ordinal checkmate clock can go? I'm fairly certain a game must have at most a countable checkmate clock so W_1 is out of the question, but can it go lower than that? If so, are there alternate pieces that could make it go higher?

    • @Naviary
      @Naviary  Před 9 měsíci +2

      Correct, I believe it can go as high as possible but not including omega_1! Vedras in the discord server knows more!

    • @emmabellhelium
      @emmabellhelium Před 9 měsíci +3

      @@Naviary What about something like the Feferman-Schütte ordinal? What would that mean in terms of announcements?

    • @Naviary
      @Naviary  Před 9 měsíci +2

      @@emmabellhelium I'm not knowledgable with how that ordinal is made.

    • @drdca8263
      @drdca8263 Před 9 měsíci

      I wouldn’t be too surprised if, just as there is a countable ordinal that is the supremum of all computable ordinals, and where this is the main description of it,
      I wouldn’t be too surprised if there wasn’t really much of a nice way to specify the supremum of all “ordinals alpha such that a there exists position in infinite chess with finitely many pieces where white has mate in alpha” other than, basically the same definition?
      Though... maybe if restricting to boards with finitely many pieces, might reduce how big the ordinals expressible this way enough, that it would have a more normal description?
      But, if allowing any computable board state...
      Hm.

  • @serphorus
    @serphorus Před 8 měsíci +3

    Mate in tetrated omega?

  • @lycanthewerewolf6801
    @lycanthewerewolf6801 Před 9 měsíci +1

    And he's back, with another video!

  • @divy1211
    @divy1211 Před 9 měsíci

    Damn, this is a very cool fact I did not know I needed to know. Amazing video!

  • @hassanalihusseini1717
    @hassanalihusseini1717 Před 9 měsíci +4

    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.....

  • @samuelstermer6437
    @samuelstermer6437 Před 9 měsíci

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

  • @StreetSurfersAlex
    @StreetSurfersAlex Před 9 měsíci +1

    Earned a sub for excellent content!

  • @justnobody5527
    @justnobody5527 Před 9 měsíci

    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.