Top News, Articles, and Interviews in Philosophy

Gödel Without Tears, slowly, 11

Philosophy News image
And at last, we get to a proof of ‘The First Incompleteness Theorem, semantic version’, uisng pretty much Gödel’s materials. And given our background work over previous chapters, it is very easy. Grasp the trick in constructing the described Gödel sentence, and everything then falls speedily and simply into place. Enjoy! The post Gödel Without Tears, slowly, 11 appeared first on Logic Matters.

Continue reading . . .

News source: Logic Matters

blog comments powered by Disqus