不可判定

第八十七章 《杨米尔斯存在性与质量间隙》 坐在研究所里面，王深安静的坐在椅子上面，他并不担心无法解决Lyapunov指数问题，在研究光谱晶体系不可判定问题时，他就想到了一个完美解决的办法了。 随着一阵敲门声，李双手中拿着一叠文件走进了办公室，看着摆在桌子上的文件，王深询问道“你们组现在有多少人？” 李双推了推眼镜说道“带上后面招聘的2名数学博士总共五人。” 王深点了点头，从抽屉里面拿出了一份字迹潦草的实验方案递了过去开口道“我这里有一个课题，这次的研究需要加快点，可能你们需要加加班，当然如果人手不够的话，我会再给你安排人

佘志坤，北京航空航天大学数学学院教授、博士生导师。主要从事非线性混成系统安全性验证与稳定性分析的研究。Optimization、IEEE Transactions on Automatic Control等国际期刊和CAV、HSCC、AAAI等国际会议上发表学术论文70余篇，研究成果获得包含1位图灵奖获得者、3位自动推理杰出贡献奖获得者、12位院士、20余位ACM/IEEE会士在内的国内外学者的正面评价与引用

佘志坤，北京航空航天大学数学学院教授、博士生导师。主要从事非线性混成系统安全性验证与稳定性分析的研究。Optimization、IEEE Transactions on Automatic Control等国际期刊和CAV、HSCC、AAAI等国际会议上发表学术论文70余篇，研究成果获得包含1位图灵奖获得者、3位自动推理杰出贡献奖获得者、12位院士、20余位ACM/IEEE会士在内的国内外学者的正面评价与引用