Datum woensdag 10 juni 2015

Tijd vanaf 14:30

Locatie Academiezaal Aula, Comeniuslaan 2

Faculteit Faculteit der Natuurwetenschappen, Wiskunde en Informatica

Promovendus de heer R. Kuyper MSc.

Promotor(es) prof. dr. M. Gehrke, prof. dr. P. Stevenhagen

Copromotor(es) dr. S.A. Terwijn

Subtitel Computability, Probability and Logic

Beschrijving

Rutger Kuyper bekijkt in zijn proefschrift het samenspel van drie gebieden uit de wiskunde, namelijk de berekenbaarheid, waarschijnlijkheid en logica. Hij doet dat vanuit drie verschillende invalshoeken.De combinatie van berekenbaarheid en logica bekijkt hij in de vorm van de Medvedev en Muchnik tralies, de combinatie van berekenbaarheid en waarschijnlijkheid in de vorm van de algoritmische waarschijnlijkheid en de combinatie van logica met waarschijnlijkheid in de vorm van de zogenaamde probabilistische logica.

Biografie

Rutger Kuyper (Haarlem, 1989) studeerde Wiskunde aan de Radboud Universiteit en behaalde zowel zijn bachelor- als zijn masterdiploma summa cum laude. In 2012 startte hij met zijn promotieonderzoek, dat mede werd gefinancierd door het Wiskundecluster DIAMANT (NWO) en de Universiteit Leiden. In 2013 ontving Kuyper een Turing Centenary Research Scholarship van de John Templeton Foundation. Daarmee ging hij onder meer naar Victoria University of Wellington in Nieuw Zeeland om experts uit zijn vakgebied te ontmoeten.