极道
·
上海万圣节的“鬼符”
💡
原文中文，约1000字，阅读约需3分钟。
📝
内容提要
本文探讨了“鬼”符号的意义，认为它是一个没有内容的形式符号，每个人都可以向其中加入自己的内容和理解。上海万圣节的特点是cosplay，将各种奇装异服带上了街头。数学是一种形式逻辑，没有数学语言就没有科学思想。形式证明可以帮助发现错误。
🎯
关键要点
- 鬼是一个没有内容的符号，类似数学符号和计算机语言符号。
- 每个人可以向鬼符号中加入自己的内容和理解，证明自己的存在和思考。
- 上海万圣节的特点是cosplay，年轻人将各种奇装异服带上街头。
- 向鬼符号中填入的内容包括西方的僵尸和中国文化的清服僵尸等。
- 形式主义在绘画艺术中表现明显，印象派画作强调光线和色彩而非内容。
- 形式与内容的分离是文明开始的标志，形式本身具有重要价值。
- 数学是一种形式逻辑，是科学的语言，没有数学语言就没有科学思想。
- 人类在形式上抽象和思考的能力较弱，依赖内容解决问题的三种思考模式：背诵、直觉和推理。
- 不同的语言形式适合不同的思维方式，视频适合直觉，文字适合背诵，计算机语言适合推理。
- 形式验证内容的能力可以帮助发现错误，例如数学家陶哲轩的形式证明。
➡️
