Quote:
In fact, as Gödel showed, a numerical formula could even be made to say something about itself. (Goldstein compares this to a play in which the characters are also actors in a play within the play; if the playwright is sufficiently clever, the lines the actors speak in the play within the play can be interpreted as having a “real life” meaning in the play proper.) Having painstakingly built this apparatus of mathematical self-reference, Gödel came up with an astonishing twist: he produced a formula that, while ostensibly saying something about numbers, also says, “I am not provable.” At first, this looks like a paradox, recalling as it does the proverbial Cretan who announces, “All Cretans are liars.” But Gödel’s self-referential formula comments on its provability, not on its truthfulness. Could it be lying? No, because if it were, that would mean it could be proved, which would make it true. So, in asserting that it cannot be proved, it has to be telling the truth. But the truth of this proposition can be seen only from outside the logical system. Inside the system, it is neither provable nor disprovable. The system, then, is incomplete. The conclusion—that no logical system can capture all the truths of mathematics—is known as the first incompleteness theorem. Gödel also proved that no logical system for mathematics could, by its own devices, be shown to be free from inconsistency, a result known as the second incompleteness theorem.
In other words, the “whole” (all of the parts) can only be seen as consistent or complete when viewed from outside the system.