什么是国际数学难题 西塔潘猜想

西塔潘猜想是由英国数理逻辑学家西塔潘于20世纪90年代提出的一个数学猜想。但定理以弗兰克·普伦普顿·拉姆齐正式命名，1930年其在论文One Problem in Formal Logic（《形式逻辑上的一个重要问题》）证明了R(3，3)=6。因此又叫拉姆齐二染色定理。