“数”与“城”对话 | 当“数理逻辑”遇上“烟火成都”