上海万圣节的“鬼符”

鬼是一个没有内容的符号，类似数学符号和计算机语言符号。

每个人可以向鬼符号中加入自己的内容和理解，证明自己的存在和思考。

上海万圣节的特点是cosplay，年轻人将各种奇装异服带上街头。

向鬼符号中填入的内容包括西方的僵尸和中国文化的清服僵尸等。

形式主义在绘画艺术中表现明显，印象派画作强调光线和色彩而非内容。

形式与内容的分离是文明开始的标志，形式本身具有重要价值。

数学是一种形式逻辑，是科学的语言，没有数学语言就没有科学思想。

人类在形式上抽象和思考的能力较弱，依赖内容解决问题的三种思考模式：背诵、直觉和推理。

不同的语言形式适合不同的思维方式，视频适合直觉，文字适合背诵，计算机语言适合推理。

形式验证内容的能力可以帮助发现错误，例如数学家陶哲轩的形式证明。