西塔潘猜想证实人是谁

西塔潘猜想的证实人是刘嘉忆。他是中南大学数学科学与计算技术学院的，其酷爱数理逻辑。

西塔潘猜想，是由英国数理逻辑学家西塔潘于20世纪90年代，提出的一个反推数学领域，关于拉姆齐二染色定理证明强度的猜想。

2011年5月，由北京大学、南京大学和浙江师范大学联合举办的，逻辑学术会议在浙江师范大学举行，中南大学数学科学与计算技术学院，酷爱数理逻辑的刘嘉忆的报告，给这一悬而未决的公开问题，一个否定式的回答，并彻底解决了西塔潘的猜想。R(3,3)=6，也称为拉姆齐二染色定理。