西塔潘

西塔潘猜想是由英國數理邏輯學家西塔潘於上個世紀90年代提出的一個反推數學領域關於拉姆齊二染色定理證明強度的猜想。

在組合數學上，拉姆齊（Ramsey）定理是要解決以下的問題：要找這樣一個最小的數n，使得n個人中必定有k個人相識或l個人互不相識。2011年5月，由北京大學、南京大學和浙江師範大學聯合舉辦的邏輯學術會議在浙江師範大學舉行，中南大學數學科學與計算技術學院酷愛數理邏輯的劉嘉憶的報告給這一懸而未決的公開問題一個否定式的回答，徹底解決了西塔潘的猜想,證明了R(3,3)=6。也稱為拉姆齊二染色定理。