Universiteit van Amsterdam


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.