本文探讨了“鬼”符号的意义，认为它是一个没有内容的形式符号，每个人都可以向其中加入自己的内容和理解。上海万圣节的特点是cosplay，将各种奇装异服带上了街头。数学是一种形式逻辑，没有数学语言就没有科学思想。形式证明可以帮助发现错误。