I'd love to be able to watch a simple video interview with these guys. Something like...Dr. Gödel, could we take just a few of your notable insights and have you walk us through how the fuck you managed to come up with them?
As I understand it, a significant portion of the cleverness is in the audacity of encoding something liar paradox-like into a formal logical framework (and perhaps also the precision with which logics were specified and differentiated from one another).