Taming Jörmungandr: The Logical Foundations of Circularity

Forskningsprogrammet kommer att utveckla ett enhetligt ramverk för teorin om och tillämpningen av cykliska bevis. Vi kommer att ta upp grundläggande frågor om de cykliska bevisens natur: Vad avslöjar cykliska bevis om våra matematiska och filosofiska ramverk? Hur kan de användas för att effektivisera algoritmer och beräkningar? Är cykliska bevis den felande länken som förklarar de djuplodande likheterna mellan matematisk induktion och datavetenskaplig rekursion?