Promotie: Onbeslisbare problemen in kaartspellen
Promotie Logica
vrijdag 18 november, 12.00 uur
Lena Kurzen onderzocht de complexiteit van interactie. Zij deed dit vanuit het perspectief van de theoretische informatica en de logica. Naast de complexiteit van formele modellen van interactie, bestudeerde zij ook een gezelschapsspel. Ze toonde aan dat het in feite onspeelbaar is omdat de spelers onbeslisbare problemen kunnen tegenkomen.
Mw. L.M. Kurzen: Complexity in Interaction. Promotor is dhr. prof. dr. J.F.A.K. van Benthem
Locatie: Aula van de UvA, Singel 411, Amsterdam.
Universiteit van Amsterdam