Deze Bachelorscriptie legt uit waarom de µ-recursieve functies zijn gekozen om de algoritmisch berekenbare functies te karakteriseren. De bewering, dat de µ-recursieve functies extensioneel...Show moreDeze Bachelorscriptie legt uit waarom de µ-recursieve functies zijn gekozen om de algoritmisch berekenbare functies te karakteriseren. De bewering, dat de µ-recursieve functies extensioneel identiek zijn aan alle intuïtief beschouwde effectief berekenbare functies, is bekend komen te staan als Church' These. Deze these wordt in deze scriptie geëxpliceerd en geëxpliqueerd, door te verklaren waarom er voor deze specifieke formele klasse van µ-recursieve functies is gekozen als identificatie van de algoritmisch berekenbare functies en door te verklaren waarom deze identificatie van een intuïtief begrip (effectieve berekenbaarheid) met een wiskundig begrip (µ-recursieve functies) aannemelijk is. Dit zal bewerkstelligd worden door allereerst uitgebreid in te gaan op recursieve functies en algoritmische procedures, ten tweede door de aard van de these zelf te onderzoeken, en ten derde door de belangrijkste argumenten tegen Church' These te bekritiseren.Show less
