"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
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:
Post a Comment