SGS 2013 Permanent Incompleteness Vortrag am Harbin Institute of Technology – Shenzhen Graduate School, 2013