id	author	title	date	pages	extension	mime	words	sentence	flesch	summary	cache	txt
4j03cz32m37	Graham Edward Leach-Krouse	Conceptions of Absolute Provability	2013		.txt	text/plain	349	14	35	I propose an alternative "top-down" approach to absolute provability, on which we devise a proof concept satisfying certain essential properties of proof. In the philosophical portion of this dissertation, I develop an account of absolute provability as this notion was understood by Gödel, Post, Tarski, and other twentieth century logicians.	cache/4j03cz32m37.txt	txt/4j03cz32m37.txt