Top News, Articles, and Interviews in Philosophy

Gödel Without Tears, slowly, 2

Philosophy News image
This very short second chapter ‘The First Theorem, two versions’ makes a key distinction between the semantic and syntactic flavours of the incompleteness theorem. That distinction is already there in Gödel 1931; but if I recall rightly, it was Andrzej Mostowski in his short book twenty-one years later who first brings it out really clearly and explicitly. The chapter also makes another key point: we should really talk, not of an incompleteness theorem (after all, mere incompleteness in itself might be boringly repairable) but of an incompletability theorem. The post Gödel Without Tears, slowly, 2 appeared first on Logic Matters.

Continue reading . . .

News source: Logic Matters

blog comments powered by Disqus