Nie jesteś zalogowany |
Gry w topologii i ich efektywne warianty
- Prelegent(ci)
- Michał Skrzypczak
- Afiliacja
- Instytut Informatyki
- Termin
- 7 grudnia 2017 14:30
- Pokój
- p. 2180
- Tytuł w języku angielskim
- Games in topology and their effective variants
- Seminarium
- Kolokwium Wydziału MIM UW
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.
