博文
逻辑人生（29）——逻辑学界的两个事件
|
2011年，对中国逻辑学界而言，发生了两件重要的事件：
第一件事是中南大学的本科生刘路作出了对兰姆塞（Ramsly）二染色定理的证明论强度的研究，被认为彻底解决了英国数理逻辑学家Seetapun于90年代提出的一个猜想。
第二件事是我国著名逻辑学家张清宇先生溘然长逝。愿张先生在天之灵得以安息。
死者长已矣，生者长依依。愿中国逻辑学走的更好！
https://wap.sciencenet.cn/blog-36974-503873.html
上一篇：逻辑人生（28）经济学——中国人最有可能做出世界级贡献的科学
下一篇：逻辑与人生（30）——诺贝尔文学奖的喜怒哀乐
