”。
“还有一个就是形式化理论的发展，这方面已经比较完善了，但是还是没办法解决哥德尔系统的死锁，现在我们基本上不敢尝试这类特别复杂的问题，害怕对哥德尔系统造成不可逆转的损坏”。
“好吧，好吧，我接下来一段时间，会主要加入理论组的工作”，王一男举手投降。
“超导实验方面呢”，王一男问，
“目前国际上超导研究出现了井喷现象，大量新的论文不断出现，特别是欧罗巴很多实验室，都成功制备了液氮温区的超导线材，从他们的论文来看，很可能获得了我们之前的材料，并且通过质谱仪分析出了配方”，董志说，
“现在他们跟我们应该都在同一起跑线上了”。
“程潜和托马斯那边有没有什么新的论文？”王一男问到，
“材料试验方面的进度跟欧罗巴差不多，但是因为他们是最早发布氧化物超导体论文的实验室，加上最近他们提出新的库柏对理论，对实验数据解释的不错，所以行业内认为他们还是略微领先”，罗小音补充到。
“很好”，王一男说，“看来也该发出我们的声音了”，
“不给他们点厉害瞧瞧，还真以为咱们这头老虎是吃素的呢”。
“孙伟你们组的工作就不用说了，干得很好，这么短的时间能够在新的PDK基础上把电路设计出来，很不容易”。
“从PDK来看，集成度还不是一般的高，老板，你能找到代工厂生产吗”，虽然得到王一男的夸奖，孙伟还是忧心忡忡，在他看来，不要说这样的电路生产需要专门的工厂，费用是个天文数字，而且以那
第五十八章 蜀都上空的巨响(5/7)