You are not logged in |
Games in topology and their effective variants
- Speaker(s)
- Michał Skrzypczak
- Affiliation
- Instytut Informatyki
- Date
- Dec. 7, 2017, 2:30 p.m.
- Room
- room 2180
- Title in Polish
- Gry w topologii i ich efektywne warianty
- Seminar
- Colloquium Of MIM
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.
