Game Theory.Zero Sum.Examples

Proposition Diagonal Matrix Game Value proved

Example Matching Pennies formalized

Theorem Noisy Duel With Multiple Bullets admitted

Proposition Noisy One-Bullet Duel Value admitted

Proposition Silent One-Bullet Duel Has No Pure Value admitted

Proposition Silent Versus Noisy One-Bullet Duel Value admitted

Example Three-By-Two Matrix Game Computation formalized

Example Three-Player Minimax Failure formalized

Example Two-By-Two Value Formula formalized