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