Gödel Without (Too Many) Tears

Kurt Gödel's famous First Incompleteness Theorem shows that for any sufficiently rich theory that contains enough arithmetic, there are some arithmetical truths the theory cannot prove. How is this remarkable result proved? This short book explains. It also discusses Gödel's Second Incompleteness Theorem. Based on much-downloaded lecture notes for a short course given in Cambri... (展开全部)