In this essay, I will examine Smullyan's work in the explicit context of Godel's Incompleteness Theorem and argue that not only does Smullyan show statements that are intimately linked to some of Godel's notions, but that the overall structure of his work is that of incompleteness thus mirroring Godel's model in a fundamental manner. In addition to this, the important notion of self-reference will be inserted into the argument.
FREE Thesis Evaluation
