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