@ColinTheMathmo godel can certainly be *explained* to anybody, sans proof, with my fave bit of maths exposition ever: http://bit.ly/jc4VBi