Gry w topologii i ich efektywne warianty

Będę mówił o grach używanych do charakteryzacji pojęć matematycznych: od gry Banacha-Mazura, po gry konstruowane współcześnie w teorii automatów. Skupię się na kwestiach determinacji i możliwości efektywnego rozwiązywania danej gry. Spróbuję zargumentować, że odpowiednie dobranie zasad gry bywa zadaniem bardzo nieoczywistym; a jednocześnie odpowiednio sformułowana gra (dzięki determinacji) staje się niezwykle silnym orężem.

I will speak about games used to characterise certain mathematical concepts: from Banach-Mazur game, up to recent games introduced in automata theory. My main concern will be on determinacy and ability to effectively solve a given game. I'll try to argue that an appropriate definition of the rules of a game is a highly non-trivial task; but at the same time a well-designed game (due to determinacy) becomes an extremely powerful weapon.