Universiteit van Amsterdam

De logica in oneindige spelen

Promotie Wiskunde

dinsdag 1 juni, 11.00 uur
Daisuke Ikegami onderzocht verscheidene soorten oneindige spelen en daaraan verwante onderwerpen in de verzamelingentheorie en mathematische logica. In het bijzonder keek hij naar het verband tussen zogeheten Gale-Stewartspelen en Blackwellspelen. Gale-Stewart- en Blackwell-spelen zijn oneindige spelen die respectievelijk schaak en 'steen, papier, schaar' (een bekend nulsomspel) generaliseren. Over schaak kan men een stelling bewijzen dat een van de twee spelers een strategie heeft om af te dwingen dat die speler wint of dat het gelijkspel wordt. Het gedetermineerdheidsaxioma (AD, van het Engels Axiom of Determinacy) is de bewering dat dit geldt voor alle Gale-Stewartspelen. In 'steen, papier, schaar' kan men winst of gelijkspel niet afdwingen, maar is er wel een optimale strategie voor een van de spelers die de kans op winst maximaliseert: speel elke mogelijkheid met kans 1/3. Dhr. D. Ikegami: Games in Set Theory and Logic. Promotoren zijn dhr. prof. dr. B. Löwe en dhr. prof. dr. J. Väänänen.
Locatie: Aula van de UvA, Singel 411, Amsterdam.

Dit is een overzicht van promoties, oraties, afscheidscolleges en andere activiteiten aan de Universiteit van Amsterdam. Meer informatie over de items in deze agenda kunt u krijgen bij de afdeling Persvoorlichting, tel. 020 - 525 2695, e-mail: persvoorlichting@uva.nl. Onder aan deze agenda vindt u de rubriek Hoogleraarsbenoemingen.