Game Theory at Ali Nesin Mathematics Village

About Ali Nesin Mathematics Village

Matematik Köyü (Mathematics Village) is an internationally recognized mathematics research and education center located in Şirince, İzmir. Founded by mathematician Ali Nesin, it hosts intensive workshops, summer schools, and research seminars for students and researchers from around the world.

Curriculum

I attended the Game Theory training program as part of the Mathematics and Technology Club. The program combined classical game-theoretic frameworks with computational approaches — bridging pure mathematics and software engineering. The club also participated in the Izmir Mathematics Festival that same season.

• Normal form games and Nash equilibrium
• Extensive form games and backward induction
• Zero-sum games and minimax theorem
• Cooperative game theory — Shapley value
• Mechanism design fundamentals

Key Concepts

The minimax theorem — the cornerstone of zero-sum game theory — asserts that in any finite two-player zero-sum game, the maximum of the minimums equals the minimum of the maximums. This duality underpins everything from chess engines to auction design.

The Shapley value provides a principled way to distribute payoffs in cooperative games based on each player's marginal contribution across all possible coalitions — with direct applications in cost-sharing, voting power analysis, and ML feature attribution.

Worked Example — Prisoner's Dilemma

The canonical illustration of Nash equilibrium. Two suspects are interrogated separately. Each can either cooperate (stay silent) or defect (testify against the other). The payoff matrix, in years of prison time avoided:

               B: Cooperate   B: Defect
A: Cooperate      (3, 3)        (0, 5)
A: Defect         (5, 0)        (1, 1)

Reading the matrix: if both cooperate, both avoid 3 years. If A defects while B cooperates, A avoids 5 years and B avoids none.

The Nash equilibrium is (Defect, Defect)— not because it is the best collective outcome, but because it is the only strategy profile where neither player can improve their outcome by unilaterally switching. If A is defecting, B's best response is also to defect (1 > 0). If B is defecting, A's best response is to defect (1 > 0). The equilibrium is stable even though (Cooperate, Cooperate) gives both players a better result — a result known as a Pareto-superior outcome that is unreachable without binding coordination.

This tension — individual rationality producing collectively suboptimal outcomes — is the central insight game theory exports to fields from economics to security protocol design.

Takeaways

The most enduring insight from the program was that game theory is not about games — it is a language for reasoning about strategic interaction under constraints. It sharpened my ability to model adversarial systems, which directly informs how I think about security and algorithm design.