Church–Turing thesis - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2010-03-29 15:27:54 Theoretical computer science Mathematical logic Computable function Church–Turing thesis Function Algorithm Recursion Stephen Cole Kleene Computability Computability theory Mathematics Theory of computation		Add to Reading List Source URL: www.ams.org Download Document from Source Website File Size: 275,84 KB Share Document on Facebook

	arXiv:1512.03024v2 [cs.LO] 8 DecComparing representations for function spaces in computable analysis Arno Pauly DocID: 1sRZe - View Document
	A brief introduction to Higher Order Logic and the HOL proof assistant Monica Nesi DocID: 1rjEK - View Document
	Lines Missing Every Random Point∗ Jack H. Lutz† Neil Lutz‡ Abstract DocID: 1qlxM - View Document
	PDF Document DocID: 1pZ37 - View Document
	A computable axiomatisation of the topology of R and C Paul Taylor 6 August 2009 DocID: 1pMn0 - View Document