西他沙星（sitafloxacin hydrate）化学名为7-[(7S)-7- 氨基-5-氮杂螺[2.4]庚-5-基]-8- 氯-6- 氟-1-[(1R,2S)-cis-2-氟环丙基]-1,4-二氢-4-氧代-3-喹啉羧酸，是第一制药三共株式会社（Daiichi Sankyo）开发的一广谱喹诺酮类抗菌药，临床用其一水合物，用于治疗严重难治性感染性疾病。
是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个反推数学领域关于拉姆齐二染色定理证明强度的猜想。在组合数学上，拉姆齐（Ramsey）定理是要解决以下的问题：要找这样一个最小的数n，使得n个人中必定有k个人相识或l个人互不相识。2011年5月，由北京大学、南京大学和浙江师范大学联合举办的逻辑学术会议在浙江师范大学举行，中南大学数学科学与计算技术学院酷爱数理逻辑的刘嘉忆的报告给这一悬而未决的公开问题一个否定式的回答，彻底解决了西塔潘的猜想。西塔潘猜想是由英国数理逻辑学家西塔潘于20世纪90年代提出的一个一个反推数学领域关于拉姆齐二染色定理证明强度的猜想。拉姆齐二染色定理以弗兰克·普伦普顿·拉姆齐正式命名，1930年他在论文On a Problem in Formal Logic（《形式逻辑上的一个问题》）证明了R(3,3)=6
文章TAG：西塔 具体 内容 西铂
