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