自我介绍
从清华附中去陕北延川县插队；从陕北考回清华读书；从清华毕业后留校任教；从清华派往日本九州大学读书；在九大获得博士学位后留校任教；研究兴趣广泛的一个教书匠。
敬请谅解
本人欢迎各位评论者对本人随笔的评论。但是因为本人空闲时间不多不常来这里，故而对评论的回复有时会不太及时。敬请各位评论者谅解！多谢！
- 希望阅读本人科普文章的网友，请关注微信公众号“数理逻辑与哲学逻辑” 2025-03-22
- 现代模态逻辑的创始者之一 - 刘易斯 2025-03-21
人工智能应用主体问题 -- 人工智能有可能脱离人类行为主体吗？ 2025-03-14
- 将时态逻辑引入计算机科学的图灵奖获奖者 - 普纽埃利 2025-03-06
- 科学研究规划及实践(1) - 讲座介绍 2025-01-21
- 现代时态逻辑的创始者 - 普莱尔 2025-01-06
- 论“幻觉”的误用及大语言模型的正确使用（上） 2024-12-30
- 状况理论及状况语义学的创始者 - 巴怀斯 2024-12-23
