Expounds G del's incompleteness theorey using an information theoretic approach based on the size of computer programs.