Wat kunnen computers in principe doen? Wat zijn hun inherente theoretische beperkingen? Dit zijn vragen waar informatici zich mee bezig moeten houden. Het theoretisch kader dat het mogelijk maakt dergelijke vragen te beantwoorden, is de afgelopen vijftig jaar ontwikkeld vanuit het idee van een berekenbare functie: intuïtief een functie waarvan de waarden op een effectieve of automatische manier kunnen worden berekend. Dit boek is een inleiding tot de berekenbaarheidstheorie (of recursietheorie zoals deze traditioneel bekend is bij wiskundigen). Dr. Cutland begint met een wiskundige karakterisering van berekenbare functies met behulp van een eenvoudige geïdealiseerde computer (een registermachine); Na enige vergelijking met andere karakteriseringen ontwikkelt hij de wiskundige theorie, inclusief een volledige bespreking van niet-berekenbaarheid en onbeslisbaarheid en de theorie van recursieve en recursief optelbare verzamelingen. De latere hoofdstukken geven een inleiding tot meer geavanceerde onderwerpen zoals de onvolledigheidsstelling van GÃdel, graden van onoplosbaarheid, de recursiestellingen en de theorie van de complexiteit van berekeningen. Berekenbaarheid is dus een tak van de wiskunde die ook van belang is voor informatici en filosofen. Wiskundestudenten zonder voorkennis van het onderwerp en informaticastudenten die hun praktische expertise willen aanvullen met wat theoretische achtergrond, zullen dit boek nuttig en interessant vinden. Taal: Engels