Wednesday, August 27, 2014

Introduction to Incompleteness


"Incompleteness is one of the most beautiful and profound proofs that I’ve ever seen. If you’re at all interested in mathematics, it’s something that’s worth taking the effort to understand."  -- Mark Chu-Carroll 

Mark Chu-Carroll (of "Good Math, Bad Math") is in the process of re-posting his own splendid discussion/explanation of Gödelian Incompleteness this week. If it's a subject that interests you, or you've always wanted a detailed introduction, his first three four posts (with more to come) are here:

http://www.goodmath.org/blog/2014/08/25/godel-reposts/

http://www.goodmath.org/blog/2014/08/26/godel-numbering/

http://www.goodmath.org/blog/2014/08/27/godel-part-3-arithmetic-and-logic/

[just added] http://www.goodmath.org/blog/2014/08/28/gdel-part-3-meta-logic-with-arithmetic/


No comments: