Ciro Santilli @cirosantilli  40

Bibliography:

The best example to look at first is the penalty kick left right Nash equilibrium.

Then, a much more interesting example is choosing a deck of a TCG competition: Magic: The Gathering meta-based deck choice is a bimatrix game, which is the exact same, but each player has N choices rather than 2.

The next case that should be analyzed is the prisoner's dilemma.

The key idea is that:

Related ideas:

The meta of a game is the currently dominating know strategy or set of strategies, see also Section "Nash equilibrium".

Ciro Santilli used to play video games when he was young. But after he reached 18 he got bored of them.

The problem is that no matter how you look at, the how to become famous in the real world game is just always more interesting and fulfilling.

Therefore adult Ciro enjoys only the following types of video game content in video form, so that other people waste their lives playing the games while you only see the highlights:

The aspect Ciro enjoys about non-PvP games is atmosphere. Not as conveyed by useless story telling, but as conveyed by music and graphics, and the context deep idea. Legend of Zelda and Metroid come to mind.

And too many games commit the sins of dependency of dexterity, no save states, how do I skip this boring part, or jump straight to the beautiful one?

Another important point is; the perfect video game is an infinitely hard one.

It also doesn't help if you are already typing on a computer all day long on your job. Hands get tired. Eyes have an infinite capacity to consume useless YouTube videos however. Medically proved.

As a result, Ciro just watches videos about video games. Notably games he played when he was a teenager and already understand the rules for.

And things got even worse as after Ciro Santilli's Open Source Enlightenment, and he started to feel bad about playing any game that is not open source.

Nice result on Lebesgue measurable required for uniqueness.

Much of this section will be dumped at Section "Website front-end for a mathematical formal proof system" instead.

A proof in some system for the formalization of mathematics.

Intuitively: unordered container where all the values are unique, just like C++ std::set.

More precisely for set theory formalization of mathematics:

Set of ordered pairs. That's it! This is illustrated at: math.stackexchange.com/questions/1480651/is-fx-x-1-x-2-a-function/1481099#1481099

Most notable example: $L^2$.

An ordered pair of two real numbers with the complex addition and multiplication defined.

Forms both a:

Sets are unordered, but we can use them to create ordered objects, which are of fundamental importance. Notably, they are used in the definition of functions.