Absolute Provability and Safe Knowledge of Axioms (to appear in Leon Horsten and Philip Welch, eds., The Scope and Limits of Mathematical Knowledge) Timothy Williamson - Timothy Williamson - Document - PDFSEARCH.IO

First Page	Meta Content
	Absolute Provability and Safe Knowledge of Axioms (to appear in Leon Horsten and Philip Welch, eds., The Scope and Limits of Mathematical Knowledge) Timothy Williamson Add to Reading List Document Date: 2014-10-24 05:59:46 Open Document File Size: 159,73 KB Share Result on Facebook IndustryTerm by-product / formal systems / / Person Philip Welch / Timothy Williamson / / SocialTag Philosophical logic Formal systems Proof theory Model theory Axiom Mathematical proof Theorem Kurt Gödel Modal logic Logic

Absolute Provability and Safe Knowledge of Axioms (to appear in Leon Horsten and Philip Welch, eds., The Scope and Limits of Mathematical Knowledge) Timothy WilliamsonAdd to Reading List