I love how you start with something that resembles chess and end with massive structures designed only to prolong the inevitable.
@Patashu10 ай бұрын
The lower quadrants have been lined with bishop cannons of increasing size
@Nzargnalphabet10 ай бұрын
And yet, a math brain loves it
@meks03910 ай бұрын
thats such a good way of describing how my brain is reacting to this.
@edgeman113510 ай бұрын
That awkward moment when you blunder into an infinite number of rook locks...
@mongoose785710 ай бұрын
Just like real life
@WolfgangShaffer-ey6ce10 ай бұрын
Imagine being foolish enough to blunder checkmate in ω^3•10+ω^2•8+1001
@Naviary10 ай бұрын
🤦♂️ "You blundered! How could you not see that?"
@godofnumbersakausername522610 ай бұрын
@@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
@JaredJeyaretnam10 ай бұрын
@@NaviaryYou fell for one of the classic blunders!
@Maxyncydentz9 ай бұрын
Hikaru be like:..... Yes that's checkmate in (imagine the amount of all real numbers)
@mrt_pose9 ай бұрын
Rookie error lululul
@paperwhite385310 ай бұрын
It's kind of beautiful, that two kings are just having a staring contest, while all of this is happening
@icantthinkofaname813910 ай бұрын
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
@fntthesmth42310 ай бұрын
Typical monarchy forcing everybody else to dedicate their lives to them lol
@w花b10 ай бұрын
The UK has no problem with that. Sucking money like leeches. Very impressive.@@fntthesmth423
@RFM__10 ай бұрын
shout out to their patience because doing absolutely nothing all of that amount of time is huge‼️‼️
@abdillahahmad702510 ай бұрын
"Now, now, there's no need to fight... why not settle this over a nice cup of tea?"
@WillySalami10 ай бұрын
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.
@gianglai734610 ай бұрын
Omega-1 minus 1 is just Omega-1
@barrianic410 ай бұрын
@@gianglai7346actually omega-1 minus 1 is ill-defined
@aaravthediscoverer8 ай бұрын
@@barrianic4 actually omega-1 minus 1 is e =m2
@barrianic48 ай бұрын
@@aaravthediscoverer omega-1 does not have an imediate predessessor because it is a limit ordinal
@aaravthediscoverer8 ай бұрын
@@barrianic4 but does it have an immediate successor?
@christopherearth971410 ай бұрын
The worst thing in Infinite Chess is probably the Bishop sniping you from 45 multiverses away.
@Dexuz6 ай бұрын
Biblically accurate
@pmz-gaming64796 ай бұрын
@@Dexuz*why do I hear boss music*
@ChoccoGlx4 ай бұрын
Yeah, I hate that move.
@Someone_adachi3 ай бұрын
Average 5d chess game
@manymanyatoms93272 ай бұрын
Oh crap the knight jumped over the interdimensional void and took my queen
@tails18310 ай бұрын
Of all things, I never thought I'd hear the phrase "bishop cannon" in my life.
@DR-710 ай бұрын
BROTHERS! WE NEED TO CRUZADEEEE
@glowstonelovepad929410 ай бұрын
I searched "bishop cannon" and apparently there is someone who is a bishop and named Cannon. en.wikipedia.org/wiki/William_Ragsdale_Cannon
@Roovinggoove3 ай бұрын
Pope cannon
@elaundertale3 ай бұрын
I mean... they ARE called "shooters" in my native language... I guess this is why
@jacobortiz70872 ай бұрын
Bishop cannon is probably the most metal chess thing I've ever heard
@gavinlol-lo1pd10 ай бұрын
A higher game value does not necessarily mean the game will take longer, but instead it means your opponent can be more annoying
@richardpike874810 ай бұрын
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
@eeeee1123510 ай бұрын
@@richardpike8748 2 move mate
@eeeee1123510 ай бұрын
@@richardpike8748 ig depends on position
@londegel10 ай бұрын
@@eeeee11235 not in infinite chess, since the king can just move backwards
@Damianp00p10 ай бұрын
E
@vnXun10 ай бұрын
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.
@-minushyphen1two37910 ай бұрын
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.
@liam.2810 ай бұрын
@@-minushyphen1two379the large veblen ordinal is also countable
@kruje31410 ай бұрын
bruh
@thefastmeow10 ай бұрын
that's what she said before she left me
@MichaelDarrow-tr1mn10 ай бұрын
@@-minushyphen1two379 the large one is also countable
@John_Gillman10 ай бұрын
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
@tektek110010 ай бұрын
started laughing at omega³, checked how much of the video is remaining, oh boy
@dazcarrr10 ай бұрын
the moment terminology turned to "towers" and "cannons" i think this stopped being about chess
@kruje31410 ай бұрын
'What is this piece?' 'Tower.' 'ITS CALLED DA ROOK'
@erka33910 ай бұрын
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 !
@Proto-EXX10 ай бұрын
soon we’re gonna have nuclear warfare in chess if we keep goin higher with these ordinals
@tigerghg730210 ай бұрын
Those massive structures weirdly remind me of the game of life
@dazcarrr10 ай бұрын
@@tigerghg7302 chess has become cellular automata
@louisjagger217710 ай бұрын
The later stages begin to resemble Conway's Game of Life :)
@Naviary10 ай бұрын
In some ways it does resemble it doesn't it?
@subscheme10 ай бұрын
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
@shauas422410 ай бұрын
@@Naviary now I'm thinking if infinite chess is Turing complete
@T1123510 ай бұрын
It's the game of life, except it's more complex
@mathgeniuszach10 ай бұрын
@@shauas4224 I wonder that too now
@Steamworker_Evolair10 ай бұрын
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!
@Shivoham22438 ай бұрын
Same😂😂
@skittybug69376 ай бұрын
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
@Pnod6663 ай бұрын
And here I thought VSauce's video was absolutely insane! He doesn't even get into as many Greek Letters!
@ChrisAsHell8 ай бұрын
you know what? let’s call it a draw
@Thepreacher_1Ай бұрын
*black* "Nah, id make you surrounder" *Moves first bishop to a Google Plex*
@LeonardoPereiradaFonseca-y2r12 сағат бұрын
@@Thepreacher_1*white* Hah! Silly you!! You just moved inside my bishop's range!!
@wumaster110 ай бұрын
I love how you played a nuclear alarm in the background when talking about omega^4.
@Error422win25 күн бұрын
For good reason
@Error422win25 күн бұрын
For good reason
@Naviary10 ай бұрын
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
@treelol10 ай бұрын
u have my respect
@wesleystoltz842110 ай бұрын
Would it be possible to reach a higher checkmate clock with custom made pieces?
@Naviary10 ай бұрын
@@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!
@Patashu10 ай бұрын
@@Naviary Ok now I need to see the video on infinite checkers 👀
@arcaltoby577210 ай бұрын
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.
@가시10 ай бұрын
I've finally found an area where transfinite ordinals are useful
@maldoror-1310 ай бұрын
"useful"
@rykehuss34359 ай бұрын
@@maldoror-13to the gods
@nathanJensen-or3sv9 ай бұрын
*semiusefull
@fluffly36067 ай бұрын
Now to create a starting position where reaching said useful situation is actually plausible
@coocato7 ай бұрын
geometry dash theoretically possible levels as well
@arandomdiamond210 ай бұрын
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.
@NathanSimonGottemer5 ай бұрын
@@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
@macchiato_18814 ай бұрын
@@Nomasunpibeboludotransfinite ordinals are no less fictional numbers than the natual numbers.
@SimoneBellomonte3 ай бұрын
@@NathanSimonGottemerWhat did the coward say? 🗿
@SimoneBellomonte3 ай бұрын
@@macchiato_1881^
@NathanSimonGottemer3 ай бұрын
@@SimoneBellomonte …ngl I forgot 😅
@GenTheFurredArtist10 ай бұрын
This is basically just what happens when you're really determined to NOT lose.
@Jakitz5 ай бұрын
0:28, GothamChess when you miss mate in 549 in gte "AHHHHHHHH"
@Mika-lt6lr10 ай бұрын
Man i’ve not once left a comment on a KZbin 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.
@Naviary10 ай бұрын
Thank you, I really appreciate it!
@objectshowfan36210 ай бұрын
We've seen how far we can go with infinitely many pieces, but how far can we go with only finitely many pieces?
@Naviary10 ай бұрын
@@objectshowfan362 This is still an open question! We know so far that omega^2 is possible.
@TymexComputing10 ай бұрын
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 :)
@Unknown-vg2mf10 ай бұрын
@@objectshowfan362 It is bounded by Church-Kleene ordinal (the first nonrecursive ordinal, also the supremum of the recursive ordinals)
@eliascastillojerez677810 ай бұрын
10:58 Tier 2 announcements were a plot twist I wasn't expecting. Great video and great narration!
@Henry3.141510 ай бұрын
The intro with the infinite chess game zooming out to show the text is so cool
@findystonerush933910 ай бұрын
3.1415? Pi? 3.14159 this is pi followed by!
@TacoChess10 ай бұрын
@@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
@lightningfirst6899 ай бұрын
That mate-in-Omega⁴ position is oddly terrifying.
@Dondoki_9 ай бұрын
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."
@TheFlame_Hawk3 ай бұрын
Nah, why play a game that has a preset winner
@Dondoki_3 ай бұрын
@@TheFlame_Hawk for fun
@Drippyglaze2 ай бұрын
You sound dyslexmic
@abellematheux763210 ай бұрын
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. )
@matthewbolan815410 ай бұрын
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.
@neopalm205010 ай бұрын
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).
@abellematheux763210 ай бұрын
I will edit my comment tomorrow if I don't forget (it's night here).
@TymexComputing10 ай бұрын
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!
@zaringers10 ай бұрын
Hmmm grave interessant ça aussi
@neopalm205010 ай бұрын
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 ω₁.
@neopalm205010 ай бұрын
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.
@danielyuan986210 ай бұрын
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.
@danielyuan986210 ай бұрын
@@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.
@neopalm205010 ай бұрын
@@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).
@angelmendez-rivera35110 ай бұрын
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.
@AGamerNamedSky10 ай бұрын
"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
@wesleystoltz84213 ай бұрын
I like that if you set all these numbers to one mathematically these extremely big numbers all equal 1
@Thepreacher_1Ай бұрын
@@wesleystoltz8421not if you have a trillion of them stacked on top of each other
@Bestmotion23899 күн бұрын
26:40 Imagine if after a few seconds of silence you hear: "Or is it...?"
@TheArtOfBeingANerd10 ай бұрын
All the ordinal numbers were just blowing my mind. Not the size of them, but the fact that we have notation for it
@cobble61610 ай бұрын
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
@steeevealbright10 ай бұрын
I had this exact thought about Jon Bois
@beyondobscure9 ай бұрын
Never heard of that before. It's great!
@tsevasa10 ай бұрын
Insanely well made! This truly is a game for the gods and we have only begun to scratch the surface :)
@Naviary10 ай бұрын
Thank you!
@RickMattison31410 ай бұрын
@@Naviary, I tried joining the Discord, but it said that I'm unable to accept the invite.
@Naviary10 ай бұрын
@@RickMattison314 That's weird. It should work! Maybe try a different link? discord.gg/bWbgYqX7Re
@RickMattison31410 ай бұрын
@@Naviary, still nothing. Edit: NVM. It worked on my phone.
@Naviary10 ай бұрын
@@RickMattison314 Great!
@triplebog10 ай бұрын
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
@Naviary10 ай бұрын
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?
@StriiderEclipse10 ай бұрын
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”
@harleyspeedthrust401310 ай бұрын
so this is what the memes mean when they say that magic the gathering is turing complete
@Deh9o11en8or10 ай бұрын
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
@AndrewBlechinger10 ай бұрын
@@StriiderEclipse I thought they just banned cards that cause infinite loops? (Freaking Pole Position, man.)
@LordShrek4202 ай бұрын
“You fool! You forgot my bishop 10 trillion light years away can stop your checkmate!”
@caioxlive13189 ай бұрын
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.
@mrorcadood10 ай бұрын
Thanks for the tutorial, now I know how to deal with this when it comes up in my games!
@maximdegi10 ай бұрын
the moment of history, the third naviary's video
@BabayChannel10 ай бұрын
Only countably many videos until the ω-th video
@parapasarunbuenrato877310 ай бұрын
Unlike **some company**, he actually know what comes after 2
@kevincsellak29610 ай бұрын
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!
@Naviary10 ай бұрын
Thank you
@Naviary10 ай бұрын
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!
@abellematheux763210 ай бұрын
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).
@angelmendez-rivera35110 ай бұрын
@@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.
@abellematheux763210 ай бұрын
@@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.
@Patrick-gm3fb5 ай бұрын
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.
@Himsjdndms0129 ай бұрын
Why does this feel evil
@Roovinggoove3 ай бұрын
Bc it is
@jitendrasangwa77802 ай бұрын
Yea
@stanimir5F10 ай бұрын
At 15:05 Hikaru be like: pf that's a simple forced mate in ω⁴ position. Joke aside: that ω⁴ was very entertaining to watch!
@Jagrofes2 ай бұрын
“Here here takes here takes here here and now you just win…”
@EnerJetix10 ай бұрын
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.
@godofnumbersakausername522610 ай бұрын
omega is a ordinal, not a cardinal
@EnerJetix10 ай бұрын
@@godofnumbersakausername5226 lol, good point
@thesenate18446 ай бұрын
@@godofnumbersakausername5226Expanded chess should also come with new pieces, like Cardinals which are Bishops but better
@godofnumbersakausername52266 ай бұрын
@@thesenate1844 Yeah, or else every game would be a draw.
@raptorialmage10 ай бұрын
Imagine getting skewered by a bishop on the square b925836
@plasmakitten42613 ай бұрын
So basically, we won't know what the longest theoretical infinite chess game is for certain until someone figures out the continuum hypothesis
@danielyuan986210 күн бұрын
It's already figured out. It can neither be proven nor disproven. So you can state it as either and the math still works completely fine.
@plasmakitten426110 күн бұрын
@danielyuan9862 Yeah but which choice is "better" is an open debate in analytic philosophy.
@noahhuguenin10 ай бұрын
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!
@willlllllliam10 ай бұрын
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 :)
@Naviary10 ай бұрын
Thank you. I tried to make it the best I could!! All the little details count.
@_Epidemic_10 ай бұрын
Right as I was rewatching your previous videos you drop yet another banger, great work as always.
@aloysiuskurnia764310 ай бұрын
OOOOOOOH now I see how my confusion about omega + 1 from the last video gets resolved. It's very elegant!
@Naviary10 ай бұрын
Glad I could clear your understanding!
@Blue_FirewalI9 ай бұрын
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
@liam.286 ай бұрын
@@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
@TSANOOvlogs6 ай бұрын
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!
@aze43087 ай бұрын
please make a behind the scenes of this video! it’s so cool how the 3d graphics work
@truckjumperdude10 ай бұрын
The way you explained this made it so simple to understand and still very interesting, this is a "5-tier" video 🙂
@janaki382910 ай бұрын
8:04 Oh hey, it's the Code Bullet song!
@archysimpson22736 ай бұрын
Thanks, I was going nuts trying to figure out where I heard that from
@That-One-Frog10 ай бұрын
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!
@Naviary10 ай бұрын
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...
@crowreligion8 ай бұрын
But what about infinite chess 2, with infinite amount of pieces?
@JacobGruzewski10 күн бұрын
This is honestly one of the best videos I have ever watched and you deserve way more subscribers
@numberblocksfiftyfourfan10 ай бұрын
11:55 The white king keeps on chasing the black rook.
@tdubmorris575710 ай бұрын
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
@davethesid896010 ай бұрын
This video shattered my brain but every second was worth it. Great explanation of ordinals!
@pauls574510 ай бұрын
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!
@pravkdey5 ай бұрын
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
@bessie8612Ай бұрын
Love that towards the end is just a bunch of Mathematicians imaging arbitrarily high ordinals and naming them after themselves
@mastercrash068310 ай бұрын
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
@chenivan617110 ай бұрын
very well made! haven't seen anything that makes me so invested in quite a while. props to u!
@Tovosx210 ай бұрын
Bruh the editing and explanation is just too good 😭 Bro is severely underrated
@gunhasirac10 ай бұрын
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.
@MeGaGiGaGon10 ай бұрын
Amazing video! I love the delving into the infinites of ordinals, and can't wait to see what you produce next!
@Dieto-eit10 ай бұрын
I didn't even notice that 29 mins had flown by. I wish you and your project all the best!
@droidanimado580310 ай бұрын
I've never seen so much dedication to a game of chess, good job (for leaving my brain in liquid form)
@The4DRY4N10 ай бұрын
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.
@thelistener126810 ай бұрын
I heard about Aleph Nol and Omega in the Vsauce video about counting past infinity, but this finally made omega make sense to me.
@ilikevideogames28075 ай бұрын
Demon: You get to leave hell if you beat white at infinite chess
@Naviary5 ай бұрын
Me: "Bishop to Busy Beaver functio of TREE(Rayo's number)!"
@confusedindividual10 ай бұрын
I love how we are potentially generations away from solving regular chess and we’re already thinking about stuff like this.
@steeevealbright10 ай бұрын
20:26, pitch perfect delivery lolol
@asj341910 ай бұрын
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.
@Naviary10 ай бұрын
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!
@DeathDragon99a9 ай бұрын
Can’t wait for 3d infinite chess to get to mate in omega
@1vader10 ай бұрын
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.
@5dnikita10 ай бұрын
the best video!!! i am looking forward for w^w position
@InTheBeginningTheUniverseWas10 ай бұрын
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!
@angelmendez-rivera35110 ай бұрын
There is only a countably infinite amount of objects which can be described in any formal language with a finite alphabet of symbols.
@isa._mus10 ай бұрын
26:35 The only Way to Reach Omega 1 In mate is to make a Uncountable Infinity Making it Absolute
@jgseg68285 ай бұрын
Probably the best video Ive seen to grasp an intuition about this amazing and weird branch of Mathematics. Kudos!
@goodmorningennui9 ай бұрын
I love how in Omega^2 the chess is no longer a game, it now resembles a computation with set values.
@Patashu10 ай бұрын
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
@MichaelDarrow-tr1mn9 ай бұрын
Mate in w^2 with finite pieces is known
@Robert-jy9jm10 ай бұрын
This is a masterpiece! It may very well be the best video I have ever watched!
@ohboiyou10 ай бұрын
Get the camera Mom, Naviary just uploaded
@tomatoblate217010 ай бұрын
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
@SolubleParrot977617 күн бұрын
1:06 for a second i thought this was bad apple😭
@DoNotSin10 ай бұрын
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
@xaf1500110 ай бұрын
Several universe died during 1 turn of Infinite Chess. The only epic chess battle you couldn't not miss.
@DoNotSin10 ай бұрын
@@xaf15001 you couldn't not miss?
@weare2iq37610 ай бұрын
@@DoNotSin Yeah, you had to miss it, you'd be dead long before turn 1 finished 🤣
@thenumberpie31410 ай бұрын
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?
@Naviary10 ай бұрын
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!
@crystallinnen56008 ай бұрын
@@Naviary❤
@sleepykitten216810 ай бұрын
This was an extremely well done video.
@iamagi10 ай бұрын
I held on as long as I could, but around 25:00 it was all Greek to me.
@Sloppnheimer6 ай бұрын
lol
@TropicalPenguin249 ай бұрын
In all my years on the internet, this is easily my favourite video I have ever watched. Thank you.
@Dronkhrrrrng10 ай бұрын
can we play checkers instead
@the1stwing6 ай бұрын
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
@MatthewConnellan-xc3oj6 ай бұрын
Yes.
@maximized_15 ай бұрын
@@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
@wren_.3 ай бұрын
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
@Error422win25 күн бұрын
I’m just gonna play connect 4
@matthewbolan815410 ай бұрын
Hey look that's me.
@Naviary10 ай бұрын
Thank you for your contributions!
@tsevasa10 ай бұрын
Minecraft youtubers are going crazy these days.
@lamshywy89209 ай бұрын
I am your new subscriber who found your channel from this video
@decract10 ай бұрын
"I hate math" "I hate physic" "I hate chess"
@Bananappleboy10 ай бұрын
"Is non-exist"
@chaathon210 ай бұрын
I got lost as soon as we got into the ω of ω, but even then it was still understandable, interesting, and the most insane video I've ever watched. I don't even know how I ended up in the Chess KZbin, but I'm enjoying my stay. Props for all the searching and explanation, that video was a blast to sit through!
@TalkAboutaTrapstar10 ай бұрын
This is clearly absolutely hilarious, and the mathematics and theory work are great. Excellent work!
@bobczech777410 ай бұрын
0:01 8848 mountain everest moment
@UserSilentMaelstrom10 ай бұрын
Fr
@Roovinggoove3 ай бұрын
88
@anirudhv221510 ай бұрын
Can you make a video explaining the Mate in Omega^Omega (theoretical) mate please? 🥺
@Naviary10 ай бұрын
😉👍
@aav5610 ай бұрын
@@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.
@Naviary10 ай бұрын
@@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.
@ihateyoutubehandles44410 ай бұрын
@@Naviaryis it possible for an Omega^^Omega checkmate?
@Naviary10 ай бұрын
@@ihateyoutubehandles444 That's just written as e_0 (epsilon zero), and yes!
@cyan128010 ай бұрын
1:05 this transition was fire
@chunqinghe33962 ай бұрын
Black king : *calling Bishop* Black bishop : Oh I am getting a call! Black king : Hello I want to live for a lot of time (Omega^5 seconds) So I need you to move to the 900 Quattourtivigintillionth Wing terminal “ Black bishop : “ You motherf-“
@Rikitaskar16 ай бұрын
Bro this video is probably one of the best i've ever seen, it makes my math knowledge increase on every second