西塔潘猜想是谁证明的?


西塔潘猜想是谁证明的?

1.陈景润

2.刘路

正确答案:刘路

2011年5月,由北京大学、南京大学和浙江师范大学联合举办的逻辑学术会议在浙江师范大学举行,还是大三学生的刘路(后改名刘嘉忆)应邀参加了这次会议,报告了他对反推数学中的拉姆齐二染色定理的证明论强度的研究。刘嘉忆的报告给这一悬而未决的公开问题一个否定式的回答,彻底解决了西塔潘的猜想。


Tag: 时间:2021-01-29 15:39:30