https://www.cpr.cuhk.edu.hk/sc/event/ge-salon-2010-11-incompleteness-godel-escher-bach-and-godels-proof/
[通识沙龙2010-11] Incompleteness: Gödel, Escher, Bach and Gödel's Proof